I am a Bachelor Computer Science student. I am currently doing an Intership at Inria Paris aiming at defining the CakeML semantic in rocq under the supervision of Yannick Forster.

Education

• between 2022 and 2024 I was in CPGE MP2I/MPI at Lycée Champollion in Grenoble
• I am currently a bachelor student at ENS de Lyon