Static analyzer for the Semantics and Verification course at École Normale Supérieure.
Submission for the programming project of the MPRI course "Proof of Programs".
Report on my M1 internship as part of the Computer Science Master's degree of École Normale Supérieure de Paris.
The internship report for my M1 internship (March-July 2020)
Introduction to causal graph dynamics written as part of the École Normale Supérieure de Paris mathematics bachelor's degree.
Basic operating system for the Operating System course at École Normale Supérieure.
Deuxième DM d'Apprentissage Statistique (S2 18-19)
Review on GANs for the Artificial Vision class at ENS.