Recherche
J'ai travaillé au cours de ma thèse sur le problème de synthèse pour les systèmes distribués ouverts. Je m'intéresse en général aux méthodes formelles pour le vérification de systèmes, ainsi qu'aux aspects théoriques qui y sont liés : la théorie des automates, la théorie des jeux, les logiques temporelles, ainsi que l'analyse des systèmes concurrents. Actuellement je travaille sur des problèmes de synthèse temps-réel.