About me

I am an assistant professor (Maîtresse de Conférences) at Université Paris Cité, and a member of IRIF.

Before that, I was 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.

News

[sept 26] I am part of the PC of VMCAI 27, the deadline is september 16!
[sept 26] I will be starting as an Assistant Professor (Maîtresse de Conférences) at IRIF, Université Paris Cité, september 1st!
[april 26] I am invited to the workshop of Verification and Distributed Systems taking place in June, in Agadir, Morocco
[april 26] I have been participating to the Journées Filles, Maths et Informatique in Sorbonne Université
[sept 25] I am co organising with Corto Mascle a working group at the HCRW on Unboundedness and concurrency.
[sept 25] I will be defending my PhD thesis on september 30th! More info here.