Nicolas Markey

Contact informations

E-mail	nicolas.markey@irisa.fr
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:
  • Full list with abstracts and papers
  • DBLP
  • Google Scholar
• My CV[last updated:30/06/2017]

Students

• Ph.D. students
  • 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).