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:20/08/2018]
Students
- Ph.D. students
- Victor Roussanaly (2017-).
- Mauricio González (2016-).
- Samy Jaziri (2015-).
- Post-doc. students
- Currently none (do not hesitate to apply!)