Lucie Guillou

Postdoctoral researcher at MPI-SWS, Kaiserslautern.

About me

I am a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, advised by Rupak Majumdar. Between october 2022 and september 2025, I was a PhD student at the Institut de Recherche en Informatique Fondamentale (IRIF), under the supervision of Arnaud Sangnier (DIBRIS) and Nathalie Sznajder (LIP6).

My research interests are verification of distributed systems, especially with an unbounded number of processes.

Theoretical Computer Scientists for Future

News

  • I am co organising with Corto Mascle a working group at the HCRW on Unboundedness and concurrency.
  • I will be defending my PhD thesis on september 30th! More info here.