Guillaume Scerri

PhD student, ENS Cachan

I am currently a PhD student under the supervision of Hubert Comon-Lundh and Véronique Cortier. My research interests include computational soundness of formal models for security and automatic reasoning in these formal models.

Teaching (in french)

I am a teaching assistant at the department of Computer Science in ENS Cachan.

• advanced complexity at MPRI
• formal languages at ENS Cachan

Other activities

I am currently organizing the SECSI working group.

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

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