Professeur à l’Université Sorbonne Paris Nord
J’ai été de 2022 à 2025 professeur des universités à l’Université Sorbonne Paris Nord : enseignement à l’Institut Galilée et recherche dans l’équipe LoVe puis SAFER du LIPN.
Professeur à l’Université de Lorraine
J’ai été de 2019 à 2022 professeur des universités à l’Université de Lorraine : enseignement à l’IUT Charlemagne et recherche dans l’équipe VeriDis du LORIA.
Maître de conférences à l’Université Paris 13
J’ai été de 2011 à 2019 maître de conférences dans l’équipe LoVe du LIPN à l’Université Paris 13.
Post-doctorat
J’ai effectué de décembre 2010 à août 2011 un post-doctorat au sein de l’équipe de Dong Jin Song (董劲松)à la National University of Singapore.
Thèse de doctorat
J’ai effectué mon doctorat de septembre 2007 à décembre 2010 au sein du Laboratoire Spécification Vérification de l’École Normale Supérieure de Cachan sous la direction de Laurent Fribourg et Emmanuelle Encrenaz.
Titre : Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents [📄 PDF 🏴].
