Грегор фон Бохманн (ученый-компьютерщик)
Грегор фон Бохманн (родился в 1941 году в земле Шлезвиг-Гольштейн ) — немецко-канадский ученый-компьютерщик и почетный профессор Университета Монреаля и Университета Оттавы . [1] Он известен своими работами в области разработки протоколов и распределенных приложений .
Биография
[ редактировать ]Грегор фон Бохманн вырос в творческой семье, двое его прадедов были известными художниками ( Грегор фон Бохманн и Ганс Петер Феддерсен ). С 1952 по 1961 год он посещал гимназию Иоганна-Генриха-Фосса в Ойтине . Затем изучал физику в университетах Киля, Тюбингена, Гренобля (Франция) и Мюнхена. Между тем он в течение года учился игре на виолончели и фортепиано в Музыкальной школе Любека . В 1968 году он завершил магистерскую диссертацию о своем участии во втором эксперименте на мюоне g-2 в ЦЕРНе . [2] Затем он переехал в Канаду и в 1971 году защитил докторскую диссертацию в Университете Макгилла в области теоретической физики высоких энергий . Имея опыт программирования на машинах, ассемблере и языках высокого уровня , полученный во время работы над магистерской и докторской диссертациями, он использовал постдокторскую стипендию Национального исследовательского совета Канады, чтобы познакомиться с некоторыми областями информатики. В 1972 году он стал доцентом кафедры информатики Университета Монреаля .
Его первая тема исследования в области информатики была связана с нейронными сетями . [3] Но вскоре он перешел в область конструирования компиляторов и написал статью по описанию семантики языков программирования, которая широко цитировалась. [4] Но в 1975 году он перешел в совершенно новую область компьютерных сетей и сосредоточил свои усилия на описании, проверке и реализации протоколов связи. [5] Он написал основополагающую статью о конечном описании протоколов. [6] и предложил подход анализа достижимости для проверки поведения распределенных систем.
Он также участвовал от имени канадского правительства в международной деятельности по стандартизации «Методы формального описания протоколов и услуг связи», которая проводилась в ISO и ITU в 1980-х годах. Он провел творческий год в 1979–80 годах в Стэнфордском университете и в 1986–87 годах в компании Siemens в Мюнхене . С 1989 по 1997 год он возглавлял кафедру промышленных исследований по тестированию протоколов связи в Университете Монреаля . Он также был научным руководителем Исследовательского центра информатики Монреаля [7] с 1990 по 1997 год. За этот период он организовал множество совместных исследовательских проектов с коллегами из промышленности и университета.
В 1998 году он перешел в Университет Оттавы , где до 2016 года был профессором. За это время его исследования охватывали несколько областей, таких как разработка программного обеспечения для распределенных систем, распределенные мультимедийные приложения, одноранговые системы, процедуры управления оптическими системами. сети и интернет-безопасность.
Награды и членство (выбор)
[ редактировать ]- 1995: Член IEEE с наградой «За вклад в формальную спецификацию протоколов передачи данных». [1]
- 1995: Почетный доктор Гренобльского университета во Франции.
- 1996: член ACM. [8]
- 1997: член Королевского общества Канады. [1]
- 2001: Медаль Томаса В. Иди, врученная Королевским обществом Канады. [1]
- 2002: Премия за выдающиеся достижения в исследованиях Оттавского университета.
- 2008: Золотая медаль Макнотона, врученная IEEE Canada. [9]
- 2012: Почетный доктор Реннского университета во Франции.
Ссылки
[ редактировать ]- ^ Jump up to: а б с д «Грегор фон Бохманн» . Руководитель исследовательской группы Университета Оттавы . Офис вице-президента по исследованиям: Университет Оттавы, Канада . Проверено 28 апреля 2019 г.
- ^ Бейли, Дж.; Бартл, В.; фон Бохманн, Г.; Браун, RCA; Фарли, FJM; Гиш, М.; Йостлейн, Х.; ван дер Меер, С.; Пикассо, Э.; Уильямс, RW (июнь 1972 г.). «Точное измерение аномального магнитного момента мюона». Иль Нуово Чименто А. 9 (4): 369–432. Бибкод : 1972NCimA...9..369B . дои : 10.1007/BF02785248 . S2CID 122810395 .
- ^ Бохманн, Г.В.; Армстронг, WW (март 1974 г.). «Свойства логических функций с древовидной декомпозицией». КУСОЧЕК . 14 (1): 1–13. дои : 10.1007/BF01933112 . S2CID 115132511 .
- ^ Бохманн, Грегор В. (10 февраля 1976 г.). «Семантическая оценка слева направо» . Коммун. АКМ . 19 (2): 55–62. дои : 10.1145/359997.359999 . S2CID 8315317 .
- ^ Бохманн, Грегор против; Рейнер, Дэйв; Уэст, Колин Х. (декабрь 2010 г.). «Некоторые заметки по истории разработки протоколов». Компьютерные сети . 54 (18): 3197–3209. дои : 10.1016/j.comnet.2010.05.019 .
- ^ Бохманн, Грегор В. (сентябрь 1978 г.). «Конечное состояние протоколов связи». Компьютерные сети . 2 (4–5): 361–372. дои : 10.1016/0376-5075(78)90015-6 .
- ^ "Дом" . www.crim.ca.
- ^ «Грегор V Бохманн» . Ассоциация вычислительной техники . Стипендиаты ACM, Канада – 1996: ACM . Проверено 28 апреля 2019 г.
{{cite web}}: CS1 maint: местоположение ( ссылка ) - ^ «Лауреаты премии AGL McNaughton Award» . IEEE Канада . 011: Грегор В. Бохманн: Институт инженеров по электротехнике и электронике. 16 октября 2015 г. Проверено 28 апреля 2019 г.
{{cite web}}: CS1 maint: местоположение ( ссылка )
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
