J'ai été étudiant dans le Département de Mathématiques et d'Informatique de l'ENS Lyon. J'ai suivi les deux premières années du MIM (Magistère d'Informatique et Modélisation) à L'ENS Lyon. Je suis ensuite allé étudier à Paris en 2ème année du MPRI (Mastère Parisien de Recherche en Informatique).
J'ai été élève de l'ENS Lyon. J'ai suivi les deux premières années du cursus Informatique. Je suis ensuite allé étudier à Paris en 2ème année du MPRI (Mastère Parisien de Recherche en Informatique).
Voici la liste des cours que j'ai suivi.
J'ai effectué différents stage de recherche lors de mes études. Vous trouverez ici mes rapports de stage (algèbres de processus, λ-calcul, logique, preuves, calcul quantique).