Contact informations
nicolas.markey@irisa.fr (PGP key) | |
Address | IRISA — C212 |
Campus Universitaire de Beaulieu | |
263 Avenue du Général Leclerc | |
35042 Rennes cedex - France | |
Phone | +33 (0)2 99 84 22 76 |
+33 (0)2 99 84 74 84 (secr.) |
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:18/05/2022]
Students
- Ph.D. students
- Nicolas Waldburger (2021-).
- Post-doc. students
- Aline Goeminne (2021-)