Encadrement

Doctorant⋅e⋅s

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

Lydia Bakiri

(2025-…)

Spécification et vérification paramétrées de systèmes distribués communicants en présence d’incertitude

Co-encadrement avec: Jérémy Dubut et Sergio Mover

Thèse en cours

Tạ Quang Minh

(2025-…)

Monitoring de systèmes cyber-physiques

Co-encadrement avec: Laure Petrucci

Thèse en cours

Sarah Dépernet

(2024-…)

Vérification de propriétés de cybersécurité à l’aide de méthodes formelles

Co-encadrement avec: Engel Lefaucheux

Thèse en cours

Dylan Marinho

(2020-2023)

Détection d’attaques temporisées à l’aide de méthodes formelles

Situation actuelle: maître de conférences à Sorbonne Université (France)

🏆 Prix de thèse 2024 de l’Académie Lorraine des Sciences (France)

Jawher Jerray

(2018-2021)

Analyses formelles de systèmes temps-réel

Co-encadrement avec: Laurent Fribourg

Situation actuelle: maître de conférences à Université de Pau (France)

Mathias Ramparison

(2016-2019)

Vérification de systèmes temps-réel paramétrés avec préemption

Co-encadrement avec: Didier Lime

Situation actuelle: maître de conférences à l’INP Grenoble et Verimag

Nguyễn Hoàng Gia

(2015-2018)

Synthèse de paramètres efficace et distribuée pour les automates temporisés paramétrés

Co-encadrement avec: Laure Petrucci

Situation actuelle: Post-doc au CEA (France)

Mohamed Mahdi Benmoussa

(2013-2016)

Spécification avec UML

Co-encadrement avec: Christine Choppy

Situation actuelle: maître de conférences à l’École Nationale Polytechnique de Constantine (Algérie)

Romain Soulat

(2010-2013)

Synthèse d’ordonnanceurs corrects par construction pour les systèmes hybrides

Co-encadrement avec: Laurent Fribourg

Situation actuelle: Technical Lead for Certification, Input Output

Post-docs

Emily Clement (2024-2025)

Monitoring de systèmes cyber-physiques

Situation actuelle: Chargée de recherche CNRS

Laetitia Laversa (2023-2024)

Contrôle de l’opacité dans les systèmes temporisés

Co-encadrement avec: Marie Duflot, Engel Lefaucheux

Situation actuelle: maîtresse de conférences à l’EPITA, Rennes

Johan Arcile (2020-2022)

Détection de failles temporelles avec des méthodes formelles

Situation actuelle: maître de conférences à l’Université Paris-Saclay

Étudiant⋅e⋅s de Master

Nom	Année
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