Je suis maître de conférences en informatique à l'ENS Paris Saclay. Mes recherches portent sur les aspects formels de la sécurité, je m'intéresse en particulier à des questions à l'interface entre logique et preuves de protocoles cryptographiques dans les modèles symboliques et calculatoires.
Recherche
Vous trouverez des détails sur mes thématiques de recherche.
Vous trouverez ma liste de publications ici.
Enseignement
J'enseigne l'informatique au départment d'informatique de l'ENS Paris Saclay.