
Gregor V. Bochmann
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)
Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Cadre conceptuel pour la composition des objets et la spécification du comportement
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Vers la construction automatique d'un module inconnu dans un système composé
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation du protocole de signalisation ATM en utilisant une spécification SDL
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
On conformance testing of systems communicating by Rendezvous
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Routage inter-domaines dans les réseaux ATM
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués
Cycle : Doctorat
Diplôme obtenu : Ph. D.
On the development of conformance test suites in view of their fault coverage
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Construction incrémentielle de spécifications pour systèmes distribués
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Formal method for the design of real-time communicating subsystems and controllers
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Un cadre d'application pour interfaces de gestion OSI
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Étude de traduction entre les langages de spécification SDL et VHDL
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Évaluation du flux de données couvert par une suite de tests
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Traduction d'un sous-ensemble de SDL en Estelle
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Génération de tests pour le service de communication personnalisé
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Synthèse de spécifications de protocole à partir de spécifications de service
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Interconnexion des réseaux assurant le service de communication personnalisé
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Modification dynamique des spécifications dans un environnement orienté-objets
Cycle : Doctorat
Diplôme obtenu : Ph. D.
The LOTOS language :distributed implementation and fairness
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Synthèse d'algorithmes de contrôle pour environnement réparti
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Développement d'un environnement de test et de diagnostique
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Diagnostic tests for protocol implementations modeled by finite state machines
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Évaluation du langage de spécification MONDEL à la description de protocoles de communication
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Sélection de tests pour les protocoles de communication
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Implantation en C++ d'une spécification Mondel du Répertoire OSI
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
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse en ligne de traces d'exécution appliquée au protocole de transport
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
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Générateur intelligent de tests adapté au domaine des protocoles de communication
Cycle : Maîtrise
Diplôme obtenu : M. Sc.
Analyse automatique de résultats de tests appliquée aux protocoles de communication
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
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
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Contribution à la description et à la réalisation de systèmes interactifs
Cycle : Doctorat
Diplôme obtenu : Ph. D.
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
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.