Explore projects

Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.

Une feuille A4 recto/verso max, distribuée aux conscrit·e·s à la rentrée. Détaille les services informatiques élèves à l'ENS, ainsi que quelques infos plus générales sur l'informatique à l'ENS (pas nécessairement élèves).

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Static analyzer for the Semantics and Verification course at École Normale Supérieure.

The internship report for my M1 internship (March-July 2020)

Report on my M2 internship as part of the MPRI.

Presentation of hackEns projects for 2013-2014.

Projet du cours de sysdig

Exercice de démineur pour le cours de POO de la prépagreg de Jussieu

Report for PSL* in 2013 / 2014.