
Gregor V. Bochmann
Media
Profile
Research expertise
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é.
Biography
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.
Awards and recognitions
- 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)
For more information…
Teaching and supervision
Student supervision
Theses and dissertation supervision (Papyrus Institutional Repository)
Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
Cycle : Master's
Grade : M. Sc.
Cadre conceptuel pour la composition des objets et la spécification du comportement
Cycle : Doctoral
Grade : Ph. D.
Vers la construction automatique d'un module inconnu dans un système composé
Cycle : Doctoral
Grade : Ph. D.
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation
Cycle : Master's
Grade : M. Sc.
Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI
Cycle : Master's
Grade : M. Sc.
Implantation du protocole de signalisation ATM en utilisant une spécification SDL
Cycle : Master's
Grade : M. Sc.
On conformance testing of systems communicating by Rendezvous
Cycle : Doctoral
Grade : Ph. D.
Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau
Cycle : Master's
Grade : M. Sc.
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
Cycle : Master's
Grade : M. Sc.
Routage inter-domaines dans les réseaux ATM
Cycle : Master's
Grade : M. Sc.
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués
Cycle : Doctoral
Grade : Ph. D.
On the development of conformance test suites in view of their fault coverage
Cycle : Doctoral
Grade : Ph. D.
Construction incrémentielle de spécifications pour systèmes distribués
Cycle : Doctoral
Grade : Ph. D.
Formal method for the design of real-time communicating subsystems and controllers
Cycle : Doctoral
Grade : Ph. D.
Un cadre d'application pour interfaces de gestion OSI
Cycle : Master's
Grade : M. Sc.
Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
Cycle : Master's
Grade : M. Sc.
Étude de traduction entre les langages de spécification SDL et VHDL
Cycle : Master's
Grade : M. Sc.
Évaluation du flux de données couvert par une suite de tests
Cycle : Master's
Grade : M. Sc.
Traduction d'un sous-ensemble de SDL en Estelle
Cycle : Master's
Grade : M. Sc.
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
Cycle : Master's
Grade : M. Sc.
Génération de tests pour le service de communication personnalisé
Cycle : Master's
Grade : M. Sc.
Synthèse de spécifications de protocole à partir de spécifications de service
Cycle : Doctoral
Grade : Ph. D.
Interconnexion des réseaux assurant le service de communication personnalisé
Cycle : Master's
Grade : M. Sc.
Modification dynamique des spécifications dans un environnement orienté-objets
Cycle : Doctoral
Grade : Ph. D.
The LOTOS language :distributed implementation and fairness
Cycle : Doctoral
Grade : Ph. D.
Synthèse d'algorithmes de contrôle pour environnement réparti
Cycle : Master's
Grade : M. Sc.
Développement d'un environnement de test et de diagnostique
Cycle : Master's
Grade : M. Sc.
Diagnostic tests for protocol implementations modeled by finite state machines
Cycle : Doctoral
Grade : Ph. D.
Évaluation du langage de spécification MONDEL à la description de protocoles de communication
Cycle : Master's
Grade : M. Sc.
Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents
Cycle : Master's
Grade : M. Sc.
Sélection de tests pour les protocoles de communication
Cycle : Master's
Grade : M. Sc.
Implantation en C++ d'une spécification Mondel du Répertoire OSI
Cycle : Master's
Grade : M. Sc.
Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices
Cycle : Master's
Grade : M. Sc.
Analyse en ligne de traces d'exécution appliquée au protocole de transport
Cycle : Master's
Grade : M. Sc.
Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri
Cycle : Doctoral
Grade : Ph. D.
Générateur intelligent de tests adapté au domaine des protocoles de communication
Cycle : Master's
Grade : M. Sc.
Analyse automatique de résultats de tests appliquée aux protocoles de communication
Cycle : Master's
Grade : M. Sc.
Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
Cycle : Master's
Grade : 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
Cycle : Doctoral
Grade : Ph. D.
Contribution à la description et à la réalisation de systèmes interactifs
Cycle : Doctoral
Grade : Ph. D.
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
Cycle : Master's
Grade : M. Sc.
Disciplines
- Computer Science
- Administrative Computing
Areas of expertise
- Communication protocol
- Software design
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.