CV
Education
École Normale Supérieure de Lyon
Master d’Informatique
2025 – current
Research-oriented Master’s degree in Computer Science.
Relevant coursework:
- Proofs and Programs
- Semantics and Verification
- Compilers and Program Analysis
- Parallel and Distributed Algorithms
- Optimization
ENS de Lyon & Université Claude Bernard Lyon 1
Double Licence: Informatique Fondamentale & Mathématiques
2024 – 2025
Bachelor’s degree in Fundamental Computer Science in the ENS de Lyon and bachelor’s degree in mathematics in the Université Claude Bernard Lyon 1 validated in parallel through examinations.
Relevant coursework:
Lycée Champollion, Grenoble
Classes préparatoires aux grandes écoles — MPI
2022 – 2024
A two year intensive undergraduate program preparing to the competitive entrance of grandes Écoles.
Class representative (2nd year).
Research Experience
Centre Inria de l’Université Grenoble Alpes — Research Internship
June–July 2025 (6 weeks)
Supervisor : Martin Bodin
Topic : Function analysis in Rocq: bridging informal reasoning and formal proofs.
Report (in French) Slides (in French)
Projects
See my project page.
Technical Skills
Languages : OCaml, Rocq, Python, C, LaTeX
Tools : Git, Linux
Academic Distinctions & Competitions
- SWERC (ICPC), 2024 & 2025 — ENS de Lyon
Languages
- French (native)
- English (fluent, Cambridge English: Advanced — C1 grade B, score 197)
- German (A2)
Association Experience
IT Manager — Students’ Union (BDE), ENS de Lyon
2025–2026