Romain Soulat

PhD student, ENS Cachan


Recherche

I am a PhD. student at LSV under the supervision of Laurent Fribourg. I work on the modeling, verification and scheduling of parametric timed systems. I also work on control for hybrid systems. I work on the development of the model checker IMITATOR and MINIMATOR, a tool for controller synthesis.


Teaching Activities

I am a teacher assistant at University Paris Sud XI and at Polytech Paris Sud, an engineer school in the following courses:

Projects

I workd in the following Farman Institute projects:

Latest Publication

About LSV

Contact

Romain Soulat
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