Home
Recherche
Je suis actuellement doctorant en informatique au Laboratoire de Spécification et Vérification de l'École Normale Supérieure Paris-Saclay . Mes intérêts sont en Logique, Modèles des langages de programmation, Calculabilité, Complexité et Catégories. Mes publications sont disponibles sur ma page DBLP et sur mon profil ORCID .Entrepreneur d'Intérêt Général
Pour une durée de 10 mois à compter du 1er Septembre 2020, je participe au projet Entrepreneur d'Intérêt Général en tant que développeur fullstack pour le projet SIANCE en collaboration avec Pierre-Etienne Devineau. Ce projet s'inscrit dans la transition numérique de l'Autorité de Sûreté Nucléaire, en charge du contrôle de la sûreté nucléaire et de la radioprotection, qui souhaite créer un outil permettant de renforcer le contrôle des activités et des installations nucléaires grâce à l’analyse des données des inspections déjà réalisées.Agrégation
J'ai passé l'agrégation en 2017-2018 à l'ENS Cachan, et avec Emilie Grienenberger, Gaëtan Doueneau et Charlie Jacomme nous préparons des fiches pour les leçons d'agrégation d'informatique. L'ensemble des ressources sont disponibles par ici.Posts
Voici une liste de mes derniers posts
- Rapport sur le Master Parisien de Recherche en Informatique 12-09-2019
- Présentation du LSV pour la rentrée du département info 12-09-2019
- Médiation scientifique 03-09-2019
- Catérogies Cartésiennes Closes 01-02-2019
- Premier Workshop ENSPS 22-12-2018
…et vous pouvez en trouver plus à cette adresse.