Gregor von Bochmann (informatyk)

Ten artykuł dotyczy informatyka. Informacje o pejzażystach i artystach gatunkowych można znaleźć w artykule Gregor von Bochmann .

Gregor von Bochmann, 2016

Gregor von Bochmann (ur. 1941 w Szlezwiku-Holsztynie ) to niemiecko-kanadyjski informatyk i emerytowany profesor Université de Montréal i University of Ottawa . Znany jest ze swojej pracy w dziedzinie inżynierii protokołów i aplikacji rozproszonych .

Biografia

Gregor von Bochmann dorastał w artystycznej rodzinie, dwóch jego pradziadków było znanymi malarzami ( Grego von Bochmann i Hans Peter Feddersen ). Od 1952 do 1961 uczęszczał do Johann-Heinrich-Voß-Gymnasium w Eutin . Następnie studiował fizykę na uniwersytetach w Kilonii, Tybindze, Grenoble (Francja) i Monachium. W międzyczasie studiował przez rok grę na wiolonczeli i fortepianie w Musikhochschule Lübeck . W 1968 roku obronił pracę magisterską o swoim udziale w eksperymencie drugiego mionu g-2 w CERN . Następnie przeniósł się do Kanady i w 1971 roku obronił doktorat na Uniwersytecie McGill w dziedzinie teoretycznej fizyki wysokich energii . Dzięki doświadczeniu programistycznemu w języku maszynowym, asemblerze i językach wysokiego poziomu zdobytemu podczas pracy nad pracami magisterskimi i doktoranckimi, wykorzystał stypendium podoktoranckie National Research Council of Canada, aby zapoznać się z niektórymi dziedzinami informatyki. 1972 został adiunktem na wydziale informatyki Université de Montréal .

Jego pierwszy temat badawczy w dziedzinie informatyki był związany z sieciami neuronowymi . Ale wkrótce przeniósł się do dziedziny budowy kompilatorów i napisał artykuł na temat opisu semantyki języków programowania, który był często cytowany. Ale w 1975 roku przeniósł się do zupełnie nowej dziedziny sieci komputerowych i skoncentrował swoje wysiłki na opisie, weryfikacji i implementacji protokołów komunikacyjnych. Napisał przełomową pracę na temat skończonego opisu stanu protokołów i zaproponował podejście analizy osiągalności do weryfikacji zachowania systemów rozproszonych.

Uczestniczył również w imieniu rządu kanadyjskiego w międzynarodowych działaniach normalizacyjnych dotyczących „Technik formalnego opisu protokołów i usług komunikacyjnych”, które miały miejsce w ISO i ITU w latach 80-tych. W latach 1979-80 spędził urlop naukowy na Uniwersytecie Stanforda , aw latach 1986-87 w firmie Siemens w Monachium . W latach 1989-1997 kierował „Katedrą Badań Przemysłowych” zajmującą się testowaniem protokołów komunikacyjnych na Université de Montréal . Był także dyrektorem naukowym Centre de recherche en informatique de Montréal od 1990 do 1997. W tym okresie zorganizował wiele wspólnych projektów badawczych z kolegami z przemysłu i uniwersytetów.

W 1998 roku przeniósł się na Uniwersytet w Ottawie , gdzie był profesorem zwyczajnym do 2016 roku. W tym czasie jego badania obejmowały kilka obszarów, takich jak inżynieria oprogramowania dla systemów rozproszonych, rozproszone aplikacje multimedialne, systemy peer-to-peer, procedury kontrolne dla systemów optycznych sieci i bezpieczeństwo w Internecie.

Nagrody i członkostwa (wybór)

• 1995: Członek IEEE z cytatem „Za wkład w formalną specyfikację protokołów transmisji danych”.
• 1995: doktorat honoris causa Uniwersytetu w Grenoble we Francji
• 1996: członek ACM
• 1997: Członek Królewskiego Towarzystwa Kanady
• 2001: Medal Thomasa W. Eadie nadany przez Royal Society of Canada
• 2002: Nagroda za doskonałość w badaniach z University of Ottawa
• 2008: Złoty Medal McNaughtona nadany przez IEEE Canada
• 2012: Doktorat honoris causa Uniwersytetu w Rennes we Francji

Linki zewnętrzne

• strona główna na Uniwersytecie w Ottawie