guillou [at] irif.fr, Office 4057.
I am a PhD student at the Institut de Recherche en Informatique Fondamentale (IRIF), since october 2022, under the supervision of Arnaud Sangnier (IRIF) and Nathalie Sznajder (LIP6). I am currently involved in the ANR project PaVeDyS.
My research field is Verification of parameterized distributed systems.
I will be visiting my supervisor Arnaud Sangnier in Genova, Italy from february 2024 to may 2024.