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