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, peer-to-peer systems, and analysis of Rich Internet Applications. 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.


Graduate supervision

Some useful pointers

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. 2191
Office: 800 King Edward Ave (room 4009 B; delivery: room 5105)

Last update: Nov. 2016