Thème :
Génie logiciel
Présentation :
Mes activités de recherche se concentrent sur le génie logiciel et abordent les problématiques liées aux composants logiciels, à la programmation orientée aspect, ainsi qu'aux architectures orientées service. En particulier, j'utilise les techniques de vérification formelle pour garantir la cohérence du comportement des systèmes logiciels. Sur le plan applicatif, j'applique ces techniques de vérification formelle dans des domaines tels que l'Internet des objets (IoT).