Malgré les grands services qu'ils nous rendent, la plupart des systèmes informatiques souffrent de multiples problèmes : ils ne répondent pas aux besoins des clients, ils ont des bogues, ils ont des failles qui sont exploitées par les pirates, etc. Une manière de réduire ces problèmes, c'est d'utiliser des techniques qui permettent de les prévenir et de les détecter (afin de les corriger).
Le but de mon programme de recherche est le développement et l'application de techniques mathématiques pour l'analyse et la construction de programmes. Les mathématiques principalement utilisées sont celles des algèbres de Kleene et des algèbres de relations. L'exemple type d'une algèbre de Kleene est l'algèbre des langages réguliers sur un alphabet donné. La notion de relation est bien connue de ceux et celles qui ont étudié les mathématiques discrètes.
Les applications principales présentement étudiées sont les suivantes : synthèse (calcul) de contrôleurs, analyse des programmes à des fins de sécurité, spécification et validation de systèmes au moyen de la technique des scénarios.