Thèmes de recherche

• Méthode B
• Spécification algébrique
• Types abstraits et Généricité
• Langages et compilation

Travaux de recherche

• Spécification des systèmes abstraits avec la méthode B: propriétés de vivacité avec et sans équité
• Analyse du comportement de systèmes abstraits par de systèmes de transitions finis
• Génération de code certifié à l'aide de méthodes formelles
• Etudes de cas sur la spécification de logiciels
• Conception et implémentation du langage de spécification : LPG
• Programmation générique et techniques d'implémentation de la généricité