Associate Professor
Université Paris-Est Créteil, France

Campus Centre
P2 222
+33 (0)1 45 17 65 89 ☎
benoit.barbot@lacl.fr


I am currently associate professor at Laboratoire d'Algorithmique, Complexité, Logique (LACL) in Université Paris-Est Créteil (U-PEC). I work in the Systems Specification and Verification team.

My research topics concern the analysis of discrete event probabilistic system. I am interested in the developement of tractable algorithms and tools to perform this analysis. Most of my works use Monte Carlo simulation to perform statistical model checking of systems. I am working in extending such algorithm to hybrid systems. I am also working on the validation of cyber-physical systems.

I am the local coordinator of ANR MAVeriQ 2021-2025 project at U-PEC.

General Chair of QONFEST 2021 with CONCUR, QEST, FMICS, FORMATS



Teachings

I am teaching at the science faculty of U-PEC, look at my french page for more detail.



Software
  • Cosmos: Statistical model checker, lead developer.
  • WordGen : Uniform Time-word generation, lead developer.


Previous Position
  • 2014 - 2015 PostDoc, Oxford University
  • 2011 - 2014 Phd, École Normale Supérieure de Cachan (Now Université Paris-Saclay), thesis