Curriculum Vitae
Download PDFResearch Internships
Research intern: Synthetic constructive algebras 2026
Department of Computer Science, Università di Verona
Five months internship, supervised by Peter Schuster.
Research intern: Synthetic and constructive algorithmic randomness 2025 - 2026
Inria Paris, Université Paris Cité
Three months internship, supervised by Yannick Forster and Dominik Kirst.
Research intern: Formalization of game semantics in Rocq 2025
LIS, Aix-Marseille Université
Four months internship, supervised by Étienne Miquey and Pierre Clairambault.
Research intern: Synthetic topology in Agda, a definitional quest 2024
School of Computer Science, University of Birmingham
Three months internship, supervised by Vincent Rahli.
Research intern: Algorithmic randomness 2023
I2M, Aix-Marseille Université
Six weeks internship, supervised by Pierre Guillon.
Education
Diploma of the ENS de Lyon (ongoing) 2022 - 2026
École Normale Supérieure de Lyon
M2 LMFI, Mathematical Logic and Foundations of Computer Science 2024 - 2025
Université Paris Cité
M1 Computer Science, concepts and applications 2023 - 2024
École Normale Supérieure de Lyon
Bachelor's degree in Computer Science 2022 - 2023
École Normale Supérieure de Lyon - UCBL
CPGE MPSI / MP* 2020 - 2022
Lycée Thiers, Marseille
A-level science 2020
Lycée Chevreul Blancarde, Marseille
Schools
PS26, Proof Society 2026
Aussois, France
8th International School and Workshop on Proof Theory
EPIT25, École de Printemps d'Informatique Théorique 2025
Aussois, France
(Co)inductive and circular reasoning applied to programming, formal proofs, and software verification.
PC25, Proofs and Computation 2025
Herrsching, Germany
Predicative foundations, constructive mathematics and type theory, computation in higher types, extraction of programs from proofs.
Teaching
Oral examinations and labs in computer science
MP2I prépa class · La Martinière-Monplaisir, Lyon · 2023 - 2024
Tools
LaTeXPythonOCamlRocqAgda
Languages
French (native)English