Explore projects

Notes du cours de théorie descriptive des ensembles

Projet du cours de sysdig

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

Report for PSL* in 2013 / 2014.

Presentation of hackEns projects for 2013-2014.

hackEns presentation for Ens administration.

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Submission for the programming project of the MPRI course "Proof of Programs".

Langage de description des chansons (harmonie + paroles, sans indication de mélodie ou de rythme mélodique précis). Génération de fichiers LaTeX (contenant les paroles et les accords correctement alignés) et de backing tracks en midi.

Report on my M2 internship as part of the MPRI.