Explore projects

Basic operating system for the Operating System course at École Normale Supérieure.

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

Introduction to causal graph dynamics written as part of the École Normale Supérieure de Paris mathematics bachelor's degree.

Projet du cours de sysdig

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)

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

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

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

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

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination

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

Report on my M2 internship as part of the MPRI.