Since April 2022, I have been part of the research and development team
at
Morpho Labs.
From October 2018 to February 2022, I was a 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.
From September 2016 to September 2018, I was a student in the Parisian Master in Computer Science (Master 1 and Master 2) at Paris Diderot.
From September 2015 to September 2016, I was a student in the Master’s in Fundamental Mathematics (Master 2) at Paris Diderot.
From September 2011 to September 2015, I was a student at ENS Rennes in the mathematics department and obtained the agrégation in mathematics.
From October 2018 to February 2022, I was a 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.
From September 2016 to September 2018, I was a student in the Parisian Master in Computer Science (Master 1 and Master 2) at Paris Diderot.
From September 2015 to September 2016, I was a student in the Master’s in Fundamental Mathematics (Master 2) at Paris Diderot.
From September 2011 to September 2015, I was a student at ENS Rennes in the mathematics department and obtained the agrégation in mathematics.