Guillaume Scerri

Associate Professor, ENS Paris-Saclay

Mail: scerriREMOVE@lmf.cnrs.fr
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.