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.

Enseignement

• TD de complexité avancée en M1 au MPRI
• TD de langages formels en L3

Vie du laboratoire

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

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique