Computer Science Master Degree 2022 – 2025
École Normale Supérieure de Lyon, Lyon (France)
Courses in theoretical computer science that provide a solid research-oriented foundation. I’ve started to specialize in formal methods by following proof-theoretic oriented courses in Master 1 and I’m furthering this specialization in Master 2 by taking courses of the “Higher Algebra and Formalized Mathematics” of ENS’s Advanced Mathematics second-year program on top of those offered in the computer science department.
The program includes one 2-month research intership in the first year, that I’ve done in Montpellier, one 3-month internship in the second year where I went to Göteborg, in Sweden, and one 6-month internship where I’ve been hosted by the GALINETTE team in Nantes during the last year.
GPA 18.02/20.
ENS Diploma 2022 – 2026 (ongoing)
École Normale Supérieure de Lyon, Lyon (France)
This is a companion diploma that comes together with the master degree. It acknowledges the extra credits of a student and is delivered after a fourth year. For this extra year, I’ve chosen to go with a year of research stays, the first one with Ambroise Lafont in the PARTOUT team at LIX for six months. The second one has not been decided yet.
Computer Science Bachelor Degree 2019 – 2022
Université de Montpellier, Montpellier (France)
Introduction courses on a wide range of Computer Science subjects. I’ve also had the opportunity to do an industry internship in the first year (of 3 months) and research internships in my second & third year (for a total of 5 months).
GPA 17.46/20, ranked 2nd/148.