Computer Science Master Degree 2022 – 2025 (ongoing)
É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’m being hosted by the GALINETTE team in Nantes during the last year.
GPA 17.69/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. I’ve chosen to go with a year of research stays, which is usually composed of two 6-month stays or one 6-month stay and two 3-month stays.
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.