Nicolas Markey

Coordonnées

E-mail

nicolas.markey@cnrs.fr

Situation administrative

Je suis chercheur au CNRS depuis le 1er octobre 2004.

Je suis en détachement dans l'éducation nationale depuis le 31 août 2024.

Thématiques de recherche

Mes travaux de recherche portent sur les méthodes formelles pour la vérification et la synthèse de systèmes réactifs. En particulier:

le model checking, les logiques temporelles
les aspects quantitatifs de la vérification
les jeux pour la synthèse

Activités de recherche

Mes publications:
Mon CV[dernière màj :09/01/2024]

Doctorant·e·s et post-doctorant·e·s

Doctorant·e·s
- Nicolas Waldburger (2021-2024).
- Ancien·ne·s doctorant·e·s
  - 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-doctorant·e·s
- Ancien·ne·s post-doctorant·e·s
  - Aline Goeminne (2021-2022)
  - 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).