Qui suis je ?
Je suis actuellement étudiant en Master 2 informatique à l'ENS Paris-Saclay au MPRI.Je m'interesse particulièrement a ce qui tourne autour des languages de programmation, en particulier la vérification de programme : vérification d'abscence de preuve, trouver des bugs ou certification de compilateur. J'apprécie également les OS. Bref, j'apprécie particulièrement être à la frontière entre théorique et pratique, entre l'ordinateur et l'humain.
Stage de Recherche
- Safe composition of Rust and Jasmin for high-assurance cryptographic programs
- avec Vincent Laporte, au LORIA, Nancy.
- A safety checker for Jasmin write with MOPSA
- avec Manuel Barbosa, au MPI-SP, Bochum
- Éxécution symbolique de bytecode OCaml
- avec Benjamin Farinier, à l'IRISA, Rennes.
Études
- 2025 - 2026 : ARPE Année Pré-Doctorale de Recherche à l'Étranger, ENS Paris-Saclay
- 2024 - 2025 : M2 MPRI Master Parisian in Computer Science (MPRI), ENS Paris-Saclay
- 2023 - 2024 : M1 MPRI Master Parisian in Computer Science (MPRI), ENS Paris-Saclay
- 2022 - 2023 : L3 Maths/Informatique (Informatique), ENS Paris-Saclay
Projets Perso
- Phone Tile : Application Android partagé sur plusieurs mobile écrite en Rust avec Raylib (sans Java/Kotlin). (Pour un projet de cours)
Associatif
- Crans : association de réseau de l'ENS Paris-Saclay, membre depuis avril 2023, responsable technique depuis avril 2024, responsable technique en chef depuis avril 2025.