About me

I am a PhD student in computer science at Inria Paris in the Prosecco team under the supervision of Aymeric Fromherz and Bruno Blanchet.

I previously studied at the Computer Science Department of ENS Paris (France) and graduated from the Master Parisien de Recherche en Informatique (MPRI) in 2021.

My research focuses on the formal verification of secure systems. So far, I have mostly worked on the formal verification of a modern, realistic, hardened userspace memory allocator, called StarMalloc.

You can contact me at the following email address.

firstname [dot] lastname [at] inria [dot] fr

Research

Publications

• StarMalloc: Verifying a Modern, Hardened Memory Allocator
  OOPSLA'24. [doi + pdf] [source code]
  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.
• Sept. 2023: Programmation fonctionnelle (L2)
  Introduction to functional programming in OCaml for second year students.
  Written and practical exercises.