Since September 2021, I am a Lecturer (Maître de Conférences) at Université Paris-Est Créteil Val de Marne. I teach at EPISEN, and am a member of the Spécification et vérification de systèmes team of the LACL. I am also an associate member of the (i)Po(m)set project.
I was previously a Research Associate in the Programming Principles, Logic and Verification group (PPLV) at UCL’s Dept. of Computer Science, which I joined in January 2017. I was in particular involved with the IRIS project.
I hold a PhD in Computer Science from the University of Lyon, under the supervision of Damien Pous.
My research focuses on theoretical aspects of software verification. More specifically I study the algebraic properties of various models of program behaviour. My interests also include logic, automata theory, mechanised proofs, concurrency theory and nominal mathematics. I have authored a number of papers in peer-reviewed international conferences and journals on some of these topics.
Upcoming events
P-ACTS
- 05 November 2025I am co-organizing the next P-ACTS meeting in Créteil, co-located with the “Journées Annuelles” of the GT Verif.
Recent events
ANR JCJC
- 14 October 2025I am applying to a research grant from the french ANR, to fund my research into representations.
Représentations
- 12 October 2025I have uploaded a draft of my paper on Representations, to be submitted at RAMiCS 2026.
Séminaire LACL
- 29 September 2025I am presenting my work on representations at the LACL seminar.
TbiLLC 2025
- 08 September 2025I am attending the conference TbiLLC 2025 in Tskaltubo (Georgia), to present my paper on Observation Algebras.
Preorders
- 27 July 2025I have uploaded a small remark on prerders.