Short CV

• Spring 2025: Internship with Théo Winterhalter, designing a reflective simplification tactic for autosubst.
• Fall 2024: Internship with Yannick Forster. We performed a survey of meta-programming in proof assistants (Rocq, Agda, and Lean), using a case study as basis for comparison.
• 2024: Master’s degree in computer science at MPRI
• Spring 2024: Internship with Benjamin Werner. We worked on Actema, a graphical user interface for Rocq based on drag-and-drop actions.
• Spring 2023: Internship with Mary Sheeran. We worked on compiling functional languages to the GPU – such as Futhark – and published a workshop paper together.
• 2021: Bachelor’s degree in computer science at ENS Paris