Short CV

• Fall 2024 : Internship with Yannick Forster, working on metaprogramming in proof assistants including Coq and Lean.
• 2024 : Master’s degree in computer science at MPRI
• Spring 2024 : Internship with Benjamin Werner. We worked on Actema, a graphical user interface for Coq based on drag-and-drop actions.
• Spring 2023 : Internship with Mary Sheeran. We worked on Futhark, a functional language which runs on the GPU.
• 2021 : Bachelor’s degree in computer science at ENS Paris