Explore projects

Archives réalisées en mai-juin 2021, lors de la discussion d'une éventuelle migration (depuis décalée) de l'ENS à 365 pour la rentrée suivante, auquel s'oppose l'arrêt rendu à la même période par la CNIL.

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

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination

Ceci est ma contribution pour l'examen du cours 2.37.1 du MPRI.

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

Code for the final project of DEC course Conversation among People and Bots at ENS Paris

Status page for the students' IT services at ENS

Deuxième DM d'Apprentissage Statistique (S2 18-19)

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.

Règlement intérieur de la Délégation générale, annexes et traductions, à tenir à jour.

Projet du cours de programmation fonctionnelle au MPRI

In OCaml.