Gregor von Bochmann (datavetare)

Den här artikeln handlar om datavetaren. För landskaps- och genrekonstnären, se Gregor von Bochmann .

Gregor von Bochmann, 2016

Gregor von Bochmann (född 1941 i Schleswig-Holstein ) är en tysk-kanadensisk datavetare och emeritusprofessor vid Université de Montréal och University of Ottawa . Han är känd för sitt arbete inom området protokollteknik och distribuerade applikationer .

Biografi

Gregor von Bochmann växte upp i en konstnärlig familj, två av hans farfarsfäder var välkända målare ( Gregor von Bochmann och Hans Peter Feddersen) . Från 1952 till 1961 gick han på Johann-Heinrich-Voß-Gymnasium i Eutin . Därefter studerade han fysik vid universiteten i Kiel, Tübingen, Grenoble (Frankrike) och München. Däremellan studerade han ett år cello och piano vid Musikhochschule Lübeck . Han avslutade sin masterexamen 1968 med en avhandling om sitt deltagande i det andra muon g-2- experimentet vid CERN . Sedan flyttade han till Kanada och avslutade sin doktorsexamen 1971 vid McGill University inom området teoretisk högenergifysik . Med programmeringserfarenhet av maskin-, assembler- och högnivåspråk som erhölls under sitt arbete med master- och doktorsavhandlingarna använde han ett postdoktoralt stipendium från National Research Council of Canada för att bli bekant med vissa områden inom datavetenskap. 1972 blev han biträdande professor vid datavetenskapsavdelningen vid Université de Montréal .

Hans första forskningsämne inom datavetenskap var relaterat till neurala nätverk . Men snart flyttade han till området för kompilatorkonstruktion och skrev en uppsats om beskrivningen av programmeringsspråkens semantik som citerades mycket. Men 1975 flyttade han till det mycket nya området datornätverk och koncentrerade sina ansträngningar på beskrivning, verifiering och implementering av kommunikationsprotokoll. Han skrev en framträdande artikel om finita tillståndsbeskrivning av protokoll och föreslog tillvägagångssättet för nåbarhetsanalys för verifiering av beteendet hos distribuerade system.

Han deltog också, i den kanadensiska regeringens namn, i de internationella standardiseringsaktiviteterna om "Formella beskrivningstekniker för kommunikationsprotokoll och tjänster" som ägde rum i ISO och ITU under 1980-talet. Han tillbringade ett sabbatsår 1979-80 vid Stanford University och 1986-87 hos Siemens i München . Från 1989 till 1997 innehade han "Industrial Research Chair" för att testa kommunikationsprotokoll vid Université de Montréal . Han var också vetenskaplig chef för Centre de recherche en informatique de Montréal [ 1990 till 1997. Under denna period organiserade han många forskningssamarbeten med industri- och universitetskollegor.

1998 flyttade han till University of Ottawa där han var professor fram till 2016. Under denna tid täckte hans forskning flera områden, såsom mjukvaruteknik för distribuerade system, distribuerade multimediaapplikationer, peer-to-peer-system, kontrollprocedurer för optik nätverk och Internetsäkerhet.

Utmärkelser och medlemskap (urval)

• 1995: Fellow i IEEE med citatet "För bidrag till den formella specifikationen av protokoll för datakommunikation".
• 1995: Hedersdoktor vid universitetet i Grenoble i Frankrike
• 1996: Fellow i ACM
• 1997: Fellow i Royal Society of Canada
• 2001: Thomas W. Eadie-medalj ges av Royal Society of Canada
• 2002: Pris för excellens i forskning från University of Ottawa
• 2008: McNaughton guldmedalj ges av IEEE Kanada
• 2012: Hedersdoktor vid universitetet i Rennes i Frankrike

externa länkar

• hemsida vid University of Ottawa