Romain Soulat

Doctorant, ENS Cachan


Recherche

Je suis doctorant au LSV sous la direction de Laurent Fribourg. Je travaille sur la modélisation, la vérification et l'ordonnancement de systèmes temporisés paramétriques. Je travaille également sur le controle de systemes hybrides. Je participe au développement du model checker IMITATOR ainsi que MINIMATOR, un outil pour la synthèse de controles.


Monitorat

Je suis moniteur pour l'Université Paris Sud XI ainsi que pour l'école d'ingénieur Polytech' Paris Sud.

Les cours dans lesquels je suis intervenu sont:

Projets

J'ai collaboré dans les projets Farman suivants:

Dernières publications

À propos du LSV

    

Contact

Romain Soulat
Adresse
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau
4eme etage
Tél.
+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