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:09/01/2024]
Students
- Ph.D. students
- Nicolas Waldburger (2021-).
- Post-doc. students
Administrative duties
- Head of department "languages and software engineering" of IRISA
- Co-head of gender-equality group at IRISA and Inria Rennes