Research interests

My research works focus on formal methods for verification and synthesis of reactive systems. In particular:
  • model checking, temporal logics
  • quantitative aspects of verification
  • games for synthesis

Research activities