Jump to content

Gregor von Bochmann (computer scientist)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by PrimeBOT (talk | contribs) at 00:59, 3 October 2018 (→References: Task 2 - disable cats per WP:DRAFTNOCAT). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Gregor von Bochmann (computer scientist) (* 1941 in Schleswig-Holstein) is a german-canadian computer scientist and emeritus professor of the Université de Montréal and the University of Ottawa. He is known for his work in the area of protocol engineering and distributed applications.

Gregor von Bochmann, 2016

Biography

Gregor von Bochmann grew up in an artistic family, two of his great-grandfathers being well-known painters [1]. From 1952 to 1961, he attended the Johann-Heinrich-Voß-Gymnasium in Eutin. Then he studied physics at the universities of Kiel, Tübingen, Grenoble (France) and München. In between, he studied for one year cello and piano at the Musikhochschule Lübeck. He completed his Master in 1968 with a thesis about his participation in the second Muon g-2 experiment at CERN [2]. Then he moved to Canada and completed his PhD in 1971 at McGill University in the field of theoretical high-energy physics. With programming experience in machine, assembler and high-level languages obtained during his work on the master and PhD theses, he used a post-doctoral scholarship from the National Research Council of Canada to get familiar with certain fields of computer science. 1972 he became assistant professor in the computer science department of the Université de Montréal.

His first research topic in computer science was related to neural networks [3]. But soon he moved to the field of compiler construction, and wrote a paper on the description of the semantics of programming languages which was much cited [4]. But in 1975 he moved to the very new field of computer networks and concentrated his efforts on the description, verification and implementation of communication protocols [5]. He wrote a seminal paper on finite state description of protocols [6] and proposed the approach of reachability analysis for the verification of the behavior of distributed systems.

He participated also, in the name of the Canadian government, in the international standardization activities on "Formal Description Techniques for communication protocols and services" that took place in ISO and ITU during the 1980ies. He spent a sabbattical year in 1979-80 at Stanford University and in 1986-87 with Siemens in München. From 1989 to 1997, he held the "Industrial Research Chair" on testing communication protocols at the Université de Montréal. He was also a scientific director of the Centre de recherche en informatique de Montréal from 1990 to 1997. During this period, he organized many collaborative research projects with industry and university colleagues.

In 1998 he moved to the University of Ottawa where he was full professor until 2016. During this time, his research covered several areas, such as software engineering for distributed systems, distributed multimedia applications, peer-to-peer systems, control procedures for optical networks, and Internet security.

Awards and memberships (selection)

References

  1. ^ Gregor von Bochmann and Hans Peter Feddersen
  2. ^ Precise measurement of the anomalous magnetic moment of the muon
  3. ^ Properties of boolean functions with a tree decomposition
  4. ^ Semantic evaluation from left to right
  5. ^ Some notes on the history of protocol engineering
  6. ^ Finite state description of communication protocols
  7. ^ IEEE Fellows Directory
  8. ^ List of Fellows of the Association for Computing Machinery
  9. ^ List of the RSC Fellows
  10. ^ Recipients of A.G.L. McNaughton Award


Category:1941 births Category:Canadian computer scientists Category:McGill University alumni Category:University of Ottawa faculty Category:Fellows of the Royal Society of Canada Category:Fellows of the Association for Computing Machinery Category:Fellow Members of the IEEE

Retrieved from "https://en.wikipedia.org/w/index.php?title=Gregor_von_Bochmann_(computer_scientist)&oldid=862231795"