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

About me

Since October 2021, I'm a PhD student in the DEVINE 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.

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.

Publications (see also my dblp)





nicolas.waldburger [at] irisa.fr


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