About me

Since September 2026, I am an assistant professor (« maître de conférences ») at INP-ENSEEIHT (engineering school) in the 3EA department and a member of the TRUST team at LAAS-CNRS (laboratory).

Previously, I worked in the French administration at the regional level (DREAL BFC) on public transportation networks that are under development (SERMs). Before that, I did my PhD in computer science at Inria Paris in the Prosecco team under the supervision of Aymeric Fromherz and Bruno Blanchet.

My research focuses on the formal verification of secure systems. In particular, I worked on the formal verification of a modern, realistic, hardened userspace memory allocator, called StarMalloc.

Feel free to contact me!
firstname[dot]lastname[at]laas[dot]fr
or
firstname[dot]lastname[at]toulouse-inp[dot]fr

PhD thesis

I defended my PhD thesis, entitled "Memory allocators: formal verification and evaluation", on Friday, December 5th 2025 in Paris. More information is available here.

Research

Publications

• StarMalloc: Verifying a Modern, Hardened Memory Allocator
  OOPSLA'24. [doi + pdf] [source code] [most complete artifact]
  Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko.

Teaching

• Sept. 2024: Mathématiques discrètes (L2)
  Introduction to discrete mathematics for second-year students.
  Written and practical exercises.
• Sept. 2024: Programmation fonctionnelle (L2)
  Introduction to functional programming in OCaml for second year students.
  Written and practical exercises.
• Jan. 2024: Compilation avancée (M1)
  Part of an advanced compilation course for master students: parsing, lexing, virtual machines, garbage collectors, exceptions and continuations.
  Written exercises. Project for all students: implement a mark & compact GC using the C programming language.
• Sept. 2023: Programmation fonctionnelle (L2)
  Introduction to functional programming in OCaml for second year students.
  Written and practical exercises.