Students

PhD students

A yellow smiley face looking away (author: Mystìc @ Wikicommons)

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

Current situation: Associate professor with Sorbonne Université (France)

🏆 PhD award 2024 from Académie Lorraine des Sciences (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

Post-docs

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)

Master students

Name	Year
Lydia Bakiri	2025
Sarah Dépernet	2024
Shapagat Bolat	2022
Aleksander Kryukov	2020
Jawher Jerray	2018
Sahar Mhiri	2018
Mathias Ramparison	2016
Nguyễn Hoàng Gia	2014
Christopher Makanga	2014
Mohamed Mahdi Benmoussa	2013
Taieb Ben Niha	2013
Giuseppe Pellegrino	2012−2013
Shweta Garg (श्वॆता)	2012
Inès Jguirim	2012
Daphné Dussaud	2010
Sandeep Grewal	2008