Maître de Conférences
Université Paris-Est Créteil
Campus Centre
P2 222
+33 (0)1 45 17 65 89 ☎
benoit.barbot@u-pec.fr


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-20167 Génération de Code(M1), Programmation mobile (L3), Programmation réseau et concurrente (M1)



Logiciels
  • Cosmos: Model Checker statistique, développeur principal.
  • CosyVerif: Plate-forme de vérification, participation au développement.


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