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:18/05/2022]

Students

Ph.D. students
- Nicolas Waldburger (2021-).
- Former Ph.D. students
  - Emily Clement (2018-2022). Robustness of timed automata: computing the maximally-permissive strategies
  - Suman Sadhukhan (2018-2021). A Verification Viewpoint on Network Congestion Games
  - Léo Henry (2018-2021). There and back again: formal methods and model learning for real-time systems
  - 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
- Aline Goeminne (2021-)
- 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).