Présentation
Je suis actuellement étudiant à l'ENS Rennes, en magistère science informatique. J'y étudie l'informatique dans un cursus pour la recherche par la recherche. Je m'intéresse tout particulièrement aux méthodes formelles. Je suis par ailleurs pianiste de niveau modéré et grand amateur de jeux de société.
Parcours (CV complet)
- 2018-2021 : Magistère informatique. ENS Rennes/Université de Rennes 1, Rennes
- 2017-2018 : L2 informatique. Université de Rennes 1, Rennes
- 2015-2017 : MPSI et MP. Lycée Chateaubriand, Rennes
- 2015 : Bac S mention très bien. Lycée brocéliande, Guer
Contenu du cursus universitaire
- Informatique fondamentale : algorithmique, langages formels, logique(s), théorie de la complexité, théorie de l'information
- Méthodes formelles : model-checking avec LTL et CTL (utilisation de NuSMV), preuves formelles avec Coq
- Programmation : génie logiciel, orienté objet (C++, Java, Scala), fonctionnel (Caml, Lisp, Racket), base de données (SQL, XPath, XML)
- Recherche : simulation de comité de programme, cours de pédagogie (interventions d'informatique débranchée dans des classes de CM2)
- Informatique appliquée : notions de systèmes distribués et de sécurité
- Hardware et bas niveau : architecture, électronique, réseaux, système
Projets réalisés (page dédiée)
- Projet M1 : projet de vérification formelle légère pour OCaml
- Stage : synthèse de réseau de Petri simple
- Interprète Lisp (C++) (Rapport à télécharger) (Archive du projet)
- Lancer de rayons (C++) TODO
- Triangulation de Delaunay (Ocaml) (Rapport à télécharger)
