Habilitation à diriger des recherches
Quand ?
J'ai soutenu mon habilitation le 29 avril 2022, à 14 heures (UTC+2).
Où ?
La soutenance a eu lieu à Marseille et en zoom.
Qui ?
Le jury était composé de:
- Eugène Asarin, PR, Université de Paris
- Béatrice Bérard (présidente), PR, Sorbonne Université
- Véronique Bruyère (rapporteuse), PR, Université de Mons
- Marcin Jurdziński (rapporteur), PR, University of Warwick, UK
- Nicolas Markey (rapporteur), DR CNRS, Irisa
- Pierre-Alain Reynier, PR, AMU
- Yann Vaxès, PR, AMU
Le programme ?
La soutenance a porté sur mes travaux sur la théorie des jeux appliquée à la synthèse temps-réel, en termes de décidabilité, d'approximation et d'aléatoire. Un résumé de mes contributions dans ce domaine est disponible dans ce manuscrit (en anglais). Vous pouvez retrouver mes transparents de présentation ici.