Former students

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é

Mickael Randour (2014-2015)
Mickael is now an FNRS researcher at ULB (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)

About LSV