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.
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: