Protocol team member at Morpho.

PhD student at LMF under the supervision of Chantal Keller, Claude Marché, and Andrei Paskevich. My thesis, Certification of the transformation of proof tasks, focuses on program verification and its safety.

Student in the Parisian Master in Computer Science (Master 1 and Master 2) at Paris Diderot.

Student in the Master’s in Fundamental Mathematics (Master 2) at Paris Diderot.

Student at ENS Rennes in the mathematics department. Obtained the agrégation in mathematics.