I am a PhD student at IRIF in the Picube team, under the supervision of Hugo Herbelin. I will be working on elaboration and unification in proof assistants.

My main interests revolve around the theory behind and the implementation of proof assistants. For the last couple of years this has maintly consisted of acquainting myself with themes orbiting type theory, proof theory and programmign language semantics. I am also broadly interested in mathematical foundations, and in the design and implementation of software systems.

Internships

• A Formulation of Second-Order Matching, 2024, supervised by Adrien Guatto. (report | presentation)
• Extending pattern unification in the Rocq proof assistant, 2025, supervised by Hugo Herbelin. (report | presentation)

Education

• 2023-2025: Master’s degree in computer science at MPRI.
• 2019-2021, 2022-2023: Bachelor’s degree in mathematics at Paris Cité then at Sorbonne Université
• 2019-2022: Bachelor’s degree in computer science at Paris Cité