Curriculum Vitae
As a citizen, I am primarily interested in disruptive innovation in the digital sector, with a particular focus on artificial intelligence and quantum computing.
As a scientist, I am interested in the topological approach to the verification and design of these emerging technologies.
How can homotopy theory shape the future of computing? This question is the backbone of my career !
Education
2022 - 2025
PhD thesis in computer science
École polytechnique
L3 internship (ENS Lyon)
L3 internship (ENS Lyon)
L3 internship (ENS Lyon)
L3 internship (ENS Rennes)
"coherent presentations of groups in homotopy type theory"
School scholarship obtained with a merit-based salary supplement
-
Elected to the laboratory's board of directors (representing PhD students)
-
Supervised Research Internships (research project management)
- Dylan Laird
- Camil Champin
- Wiliam Hasley
- Lenny Provot
-
Scientific publications in international conferences
June - July 2023
June - July 2023
May - June 2025
May - June 2025
2021 - 2022
Master degree in computer science
Specialization:
- Formal Computer Proofs
-
Machine Learning
-
Quantum Computing
GPA: 3.5.
​
École normale supérieure Paris - Saclay
2020 - 2021
Master degree in mathematics
Sorbonne université
Specialization:
- Homotopy (Type) Theory
-
Higher Category Theory
GPA: 4.0. highest honours
Languages skills
Computer languages
-
Rocq
-
Agda
-
LaTeX
(proof assistant)
(proof assistant)
(text editor)
Natural languages
-
French
-
English
-
Italian
(mother tongue)
(fluent)
(fluent)