Explore projects

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

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination

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

Projet du cours de sysdig

Notes du cours de théorie descriptive des ensembles

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Report for PSL* in 2013 / 2014.

hackEns presentation for Ens administration.