Doctorant
Équipe Spécification et vérification de systèmes
Encadré par Florent Madelaine, Régine Laleau, Frédéric Gervais, Marc Frappier (unv. Sherbrooke)

Bureau: P2 214
Email: theo.lacoste@u-pec.fr
Tél. +33: 01 45 17 16 47
Fax +33: