Anciens étudiants



Anciens doctorants


  1. Anirban Majumdar (2018-2021, co-supervised by Nathalie Bertrand): Verification and synthesis of parameterized concurrent systems
    Anirban est en post-doc à l'ULB
  2. Mauricio Gonzãlez (Mars 2016 - Décembre 2019): Stochastic Games on Graphs with Applications to Smart-Grids Optimization
  3. Samy Jaziri (Octobre 2015 - Septembre 2019): Automata on Timed Structures
    Samy est maintenant professeur d'informatique en CPGE
  4. Pierre Carlier (2014-2017, cotutelle Université de Mons en Belgique): Verification of Stochastic Timed Automata
  5. Patrick Gardy (2013-2017): Semantics of Strategy Logic
  6. Daniel Stan (2013-2017): Randomized Strategies in Concurrent Games
    Daniel est maintenant maître de conférences à l'EPITA
  7. Ocan Sankur (2010-2013): Robustness in Timed Automata: Analysis, Synthesis, Implementation
    Ocan est maintenant chargé de recherches au CNRS (IRISA)
  8. Romain Brenguier (2009-2012): Nash Equilibria in Concurrent Games - Application to Timed Games
    Romain travaille chez DiffBlue (temps partiel) et est en post-doc à Oxford
  9. Pierre-Alain Reynier (2004-2007): Vérification de systèmes temporisés et distribués : modèles, algorithmes et implémentabilité
    Pierre-Alain est professeur à l'université d'Aix-Marseille
  10. Fabrice Chevalier (2004-2007): Logiques pour les systèmes temporisés : contrôle et expressivité
    Fabrice est maintenant professeur de mathémathiques en Maths Spé


Anciens post-doctorants


  1. Fabian Reiter (2018-2019)
    Fabian is now an assistant professor at Université of Marne-la-Vallée
  2. Vincent Jugé (2016-2017)
    Vincent est maintenant maître de conférences à l'Université de Marne-la-Vallée
  3. Maximilien Colange (2015-2016)
    Maximilien est maintenant maître de conférences à l'EPITA (France)
  4. Mickael Randour (2014-2015)
    Mickael est maintenant chercheur FNRS à l'ULB (Belgique)
  5. Raj Mohan Matteplackel (2013-2015)
    Raj Mohan est maintenant en post-doc à Mumbai (Inde)
  6. Michael Ummels (2010-2012)
  7. Delphine Longuet (2008-2009)
    Delphine travaille maintenant chez Thales
  8. Thomas Brihaye (2007-2008)
    Thomas est maintenant professeur à l'université de Mons (Belgique)
  9. Laura Bozzelli (2005-2006)
    Laura est maintenant chercheure à l'université de Naples (Italie)


Retour à ma page principale

À propos du LSV