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
Je suis également moniteur pour l'Université Paris Sud XI