Education

I am currently finishing my master's degree in fundamental computer science at the ENS. I am enrolled in the Higher Algebra and Formalised Mathematics program. The courses I'm following are:

• Higher Algebra and Higher Rewriting (S.Gaussent, P.Malbos)
• Algebraic Topology (J.C.Sikorav)
• Calculus of inductive construction and Rocq (D.Pous)
• Type theory and Foundations of Formalised Mathematics (G.Struth)
• Into to Lean / Advanced Project in Lean (S.Morel, X.Roblot, F.A.E.Nuccio)
• Spanish B2

Although I am not taking classes for these languages anymore, I have a B1 level in German, and a C1 level in English (Cambdridge certificate with C2 mention). In fact I have lived in Ireland for a full school-year and am fairly comfrotable with both casual and academic English.

The courses that most interested me were the following:

• Semantics and Verification (Colin Riba)
• Proofs and Programms (Michele Pagani)
• Category Theory Seminar (Department of Mathematics)
• Quantum Computer Science (Daniel Stilck Franca)
• Computer Algebra (Bruno Salvy)
• Cryptography and Security (Alain Passelègue)
• Compilation and Program Analysis (Gabriel Radane and Ludovic Henrio)

Between 2019 and 2022 I studied in a prepatory class for three years at Lycée La Martinière Monplaisir in Lyon, in the Math-Physics curriculum.

In 2022 I became a civil servant student at the Ecole Normale Superieure de Lyon (ENS). The ENS is a prestigious french "Grande Ecole", similar to a university with very small classes and a strong focus on research and teaching. During my first year, I studied for a bachelor's degree in fundamental computer science. In parallel I studied mathematics at the UCBL, to obtain a second bachelor's degree. I also took bachelor-level math and physics courses at the ENS (Integral Calculus, General Algebra and Basic Quantum Physics).