I am an Associate Professor (Maître de Conférences, HDR) in Computer Science at CentraleSupélec, Université Paris-Saclay. I am a member of the MICS laboratory (Mathématiques et Informatique pour la Complexité et les Systèmes) and head of the Computer Science Department.

Research

My research lies in formal methods for the modelling and verification of systems characterised by stochasticity, concurrency and parallelism. I am particularly interested in:

• Statistical and probabilistic model checking, including expressive temporal logics for stochastic systems (e.g. the Hybrid Automata Stochastic Logic, HASL);
• Stochastic process mining and discovery — inferring stochastic models from observed event logs, including distance-based comparison of stochastic languages via the Earth Mover’s Distance;
• Stochastic Petri nets, Markov chains and hybrid automata as modelling formalisms for quantitative analysis.

I apply these techniques across several application domains, including systems biology (oscillatory dynamics such as the cell cycle and circadian rhythms, genetic networks), manufacturing and production-line analysis, and healthcare and service systems.

In June 2023 I defended my Habilitation à Diriger des Recherches (HDR), Contributions to formal modelling and analysis of stochastic models.