Je suis actuellement Maitre de conférences au Laboratoire d'Algorithmique, Complexité, Logique (LACL) de l'Université Paris-Est Creteil (U-PEC) au sein de l'équipe spécification et vérification de systèmes.

Je suis intéréssé par l'analyse de systèmes probabilistes à événements discrets, et en particulier au dévelopement d'algorithmes et d'outils permettant cette analyse.

Enseignements

J'enseigne au sein du département d'informatique de la faculté des sciences de l'U-PEC. Les documents pour mes cours sont disponibles sur le serveur pédagogique de l'université: Eprel

Enseignements 2015-2016: Programmation Orientée Objet (L3), Programmation mobile (L3), Programmation réseau et concurrente (M1)

Enseignements 2016-2019: Génération de Code(M1), Programmation mobile (L3), Programmation réseau et concurrente (M1)

Enseignements 2019-2020: Génération de Code(M1), Application mobile (L3), Programmation fonctionnelle (L2)

Depuis 2018 Responsable d'année du master 1 logiciels sûrs en alternance.

Logiciels

• Cosmos: Model Checker statistique, développeur principal.
• CosyVerif: Plate-forme de vérification, participation au développement.
• WordGen : Generation de mots temporisés, développeur principal.

Parcours Académique

• 2015 - Maitre de conférences U-PEC
• 2014 - 2015 Post-Doctorant, Université d'Oxford
• 2011 - 2014 Doctorat, École Normale Supérieure de Cachan thèse soutenue le 20 novembre 2014
  Jury: P. De Boer (Rapporteur), S. Haddad (Directeur), P. Moreaux, D. Parker, N. Pekergin, C. Picaronny (Directrice), G. Rubino (Rapporteur)
  Manuscrit