Explore projects

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.

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

Report on my M1 internship as part of the Computer Science Master's degree of École Normale Supérieure de Paris.

Contains LaTeX and pdf files related to my internship at INRIA Montpellier.

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination

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).

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).