Explore projects

This is the homework and presentation for the M2IF course CR02 "Selected Topics in Information Theory" given by Samir Perlaza, Jean-Marie Gorce and Malcolm Egan at ENS Lyon. This work was done jointly with Ambroise Baril.

Fichiers source de mon manuscrit de thèse

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Tout le code pour ma thèse :)

Repository of my M2 internship.

Implementation of the SMTApproxMC counting algorithm in C++ using Z3, with some optimizations for Chalice-generated files.

Appendix of the report "Levenberg-Marquardt on Manifolds"

GUI organizer for ENSnano

Echantillonnage à posteriori par méthode MCMC - réseau inversible

Projet de programmation de Thomas Bobille et Louis Jalouzot