Explore projects

Cours de logique 2017

Compilation des leçons d'informatiques de l'agrégation de 2020, telle qu'elles ont été revues en cours d'option D.

Système de notification automatique pour événements associatifs.

These are my notes from the Cryptography and Security course given by Omar Fawzi.

Cours de Machine Learning du second semestre de M1 informatique. Cours donné par Marc Sebban.

This is the git for my M2 internship "Twin-width and forbidden subdivisions". This work has been done under the supervision of Stéphan Thomassé, in collaboration with Édouard Bonnet, EunJung Kim, and Rémi Watrigant, at ENS Lyon, LIP, MC2.

Course notes of Damien Stehlé and Guillaume Hanrot's Cryptanalysis course.

Cours de Sémantique et Vérification donné à l'ENS de Lyon.

Computational Complexity course given by Omar Fawzi at the ENS.

Fork of https://gitlab.aliens-lyon.fr/gcluzel/Cours_de_Logique - update and corrections, summer term 2019

Course notes of Rémi Watrigant's and Édouard Bonnet's Parameterized and Exact Algorithms course.