Université d'Ottawa

Gregor v. Bochmann a été le pionnier et a contribué à établir ce que l'on appelle aujourd'hui "l'ingénierie des protocoles", un domaine d'une importance fondamentale : les protocoles de communication sont le langage des réseaux de communication, et leur exactitude est essentielle au fonctionnement des réseaux mondiaux d'aujourd'hui. Michel Diaz (directeur de recherche au CNRS, Toulouse, France) a même déclaré que "nous pouvons dire sans aucun doute que [Bochmann] a fondé le travail et le domaine de l'ingénierie des protocoles". Ces méthodes ont eu un impact particulier sur les applications informatiques où les erreurs doivent être strictement évitées, comme dans les logiciels à haute fiabilité pour le contrôle des systèmes en temps réel, par exemple les avions ou les centrales nucléaires.

Gregor v. Bochmann a été l'un des premiers à reconnaître l'importance de spécifications précises et formelles pour l'analyse et la vérification systématique des protocoles de communication, ainsi que pour le développement semi-automatique de leurs implémentations et de leurs tests. Joseph Sifakis (directeur de recherche, CNRS, Grenoble, France), lui-même expert mondial de premier plan en matière de systèmes distribués, a déclaré que "Gregor v. Bochmann a joué un rôle de pionnier dans la définition des normes internationales ISO et UIT basées sur des techniques de description formelle. [Il ne fait aucun doute que son action a eu un impact important sur l'acceptation de ces techniques".

Depuis 1975, ses travaux ont contribué à l'établissement de plusieurs nouvelles directions de recherche, telles que les techniques de description formelle des protocoles et services de communication, les techniques de vérification et de mise en œuvre des protocoles, les méthodes de dérivation des tests à partir de spécifications formelles, et la dérivation des spécifications des protocoles et des contrôleurs à partir d'une spécification de service donnée. Ses travaux sur les techniques de description formelle ont fortement influencé les normes internationales dans ce domaine développées dans les années 1980, qui, à leur tour, ont contribué au développement du "développement basé sur les modèles". Les méthodes et les outils développés dans son groupe ont été utiles non seulement pour l'ingénierie des protocoles, mais aussi dans le contexte plus général de l'ingénierie logicielle pour les systèmes distribués et les systèmes de contrôle à événements discrets. Il est internationalement reconnu comme un leader dans ce domaine. Reinhard Gotzhein (professeur à l'université technique de Kaiserslauter, Allemagne), ce ne sont là que quelques-unes des principales réalisations de M. Bochmann. Il a mené des recherches approfondies sur de nombreux autres sujets, notamment le développement de logiciels orientés objet, la gestion de la qualité de service, la conversion de protocoles, les applications multimédias distribuées, la mise en œuvre semi-automatique de protocoles formellement spécifiés, les outils pour la dérivation et la sélection de cas de test, l'analyse automatisée des résultats de test, la conception de matériel avec la logique temporelle, les algorithmes distribués pour le contrôle des systèmes et la construction de compilateurs". La liste aurait pu également inclure les systèmes peer-to-peer, le contrôle des réseaux optiques et l'analyse des applications Internet riches.

En outre, il a fait preuve d'un leadership exemplaire dans la promotion de la collaboration en matière de recherche entre les universités et les entreprises. Outre la direction de nombreux projets de recherche importants parrainés par l'industrie et/ou le gouvernement, il a participé à la création d'instituts de recherche tels que le Centre de recherche informatique de Montréal (CRIM) et l'Institut canadien de recherche en télécommunications (CITR).

Gregor v. Bochmann est membre de l'IEEE, de l'ACM, de la Société royale du Canada et de l'Institut des ingénieurs du Canada. Il est docteur honoris causa de l'Université Joseph Fourier de Grenoble et de l'Université de Rennes 2, toutes deux en France. Il a reçu de nombreux prix tout au long de sa carrière, notamment le prix Urgel Archambeault pour des contributions exceptionnelles dans le domaine des sciences physiques, des mathématiques et de l'ingénierie ; le tout premier prix de l'ACTI pour l'excellence académique de la recherche dans le domaine des technologies de l'information ; la médaille Thomas W. Eadie de la Société royale du Canada et la médaille d'or McNaughton de l'IEEE. 33 étudiants en doctorat et 83 étudiants en maîtrise ont obtenu leur diplôme sous sa direction. Il est l'auteur de plus de 400 publications scientifiques au cours de sa carrière, qui ont été citées près de 8 000 fois au total.