Mes activités de recherche portent principalement sur les fondements théoriques et les applications pratiques des systèmes informatiques complexes (fiables, répartis, concurrents et sécurisés).
Depuis mon arrivée à Neuchâtel, j’ai participé en tant que (co-)requérant à une vingtaine de projets de recherche financés par l'UE (VELOX, SRT-15, LEADS, ParaDIME, SafeCloud, SecureCloud, EBSIS, LEGaTO, VEDLIoT) et le FNS (liste sur le portail de données).
La liste de mes publications peut être consultée dans la base de données bibliographique DBLP et sur Google Scholar.