Centres et domaine d’intérêt

1. Paradigme et programmation fonctionnelle
2. Méthodes formelles
3. Ingénerie des besoins

Projets de recherche

1. Projet APIS sous la supervision de Marc Frappier :
   • EB³PAI :
     un interpréteur pour l’algèbre de processus EB³ en Java
   • OCamlPAI :
     un interpréteur pour l’algèbre de processus EB³ en OCaml
   • CoqOEB³ : modélisation de la méthode EB³ en Coq
2. Preuve d’algorithme de synthèse de contrôleur
   sous la supervision de Richard St-Denis
3. Modélisation formelle et vérification de propriétés d’un espace diffus (pervasive space),
   avec Bessam Abdulrazak

Contributions

1. Calcul symbolique efficace d’expression de processus EB³
   
2. Comparaison des approches orientées-états et orientées-évènements