Nathan Thomasset (Oct. 2019 - Dec. 2023, co-supervised by Stéphane Le Roux)
Finite-memory strategies in concurrent two-player games
Nathan is now a research engineer at Alstom
Former students
I have supervised 13 PhD students, who successfully defended their theses, as well as 9 post-doctoral researchers.
Former PhD students
Benjamin Bordais (Oct. 2020 - Oct. 2023, co-supervised by Stéphane Le Roux)
Concurrent two-player antagonistic games on graphs
Benjamin is now a post-doc at the Technical University of Dortmund with Daniel Neider
Pierre Vandenhove (Oct. 2019 - April 2023, joint with UMONS in Belgium, co-supervised by Mickael Randour
Strategy Complexity of Zero-Sum Games on Graphs
Pierre is now a post-doc at LaBRI with Nathanaël Fijalkow
Anirban Majumdar (2018-2021, co-supervised by Nathalie Bertrand)
Verification and synthesis of parameterized concurrent systems
Anirban is now a post-doc at ULB with Jean-François Raskin
Mauricio Gonzãlez (March 2016 - December 2019, co-supervised by Nicolas Markey and Samson Lasaulce)
Stochastic Games on Graphs with Applications to Smart-Grids Optimization
Samy Jaziri (October 2015 - September 2019, co-supervised by Nicolas Markey)
Samy is a computer science professor in CPGE
Pierre Carlier (2014-2017, joint with University of Mons in Belgium, co-supervised by Thomas Brihaye)
Patrick Gardy (2013-2017, co-supervised by Nicolas Markey)
Daniel Stan (2013-2017, co-supervised by Nicolas Markey)
Randomized Strategies in Concurrent Games
Daniel is now an assistant professor at EPITA
Ocan Sankur (2010-2013, co-supervised by Nicolas Markey)
Robustness in Timed Automata: Analysis, Synthesis, Implementation
Ocan is now a full-time researcher at CNRS (IRISA)
Romain Brenguier (2009-2012, co-supervised by Nicolas Markey)
Nash Equilibria in Concurrent Games - Application to Timed Games
Romain works at DiffBlue
Pierre-Alain Reynier (2004-2007, co-supervised by François Laroussinie)
Vérification de systèmes temporisés et distribués : modèles, algorithmes et implémentabilité
Pierre-Alain is now professor at Aix-Marseille University
Fabrice Chevalier (2004-2007)
Logiques pour les systèmes temporisés : contrôle et expressivité
Fabrice is now maths teacher in Maths Spé
Former post-doctoral researchers
Fabian Reiter (2018-2019, co-supervised by Benedikt Bollig)
Fabian is now an assistant professor at Université of Marne-la-Vallée
Vincent Jugé (2016-2017, co-supervised by Nicolas Markey)
Vincent is now an assistant professor at Université of Marne-la-Vallée
Maximilien Colange (2015-2016, co-supervised by Nicolas Markey)
Maximilien is now an assistant professor at EPITA
Mickael Randour (2014-2015, co-supervised by Nicolas Markey)
Mickael is now an F.R.S./FNRS researcher at University of Mons (Belgium)
Raj Mohan Matteplackel (2013-2015, co-supervised by Nicolas Markey)
Raj Mohan is now a post-doc in Mumbai (India)
Michael Ummels (2010-2012, co-supervised by Nicolas Markey)
Delphine Longuet (2008-2009, co-supervised by Nicolas Markey)
Delphine is now a researcher at Thales
Thomas Brihaye (2007-2008, co-supervised by Nicolas Markey)
Thomas is now a professor at the university of Mons (Belgium)
Laura Bozzelli (2005-2006)
Laura is now a researcher at the university of Naples (Italy)