Nicolas Markey

Doctorant(e)s et post-doctorant(e)s

• Doctorant(e)s
  • Nicolas Waldburger (2021-).
  • 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).