Guillaume Scerri

Doctorant, ENS Cachan

Je suis en thèse sous la direction de Hubert Comon-Lundh et Véronique Cortier. Mes recherches portent d'une part sur la correction calculatoire des modèles formels pour la sécurité, et d'autre part sur des techniques de démonstration automatique pour ces modèles formels.

ma liste de publications

Enseignement

Vie du laboratoire

Je m'occupe actuellement de l'organisation du groupe de travail de l'axe SECSI.

À propos du LSV

Contact

Guillaume Scerri
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau
RH-E-01c
Tél.
+33 (0)1 47 40 75 50
Fax
+33 (0)1 47 40 75 29
Secr.
+33 (0)1 47 40 75 20
E-Mail
lastname@lsv.ens-cachan.fr