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 hold a PhD in Computer Science from the University of Lyon, under the supervision of Damien Pous. This work was conducted in the Plume team of Laboratoire d’Informatique du Parallélisme, in ENS de Lyon.

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, and have been talking about them for some time now.

Upcoming events

CSL 2026

- 24 February 2026

I am attending CSL 2026 in Paris this February.

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.

RAMiCS 2026

- 07 April 2026

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

Recent events

20 ans de MeFoSyLoMa

- 23 January 2026

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

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.