Short Bio

I did a Ph.D. in Computer Science in Université Côte d'Azur, Nice, under the supervision of Étienne Lozes and Cinzia Di Giusto (defended in 2021). Since September 2025, I am Associate Professor at EPITA Rennes and a member of the Automata and Applications group of the EPITA Research Laboratory (LRE).

More information on my website.

Research Interests

I'm interested in verification of systems using automata modeling.