Guillaume Scerri
Maître de conferences
Mail: guillaume.scerri@lmf.cnrs.fr
Phone: +33 (0)1 81 87 00 00
Office: 1S61, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
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.