Passer au contenu

/ La recherche

Je donne

Rechercher

Sciences naturelles et génie

Gregor V. Bochmann

Professeur émérite

Faculté des arts et des sciences - Département d'informatique et de recherche opérationnelle

Autre numéro : 613 562-5800 #6205 (Travail 1)
Autre courriel : bochmann@site.uOttawa.ca (Travail)

Médias

Portrait du chercheur

 - © Université de Montréal

Portrait

Expertise de recherche

Le professeur Bochmann a été chercheur principal dans le cadre d'un projet de 6,3 millions de dollars financé par la Fondation canadienne pour l'innovation lié à SAVANT (Software Engineering and Visualization for Applications in the Next-Generation Internet). Le projet SAVANT porte surtout sur les applications et les systèmes d'Internet, deux des secteurs du monde de l'information qui évoluent le plus rapidement. La recherche menée dans le cadre de SAVANT, qui s'applique directement à la nouvelle société de l'information, devrait grandement améliorer notre qualité de vie.

Les activités de recherche du professeur Bochmann misent, en grande partie, sur la collaboration avec le secteur privé. En ce sens, le professeur Bochmann a géré plusieurs contrats de recherche en accord avec d'importantes sociétés de télécommunications et d'informatique canadiennes, entre autres Nortel, IBM, Hewlett-Packard, Teleglobe, DMR et EICON Technologies. Il a également chapeauté plusieurs projets de grande envergure en collaboration avec d'autres universités et avec le secteur privé.

Biographie

Gregor von Bochmann s'est joint au corps professoral de l'Université d'Ottawa en 1998 après un séjour de 25 ans à l'Université de Montréal. En 2001, la Société royale du Canada lui décernait la médaille Thomas W. Eadie pour souligner sa précieuse contribution au domaine du génie informatique. Le professeur von Bochmann a été nommé membre de la Société royale du Canada en 1997. Il a remporté le Prix d'excellence en recherche George-S.-Glinski de la Faculté de génie de l'Université d'Ottawa en 2000.

Prix et distinctions

  • Prix Urgel-Archambault 1988 - Association francophone pour le savoir (Acfas)
  • Société royale du Canada : Les Académies des arts, des lettres et des sciences du Canada 1997 - Société royale du Canada

Le Prix d'excellence en recherche de l'Université d'Ottawa vient d'être attribué à Gregor von Bochmann de l'École d'ingénierie et de technologie de l'information (EITI), en guise de reconnaissance pour sa recherche de pointe dans le domaine du génie informatique et des protocoles de communication.

  • IEEE Canada - Médaille A.G.L. McNaughton (2011) 
  • Membre de l'Institut canadien des ingénieurs (2008)
  • Médaille Thomas W. Eadie (2002)
  • Prix d’excellence en recherche (2002)
  • Membre de l'Institute of Electrical and Electronics Engineers (1995)

Pour en savoir plus…

Affiliations et responsabilités

Enseignement et encadrement

Encadrement

Thèses et mémoires dirigés (dépôt institutionnel Papyrus)

2000

Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java

Diplômé(e) : Ghlamallah, Adel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
2000

Cadre conceptuel pour la composition des objets et la spécification du comportement

Diplômé(e) : Ramazani, Dunia
Cycle : Doctorat
Diplôme obtenu : Ph. D.
2000

Vers la construction automatique d'un module inconnu dans un système composé

Diplômé(e) : Drissi, Jawad
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1999

Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation

Diplômé(e) : Mekouar, Loubna
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1999

Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI

Diplômé(e) : Maguiraga, Saoudatou
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1998

Implantation du protocole de signalisation ATM en utilisant une spécification SDL

Diplômé(e) : Marcoci, Roxana-Irina
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1998

On conformance testing of systems communicating by Rendezvous

Diplômé(e) : Tan, Qiang-Ming
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1998

Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau

Diplômé(e) : Chaker, Kamel Yahia
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1998

Développement d'un éditeur graphique pour les suites de tests de protocoles de communication

