Нико Хаберманн
Ария Николаас Хаберманн | |
---|---|
Рожденный | |
Умер | 8 августа 1993 г. | ( 61 год
Образование | Свободный университет Амстердама (BS, 1953; MS, 1958) Эйндховенский технологический университет (доктор философии, 1967 г.) |
Известный | Операционные системы , разработка программного обеспечения , межпроцессное взаимодействие , синхронизация процессов, предотвращение взаимоблокировок , верификация программного обеспечения , работа над языками программирования ALGOL 60 , BLISS , Pascal , Ada |
Научная карьера | |
Поля | Информатика |
Учреждения | Университет Карнеги-Меллон (1968–1993) Университет Ньюкасла (1973) Технический университет Берлина (1976) Шанхайский университет Цзяо Тонг (1986–1993) |
Диссертация | (1967) |
Докторантура | Эдсгер Дейкстра |
Арье Николаас Хаберманн (26 июня 1932 — 8 августа 1993), часто известный как Нико Хаберманн , был известным голландским учёным-компьютерщиком . [1] [2]
Хаберманн родился в Гронингене , Нидерланды , и получил степень бакалавра математики и физики и магистра математики в Свободном университете Амстердама в 1953 и 1958 годах. После работы учителем математики в 1967 году он получил докторскую степень. Получил степень бакалавра прикладной математики в Технологическом университете Эйндховена под руководством Эдсгера Дейкстры .
В 1968 году Хаберманна пригласили присоединиться к факультету информатики Университета Карнеги-Меллон в качестве приглашенного ученого-исследователя. В 1969 году он был назначен доцентом , в 1974 году — профессором, в 1979 году — исполняющим обязанности заведующего кафедрой. [3] и заведующий отделом с 1980 по 1988 год, после чего он был назначен деканом новой школы компьютерных наук (созданной под руководством Аллена Ньюэлла и Герберта А. Саймона ). Карнеги-Меллона В 1985 году он также стал соучредителем Института программной инженерии (SEI) .
Исследования Хабермана включали языки программирования , операционные системы и разработку крупных программных систем. Он был известен своими работами в области межпроцессного взаимодействия , синхронизации процессов и предотвращения взаимоблокировок , а также верификации программного обеспечения , но особенно в области языков программирования ALGOL 60 , BLISS , Pascal и Ada . Он также внес вклад в создание новых операционных систем, таких как Эдсгера Дейкстры THE мультипрограммная система , семейство операционных систем (FAMOS) в Карнеги-Меллоне, берлинская динамически адаптируемая система (DAS) и Unix .
Хаберманн работал приглашенным профессором в Университете Ньюкасл-апон-Тайн (1973 г.) и Берлинском техническом университете (1976 г.), а также адъюнкт-профессором в Шанхайском университете Цзяо Тонг (1986–1993 гг.).
В 1994 году Ассоциация компьютерных исследований начала вручать премию А. Нико Хабермана людям за работу, которая увеличивает участие недостаточно представленных сообществ в компьютерных исследованиях.
Ссылки
[ редактировать ]- ^ Ноткин, Дэвид (октябрь 1993 г.). «Нико Хаберманн вспомнил». Заметки по разработке программного обеспечения ACM SIGSOFT . 18 (4): 1. дои : 10.1145/163626.163627 . S2CID 26865373 .
- ^ «А. Нико Хаберманн». Анналы истории вычислительной техники . 15 (4): 86. 1993.
- ^ «А.Н. Хаберманн, 62 года, декан компьютерной школы» . Нью-Йорк Таймс . 11 августа 1993 года.