Gregor v. Bochmann

Ph.D. in physics, McGill University, Montréal, 1971

Fellow of IEEE and ACM, doctor honoris causa of the Universities of Grenoble and Rennes (France), Fellow of the Royal Society of Canada


Research interests

Communication protocols, software engineering, formal specifications, verification and validation, distributed systems, Web Services, distributed and mobile multimedia applications, peer-to-peer systems, optical networks, real-time systems

My research group works on methods for the development of communication protocols and distributed systems, on the use of formal methods for the analysis, design and implementation of communication protocols, and software development in general. Practical applications of these methods are pursued in relation with network protocols (e.g. Internet and optical networks), Web Services, workflow management, and peer-to-peer systems. In the past, we have also done much work in the areas of quality of service management for distributed multimedia applications and development of test suites with known fault coverage, diagnostics and testability.

Since January 1998, I am with the University of Ottawa. From 2003 through 2019, I was the leader of the "Architecture and Networks" theme of the Agile All-Photonic Networks project, an NSERC Research Network. From 1972 through 1997, I was professor at the University of Montreal and held the Hewlett-Packard - NSERC - CITI Industrial Research Chair from 1989 through 1997. From 1990 to 1997, I was also a scientific director of the Centre de recherche informatique de Montreal (CRIM).




Contact information (campus map - parking lots)

School of Electrical Engineering and Computer Science (EECS), University of Ottawa
P.O. Box 450, Stn A,
Ottawa, Ontario, Canada, K1N 6N5
Tel: (613) 562 5800 ext. 6205; Fax. (613) 562-5664
Office: 800 King Edward Ave (room 5082; delivery: room 5105)

Last update: May 2016