Nicolas Markey

Nicolas Markey has been a Researcher at CNRS (French National Center for Scientific Research) since October 2004. As of September 2024, he is on leave of absence, working as a secondary-school teacher in the national education system.

His research focuses on formal methods for verification and synthesis of reactive systems, particularly model checking, temporal logics, quantitative verification, and game theory. He has supervised numerous Ph.D. and post-doctoral researchers, including

• Nicolas Waldburger (2021–2024)
• Emily Clement (2018–2022)
• Suman Sadhukhan (2018–2021)
• Léo Henry (2018–2021)
• Victor Roussanaly (2017–2020)
• Mauricio González (2016–2019)
• Samy Jaziri (2015–2019)
• Patrick Gardy (2013–2017)
• Daniel Stan (2013–2017)
• Ocan Sankur (2010–2013)
• Romain Brenguier (2009–2012)
• Arnaud Da Costa-Lopes (2007–2011)
• Ghassan Oreiby (2005–2008)
• 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)

His work bridges theoretical computer science with practical applications in real-time systems, stochastic games, and distributed algorithms. He maintains an ORCID and Google Scholar profile for publication tracking.