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
- My publication list:
- My CV[last updated:09/01/2024]
Students
- Ph.D. students
- Nicolas Waldburger (2021-2024).
- Post-doc. students