L'HDR est un condensé de nos 20 dernières années de carrière dans la recherche (depuis que nous avons commencé notre PhD). Elle fournit une vue d'ensemble de toutes nos activités de recherche. Elle se focalise sur nos contributions dans le domaine du génie logiciel formel. Au niveau de la théorie fondamentale, elle rend compte de notre travail dans le domaine des interactions de service et de leur composition. Afin de démontrer notre capacité à appliquer la recherche aux problèmes du monde réel, elle expose notre recherche sur le vote électronique. Elle fait également un compte rendu de notre recherche sur la nature symbiotique de la recherche et de l'enseignement, avec une accentuation sur les méthodes formelles et l'apprentissage par problèmes. Pour finir, elle met en avant une proposition de recherche sur une ligne de produit logiciel pour les systèmes de vote électronique qui combinent de façon complémentaire théorie, pratique et pédagogie