Administrative situation

I have been a CNRS researcher since october 2004.

I am currently on leave of absence, working as a secondary-school teacher, since september 2024.

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