Depuis 2024, je suis maître de conférence en informatique à l'Université de Rennes. J'enseigne à l'IUT de Saint-Malo, et fais partie de l'équipe de recherche DEVINE au sein de l'IRISA.
Mes centres d'intérêt principaux en recherche sont les méthodes formelles pour la vérification, avec un accent sur la vérification de systèmes communicants. J'ai soutenu une thèse à l'Université Côte d'Azur, sous la direction d'Étienne Lozes et Cinzia Di Giusto. Une liste de mes publications est disponible ici.