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
I am teaching at the science faculty of U-PEC, look at my french page for more detail.