Explore projects

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

Code for the podias in K-Fêt.

Coq implementation and verification of a decision procedure for intuitionistic tautological properties (MPRI 2.7.2 project).

Probabilistic programming library for OCaml (MPRI 2.40 project).

Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).

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

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

Code for the LEDs installation at Nuit de la rue d'Ulm in 2014.

Trying to generate soundscapes with Neural Networks as part of the Deep Learning 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.

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

Code for the LEDs installation at Nuit de la rue d'Ulm in 2013.

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

OCaml implementation of a typer for System FOmega (MPRI 2.4 project).

A 2048 clone played with a RGB high power LEDs wall for the Nuit des Sciences event at Ens.

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

Project for the Digital Systems course at École Normale Supérieure.