Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Gregor V. Bochmann

Vcard

Professeur émérite

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

Courriels

bochmann@site.uOttawa.ca (Travail)

Travail 1 : 613 562-5800 #6205

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.

Lire plus…

Expertises

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é.

Encadrement Tout déplier Tout replier

Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java Thèses et mémoires dirigés / 2000 - 2000
Diplômé(e) : Ghlamallah, Adel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cadre conceptuel pour la composition des objets et la spécification du comportement Thèses et mémoires dirigés / 2000 - 2000
Diplômé(e) : Ramazani, Dunia
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Vers la construction automatique d'un module inconnu dans un système composé Thèses et mémoires dirigés / 2000 - 2000
Diplômé(e) : Drissi, Jawad
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation Thèses et mémoires dirigés / 1999 - 1999
Diplômé(e) : Mekouar, Loubna
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI Thèses et mémoires dirigés / 1999 - 1999
Diplômé(e) : Maguiraga, Saoudatou
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation du protocole de signalisation ATM en utilisant une spécification SDL Thèses et mémoires dirigés / 1998 - 1998
Diplômé(e) : Marcoci, Roxana-Irina
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
On conformance testing of systems communicating by Rendezvous Thèses et mémoires dirigés / 1998 - 1998
Diplômé(e) : Tan, Qiang-Ming
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau Thèses et mémoires dirigés / 1998 - 1998
Diplômé(e) : Chaker, Kamel Yahia
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication Thèses et mémoires dirigés / 1998 - 1998
Diplômé(e) : Soukeur, Abdelouahed
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Routage inter-domaines dans les réseaux ATM Thèses et mémoires dirigés / 1997 - 1997
Diplômé(e) : Ould Ahmed Ould Bah, Brahim
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués Thèses et mémoires dirigés / 1997 - 1997
Diplômé(e) : Dini, Petre
Cycle : Doctorat
Diplôme obtenu : Ph. D.
On the development of conformance test suites in view of their fault coverage Thèses et mémoires dirigés / 1996 - 1996
Diplômé(e) : Yao, Mingyu
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Construction incrémentielle de spécifications pour systèmes distribués Thèses et mémoires dirigés / 1996 - 1996
Diplômé(e) : Khendek, Ferhat
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Formal method for the design of real-time communicating subsystems and controllers Thèses et mémoires dirigés / 1996 - 1996
Diplômé(e) : Tao, Zhongpīng
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Un cadre d'application pour interfaces de gestion OSI Thèses et mémoires dirigés / 1996 - 1996
Diplômé(e) : Tessier, Jean
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Test de conformité du protocole de signalisation en mode Trames (Frame Relay) Thèses et mémoires dirigés / 1996 - 1996
Diplômé(e) : Ould Mohamed-Salem, Mohamed-Vall
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Étude de traduction entre les langages de spécification SDL et VHDL Thèses et mémoires dirigés / 1994 - 1994
Diplômé(e) : Amoussou, Marie Clémence
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Évaluation du flux de données couvert par une suite de tests Thèses et mémoires dirigés / 1994 - 1994
Diplômé(e) : Caouette, Clémence
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Traduction d'un sous-ensemble de SDL en Estelle Thèses et mémoires dirigés / 1994 - 1994
Diplômé(e) : Thiboutôt, Alain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR Thèses et mémoires dirigés / 1994 - 1994
Diplômé(e) : Drissi, Jawad
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Génération de tests pour le service de communication personnalisé Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Htite, El Houssain
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Synthèse de spécifications de protocole à partir de spécifications de service Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Antonescu, Christian Kant
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Interconnexion des réseaux assurant le service de communication personnalisé Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Dargham, Joumana B.
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modification dynamique des spécifications dans un environnement orienté-objets Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Erradi, Mohammed
Cycle : Doctorat
Diplôme obtenu : Ph. D.
The LOTOS language :distributed implementation and fairness Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Wu, Cheng
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Synthèse d'algorithmes de contrôle pour environnement réparti Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Levy, Michel
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un environnement de test et de diagnostique Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Salvail, Pierre
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Diagnostic tests for protocol implementations modeled by finite state machines Thèses et mémoires dirigés / 1993 - 1993
Diplômé(e) : Ghedamsi, Abderrazak ben Naceur
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Évaluation du langage de spécification MONDEL à la description de protocoles de communication Thèses et mémoires dirigés / 1992 - 1992
Diplômé(e) : Poirier, Stéphane
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents Thèses et mémoires dirigés / 1992 - 1992
Diplômé(e) : Ramazani, Dunia
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Sélection de tests pour les protocoles de communication Thèses et mémoires dirigés / 1992 - 1992
Diplômé(e) : Dubuc, Martin
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation en C++ d'une spécification Mondel du Répertoire OSI Thèses et mémoires dirigés / 1992 - 1992
Diplômé(e) : Nadeau, Roch
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices Thèses et mémoires dirigés / 1991 - 1991
Diplômé(e) : Boucher, Jean
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse en ligne de traces d'exécution appliquée au protocole de transport Thèses et mémoires dirigés / 1991 - 1991
Diplômé(e) : Saba, Fayez
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri Thèses et mémoires dirigés / 1991 - 1991
Diplômé(e) : Barbeau, Michel
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Générateur intelligent de tests adapté au domaine des protocoles de communication Thèses et mémoires dirigés / 1991 - 1991
Diplômé(e) : Gamache, Paul
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse automatique de résultats de tests appliquée aux protocoles de communication Thèses et mémoires dirigés / 1990 - 1990
Diplômé(e) : Bellal, Omar Bouhafs
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services Thèses et mémoires dirigés / 1990 - 1990
Diplômé(e) : Amalou, Mokhtar
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée Thèses et mémoires dirigés / 1989 - 1989
Diplômé(e) : Girard, Paul
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Contribution à la description et à la réalisation de systèmes interactifs Thèses et mémoires dirigés / 1989 - 1989
Diplômé(e) : El Iraki, Abdelhamid
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS Thèses et mémoires dirigés / 1989 - 1989
Diplômé(e) : Khendek, Ferhat
Cycle : Maîtrise
Diplôme obtenu : M. Sc.

Prix et distinctions

  • Prix Urgel-Archambault, Association francophone pour le savoir (Acfas), 1988.
  • Société royale du Canada : Les Académies des arts, des lettres et des sciences du Canada, Société royale du Canada, 1997.
  • 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)

Informations supplémentaires

Médias

Portrait du chercheur

Consultez cette fiche sur :