picture of me I support the Theoretical Computer Scientists for Future initiative

About me

Since October 2021, I'm a PhD student in the SUMO team of INRIA Rennes, under the supervision of Nathalie Bertrand, Nicolas Markey and Ocan Sankur.

I studied at Ecole Polytechnique from 2017 to 2020, and followed the MPRI in 2020-2021. You can find my resume here.

I have done two internships at IRIF, Paris: my M1 internship with Mahsa Shirmohammadi in 2020 and my M2 internship with Thomas Colcombet and Gabriele Puppis in 2021.

In 2022-2023, I organize (conjointly with Théo Losekoot) the ELSE exchange seminars, a seminar for non-permanent members of the D4 department of IRISA, mostly PhD students. The topics of the seminars are very broad and we are always looking for speakers, so do not hesitate to contact me if you would like to make a presentation there!

Research interests

My main topic of interest is formal methods for verification, and specifically parameterized verification of distributed systems.
I am also interested in Vector Addition Systems and Petri Nets, as well as automata theory.






firstname.lastname [at] inria.fr


Bureau C207
Centre Inria de l'Université de Rennes
263, avenue du général Leclerc
35042 Rennes cedex - France