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 ORCID logo .

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

…et vous pouvez en trouver plus à cette adresse.