Diplômé(e) : Soukeur, Abdelouahed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1997

Routage inter-domaines dans les réseaux ATM

Diplômé(e) : Ould Ahmed Ould Bah, Brahim
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1997

Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués

Diplômé(e) : Dini, Petre
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1996

On the development of conformance test suites in view of their fault coverage

Diplômé(e) : Yao, Mingyu
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1996

Construction incrémentielle de spécifications pour systèmes distribués

Diplômé(e) : Khendek, Ferhat
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1996

Formal method for the design of real-time communicating subsystems and controllers

Diplômé(e) : Tao, Zhongpīng
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1996

Un cadre d'application pour interfaces de gestion OSI

Diplômé(e) : Tessier, Jean
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1996

Test de conformité du protocole de signalisation en mode Trames (Frame Relay)

Diplômé(e) : Ould Mohamed-Salem, Mohamed-Vall
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1994

Étude de traduction entre les langages de spécification SDL et VHDL

Diplômé(e) : Amoussou, Marie Clémence
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1994

Évaluation du flux de données couvert par une suite de tests

Diplômé(e) : Caouette, Clémence
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1994

Traduction d'un sous-ensemble de SDL en Estelle

Diplômé(e) : Thiboutôt, Alain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1994

Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR

Diplômé(e) : Drissi, Jawad
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1993

Génération de tests pour le service de communication personnalisé

Diplômé(e) : Htite, El Houssain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1993

Synthèse de spécifications de protocole à partir de spécifications de service

Diplômé(e) : Antonescu, Christian Kant
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1993

Interconnexion des réseaux assurant le service de communication personnalisé

Diplômé(e) : Dargham, Joumana B.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1993

Modification dynamique des spécifications dans un environnement orienté-objets

Diplômé(e) : Erradi, Mohammed
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1993

The LOTOS language :distributed implementation and fairness

Diplômé(e) : Wu, Cheng
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1993

Synthèse d'algorithmes de contrôle pour environnement réparti

Diplômé(e) : Levy, Michel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1993

Développement d'un environnement de test et de diagnostique

Diplômé(e) : Salvail, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1993

Diagnostic tests for protocol implementations modeled by finite state machines

Diplômé(e) : Ghedamsi, Abderrazak ben Naceur
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1992

Évaluation du langage de spécification MONDEL à la description de protocoles de communication

Diplômé(e) : Poirier, Stéphane
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1992

Sélection de tests pour les protocoles de communication

Diplômé(e) : Dubuc, Martin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1992

Implantation en C++ d'une spécification Mondel du Répertoire OSI

Diplômé(e) : Nadeau, Roch
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1991

Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices

Diplômé(e) : Boucher, Jean
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1991

Analyse en ligne de traces d'exécution appliquée au protocole de transport

Diplômé(e) : Saba, Fayez
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1991

Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri

Diplômé(e) : Barbeau, Michel
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1991

Générateur intelligent de tests adapté au domaine des protocoles de communication

Diplômé(e) : Gamache, Paul
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1990

Analyse automatique de résultats de tests appliquée aux protocoles de communication

Diplômé(e) : Bellal, Omar Bouhafs
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1990

Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services

Diplômé(e) : Amalou, Mokhtar
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
1989

Contribution à la description et à la réalisation de systèmes interactifs

Diplômé(e) : El Iraki, Abdelhamid
Cycle : Doctorat
Diplôme obtenu : Ph. D.
1989

Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS

Diplômé(e) : Khendek, Ferhat
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Projets

Rayonnement

Publications et communications

Disciplines

  • Informatique
  • Informatique de gestion

Champ d’expertise

  • Protocoles de communication
  • Conception de logiciels

Aide en ligne pour votre profil | Nous joindre

Le Répertoire des professeurs est propulsé par les données du SADVR et est un projet du CENR.

Personnes-ressource dans nos équipes
Qui fait quoi?
Formulaires, procédures et systèmes
Formulaires et procédures
Occasions de financement avec PIVOT
PIVOT