Mes problématiques de recherche sont centrées sur la modélisation et la vérification d'applications réparties. Au niveau modélisation, j'utilise essentiellement UML et des réseaux de Petri étendus, dits bien-formés. Je suis également auteur d'un livre sur UML 2, paru en juillet 2005. L'application rigoureuse d'une méthodologie pour aider à faire face à la complexité croissante des applications était déjà abordé dans ma thèse et reste au coeur de mes recherches.
