Doctorant
Équipe Spécification et vérification de systèmes
Encadré par Régine Laleau & Frédéric Gervais, thèse en co-tutelle avec l'université de Sherbrooke

Bureau: P2 214
Email: thomas.fayolle@lacl.fr
Tél. +33: 01 45 17 65 96
Fax +33: 01 45 17 66 01