Utilisation de méthodes mathématiques pour prouver des propriétés de sûreté et sécurité de logiciels.
Algorithmique générale, logique, langages de programmation, procédures de décision, compilation, sûreté et sécurité de fonctionnement.
Lauréat d'un ERC consolidator grant (2013)