I am a computer science student at ENS Paris-Saclay, following the M2 MPRI.
My main interests are logic, type theory, proof assistants and programming languages theory.
Internships
Primitive Types and Verified Erasure in Rocq and MetaRocq
Gallinette, Inria Rennes (2026, 5th year Internship, 4 and a half months)
Adding new distribution samplers to the Eris program logic
Logsem, Aarhus University (2025, 4th year Internship, 5 months)
Formalisation of a type system with non-idempotent intersection types
LMF, Paris-Saclay University (2024, 3rd year Internship, 2 months)
Publications
Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic
CPP (2026)
Education
Year 2 of a master’s degree in theoretical computer science (MPRI)
ENS Paris-Saclay and Paris-Cité University (2025-2026)
Year 1 of a master’s degree in theoretical computer science (MPRI)
ENS Paris-Saclay (2024-2025)
Year 3 of an advanced bachelor’s degree in Computer Science
Paris-Saclay university (2023-2024)
Years 1 & 2 of a bachelor’s degree in Mathematics and Computer Science
Paris-Saclay university (2021-2023)