Parcours

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 🏴󠁧󠁢󠁥󠁮󠁧󠁿].