Gregor von Bochmann (computer scientist)

Source: Wikipedia, the free encyclopedia.
This article is about the computer scientist. For the landscape and genre artist, see Gregor von Bochmann.
Gregor von Bochmann, 2016

Gregor von Bochmann (born 1941 in

distributed applications
.

Biography

Gregor von Bochmann grew up in an artistic family, two of his great-grandfathers being well-known painters (

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 1980s. He spent a sabbatical year in 1979-80 at

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 [fr][7]
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. ^ a b c d "Gregor Von Bochmann". University of Ottawa Research people directo. Office of the Vice-President, Research: University of Ottawa, Canada. Retrieved 28 April 2019.
  2. S2CID 122810395
    .
  3. S2CID 115132511
    .
  4. S2CID 8315317
    .
  5. doi:10.1016/j.comnet.2010.05.019
    .
  6. doi:10.1016/0376-5075(78)90015-6
    .
  7. ^ "Home". www.crim.ca.
  8. ^ "Gregor V Bochmann". Association for Computing Machinery. ACM Fellows Canada - 1996: ACM. Retrieved 28 April 2019.{{cite web}}: CS1 maint: location (link)
  9. ^ "Recipients of A.G.L. McNaughton Award". IEEE Canada. 011: Gregor V. Bochmann: Institute of Electrical and Electronics Engineers. 16 October 2015. Retrieved 28 April 2019.{{cite web}}: CS1 maint: location (link)

External links

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