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