Double degree program in partnership with Télécom Paris.
Computer science track: data privacy, formal verification of complex systems, basics of artificial intelligence and parallel computing.

Admitted through highly competitive national exam (ranked 321 over 6350 students).
Main track: Mathematics, Theoretical Computer Science and Operational Reaserch.
Secondary tracks: Data Science, Algebra Applied to Cryptography and a research project.

Intensive program in mathematics and physics preparing for national competitive entrance exams.

Supervised by Tobias Oechtering, this project aims to build mathematically grounded data privacy standards for banks, insurance companies, and other organizations handling sensitive data.

Supervised by Karl Palmskog, I developed a formal model of regular expression computation in Rocq and fully proved its correctness against precise specifications. The model is open source.

Supervised by Olivier Rioul, this research project investigates the generalization of Mrs. Gerber’s Lemma to finite abelian groups, focusing on entropy bounds for sums of independent random variables.

Delivered over 200 hours of private tutoring in mathematics, physics, and computer science since 2021. Currently tutoring an engineering school student and two middle school students. I reached an average grade improvement of +4 points out of 20 for my previous students.