Since 2024, I am assistant professor at University of Rennes. I teach in Saint-Malo's University Institute of Technology (IUT in French). I'm part of DEVINE research team, in IRISA.
My main research topic are formal methods and verification, more specifically applied to the verification of communicating systems. I did a PhD in computer science in Université Côte d'Azur, under the supervision of Étienne Lozes and Cinzia Di Giusto. A list of my publications is available here.