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

RAMiCS 2026

- 07 April 2026

I am attending RAMiCS 2026 in Będlewo, Poland next April.

JN GDR IFM 2026

- 17 March 2026

I am attending the Journées nationales à l’occasion des 20 ans du GDR I(F)M in Paris next March.

20 ans de MeFoSyLoMa

- 23 January 2026

I am attending the seminar for the 20th anniversary of MeFoSyLoMa in Paris next January.

Recent events

Représentations

- 20 January 2026

My paper on Representations has been accepted at RAMiCS 2026!

P-ACTS

- 05 November 2025

I am co-organizing the next P-ACTS meeting in Créteil, co-located with the “Journées Annuelles” of the GT Verif.

ANR JCJC

- 14 October 2025

I am applying to a research grant from the french ANR, to fund my research into representations.

Représentations

- 12 October 2025

I have uploaded a draft of my paper on Representations, to be submitted at RAMiCS 2026.

Séminaire LACL

- 29 September 2025

I am presenting my work on representations at the LACL seminar.

TbiLLC 2025

- 08 September 2025

I am attending the conference TbiLLC 2025 in Tskaltubo (Georgia), to present my paper on Observation Algebras.

Preorders

- 27 July 2025

I have uploaded a small remark on prerders.