Nicolas Markey

Contact informations

E-mail	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:19/03/2019]

Students

Ph.D. students
- Suman Sadhukhan (2018-).
- Emily Clement (2018-).
- Léo Henry (2018-).
- Victor Roussanaly (2017-).
- Mauricio González (2016-).
- Samy Jaziri (2015-).
- Former Ph.D. students
  - Patrick Gardy (2013-2017). Semantics of Strategy Logic
  - Daniel Stan (2013-2017). Randomized strategies in concurrent games
  - Ocan Sankur (2010-2013). Robustness in Timed Automata: Analysis, Synthesis, Implementation
  - Romain Brenguier (2009-2012). Nash Equilibria in Concurrent Games — Application to Timed Games
  - Arnaud Da Costa-Lopes (2007-2011). Propriétés de jeux multi-agents
  - Ghassan Oreiby (2005-2008). Logiques temporelles pour le contrôle temporisé
Post-doc. students
- Currently none (do not hesitate to apply!)
- Former post-doc. students
  - Vincent Jugé (2016-2017).
  - Maximilien Colange (2015-2016).
  - Amélie David (2015-2016).
  - Mickaël Randour (2014-2015).
  - Raj Mohan Matteplackel (2013-2015).
  - Michael Ummels (2010-2012).
  - Delphine Longuet (2008-2009).
  - Thomas Brihaye (2006-2007).