I am a second-year PhD student at Inria Paris’ Cambium team, supervised by François Pottier.
My research interests are in programming languages, formal verification, and program semantics.
My current main project is to give mechanised formal semantics for OCaml, and to provide a program logic for these semantics using Iris.
Publications
Conference papers
Formal semantics and Program Logics for a Fragment of OCaml.
ICFP 2025: International Conference on Functional Programming (2025)
Workshop papers
Pancake: Verified Systems Programming Made Sweeter
PLOS, Koblenz, Germany (2023)
Education
- Master’s degree in Computer Science from the University of Oxford (2022-2023)
- Bachelor’s degree in Mathematics and Computer Science from Ecole Polytechnique (2019-2022)
Research Visits
During the summer of 2025, I interned at Microsoft Research in Cambridge (UK) where I worked with Son Ho on the formal verification of unsafe Rust programs.
In 2022, I work as a research assistant with Johannes Åman Pohjola at the Trustworthy Systems group (home of seL4) hosted at UNSW Sydney, Australia. There, I bootstrapped a verified compiler for Pancake using CakeML’s verified compilation toolchain.
CV
You can find my CV here (last updated 20/06/2025).
Teaching
- Introduction to Programming (IP1), Université Paris Cité
- Introduction to CAML, EPITA