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:21/07/2021]

Students

Ph.D. students
- Suman Sadhukhan (2018-).
- Emily Clement (2018-).
- Léo Henry (2018-).
- Former Ph.D. students
  - Victor Roussanaly (2017-2020). Efficient verification of real-time systems
  - Mauricio González (2016-2019). Stochastic games on graphs with applications to smart-grid optimization
  - Samy Jaziri (2015-2019). Automata over timed domains
  - 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).