Former students
Former PhD students
Pierre Carlier
(2014-2017, joint with University of Mons in Belgium): Verification of Stochastic Timed Automata
Patrick Gardy
(2013-2017): Semantics of Strategy Logic
Daniel Stan
(2013-2017):
Randomized Strategies in Concurrent Games
Daniel is now a post-doctoral researcher in the group of Holger Hermanns (Saarland University, Germany)
Ocan Sankur
(2010-2013):
Robustness in Timed Automata: Analysis, Synthesis, Implementation
Ocan is now full-time researcher at CNRS (IRISA)
Romain Brenguier
(2009-2012):
Nash Equilibria in Concurrent Games - Application to Timed Games
Romain works at
DiffBlue
(part-time) nad is a post-doctoral researcher in Oxford
Pierre-Alain Reynier
(2004-2007):
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
Vincent Jugé
(2016-2017)
Vincent is now an assistant professor at Université of Marne-la-Vallée
Maximilien Colange
(2015-2016)
Maximilien is now an assistant professor at EPITA (France)
Mickael Randour
(2014-2015)
Mickael is now an FNRS researcher at University of Mons (Belgium)
Raj Mohan Matteplackel (2013-2015)
Raj Mohan is now a post-doc in Mumbai (India)
Michael Ummels (2010-2012)
Delphine Longuet
(2008-2009)
Delphine is now an assistant professor in Orsay (LRI)
Thomas Brihaye
(2007-2008)
Thomas is now a professor at the university of Mons (Belgium)
Laura Bozzelli (2005-2006)
Back to my homepage
About
LSV
News
People
Research
Seminars
Teaching
Contact
École Normale Supérieure Paris-Saclay
Centre National de la Recherche Scientifique
Private Pages
Page maintained by
Patricia Bouyer
.
English
Français