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
Séminaire Automates
Avec Arthur Jaquard et Alexandra Rogova, je suis co-organisateur du séminaire automates qui a lieu tous les vendredis (ou presque) à 14h à l'IRIF en salle 3052.Entrepreneur d'Intérêt Général

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
- Rejoindre l'administration publique après un doctorat 29-11-2022
- Gestion des liens dans un document 19-10-2022
- De l'emploi des docteurs dans les administrations publiques 21-11-2021
- Retour d'expérience sur le projet EIG 14-11-2021
- On the word topology, and beyond 23-09-2020
…et vous pouvez en trouver plus à cette adresse.