Gregor von Bochmann (computer scientist)

Gregor von Bochmann (born 1941 in Schleswig-Holstein) is a German-Canadian computer scientist and emeritus professor of the Université de Montréal and the University of Ottawa.

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.

[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 1980s.