Romain Soulat

PhD student, ENS Cachan

Selected Publications

Recherche

Je suis doctorant au LSV sous la direction de Laurent Fribourg. Je travaille sur la modélisation et la vérification de systèmes temporisés hybrides. Je participe également au dévellopement du model checker IMITATOR II. et IMITATOR III

Monitorat

Je suis également moniteur pour l'Université Paris Sud XI

Projets

Je collabore dans les projets CRAFT, BOOST et COUPLET

Contact

Address: LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office: 4eme etage
Phone: +33 (0)1 47 40 22 69
Fax: +33 (0)1 47 40 75 21
Secr.: +33 (0)1 47 40 75 20
E-Mail: Email