Students

Lydia Bakiri

(2025-…)

Parametrised Specification and verification of distributed communicating continuous-time systems with uncertainties
Co-supervision with: Jérémy Dubut and Sergio Mover
PhD in progress

Tạ Quang Minh

(2025-…)

Monitoring cyber-physical systems
Co-supervision with: Laure Petrucci
PhD in progress

Sarah Dépernet

(2024-…)

Verifying timed cybersecurity properties using formal methods
Co-supervision with: Engel Lefaucheux
PhD in progress

Dylan Marinho

(2020-2023)

Detecting timed attacks using formal methods
🏆 PhD award 2024 from Académie Lorraine des Sciences (France)
Current situation: Associate professor with Sorbonne Université (France)

Jawher Jerray

(2018-2021)

Formal analyses of real-time systems
Co-supervision with: Laurent Fribourg
Current situation: Associate professor with Université de Pau (France)

Mathias Ramparison

(2016-2019)

Formal verification of parametric real-time systems with preemption
Co-supervision with: Didier Lime
Current situation: Associate professor in INP Grenoble (France)

Nguyễn Hoàng Gia

(2015-2018)

Efficient and distributed parameter synthesis for parametric timed automata
Co-supervision with: Laure Petrucci
Current situation: Post-doc at CEA (France)

Mohamed Mahdi Benmoussa

(2013-2016)

Specification with the UML
Co-supervision with: Christine Choppy
Current situation: Associate professor in Constantine (Algeria)

Romain Soulat

(2010-2013)

Synthesis of correct-by-design schedulers for hybrid systems
Co-supervision with: Laurent Fribourg
Current situation: Technical Lead for Certification, Input Output

Emily Clement (2024-2025)

Monitoring cyber-physical systems
Current situation: Junior researcher with CNRS

Laetitia Laversa (2023-2024)

Controlling opacity in timed systems
Co-supervision with: Marie Duflot, Engel Lefaucheux
Current situation: Associate professor with EPITA, Rennes

Johan Arcile (2020-2022)

Detecting timing attacks using formal methods
Current situation: Associate professor with Université Paris-Saclay (France)