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.

Contact

  • E-mail: benjamin.monmege at univ-amu.fr
  • Theoretical Computer Scientists for Future