I am currently an ATER (temporary teaching and research position) at IRIF, Université Paris Cité, in Automata and applications team. I did a Ph.D. in Computer Science on verification of distributed systems in Université Côte d'Azur, under the supervision of Étienne Lozes and Cinzia Di Giusto (defended in 2021).

I'm interested in verification of systems using automata modeling. For more information, visit my personal page.