Theoretical Computer Scientists for Future

Lucie Guillou

guillou [at], Office 4057.

About me

I am a PhD student at the Institut de Recherche en Informatique Fondamentale (IRIF), since october 2022, under the supervision of Arnaud Sangnier (DIBRIS) and Nathalie Sznajder (LIP6). I am currently involved in the ANR project PaVeDyS.

My research field is Verification of parameterized distributed systems.