CV
Projects
See my project page.
Technical Skills
Languages : OCaml, Rocq, Idris 2, 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