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