Je suis Premier Assistant dans le service d'Informatique théorique du Département d'Informatique. Ma recherche est centrée sur la logique informatique, et plus précisément la théorie des automates, la théorie des jeux, la vérification formelle, et la synthèse de contrôleurs pour les systèmes réactifs.