As of October 2023, I am a PhD student at Inria Paris’ Cambium team, supervised by François Pottier.
My research interests are in programming languages, formal verification, and program semantics. Specifically, I am focused on giving mechanised formal semantics for OCaml, and providing a program logic for these semantics using Iris.
Note
As of 2025, I am working with Son Ho at Microsoft Research in Cambridge, UK. There, I am working on the formal verification of Rust programs.
Publications
Conference papers
Formal semantics and program logics for a fragment of OCaml.
Submitted Draft (2025)
Workshop papers
Pancake: Verified Systems Programming Made Sweeter
PLOS, Koblenz, Germany (2023)
Education
- Bachelor’s degree in Mathematics and Computer Science from Ecole Polytechnique (2019-2022)
- Master’s degree in Computer Science from the University of Oxford (2022-2023)
Research Visits
In 2022, I had the opportunity to work with Johannes Åman Pohjola at the Trustworthy Systems group 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é