Bruno Lacerda

(Former)

Bruno Lacerda

Research interests

  • Robotics
  • Temporal logics
  • Petri nets
  • Formal Methods
  • Discrete event systems