Je suis doctorant en co-tutelle depuis octobre 2014 à l'ENS Cachan et à l'UMONS. Je suis dirigé par Patricia Bouyer au sein du LSV à Cachan, et par Thomas Brihaye au sein du Département de Mathématique à Mons.
Je travaille sur des automates temporisés et stochastiques. Plus particulièrement, je travaille sur un opérateur de composition dans ce modèle et je compte également aborder la vérification d'automates temporisés et stochastiques. Le but de la thèse étant de développer un cadre riche permettant de décrire et de vérifier de manière compositionnelle des sytèmes temporisés et stochastiques.