ニコ・ハーバーマン

アリー・ニコラース・ハーバーマン (Arie Nicolaas Habermann 、1932 年 6 月 26 日 – 1993 年 8 月 8 日) は、 AN ハーバーマンまたはニコ・ハーバーマンとして知られる^[1]オランダの コンピューター科学者です。^{[2] [3]}

ハーバーマンはオランダのフローニンゲンで生まれ、 1953年と1958年にアムステルダム自由大学で数学と物理学の学士号、数学の修士号を取得しました。数学教師として働いた後、1967年にエドガー・ダイクストラの指導の下、アイントホーフェン工科大学で応用数学の博士号を取得しました。

1968年、ハーバーマンはカーネギーメロン大学のコンピュータサイエンス学部に客員研究員として招かれた。1969年に准教授に任命され、1974年に教授となり、1979年には学部長代理、^{[4] 、1980年から1988年まで学部長を務め、その後、新設のコンピュータサイエンス学部（}アレン・ニューウェルとハーバート・A・サイモンによって設立）の学部長に任命された。1985年にはカーネギーメロン大学のソフトウェアエンジニアリング研究所（SEI） の共同設立者でもある。

ハーバーマンの研究対象には、プログラミング言語、オペレーティングシステム、大規模ソフトウェアシステムの開発などが含まれていた。彼は、プロセス間通信、プロセス同期とデッドロック回避、ソフトウェア検証に関する研究で知られていたが、特にプログラミング言語の ALGOL 60、BLISS、Pascal、Adaで知られていた。また、エドガー・ダイクストラのTHE マルチプログラミングシステム、カーネギーメロン大学の Family of Operating Systems (FAMOS)、ベルリンの Dynamically Adaptable System (DAS)、Unixなどの新しいオペレーティングシステムにも貢献した。

ハーバーマンは、ニューカッスル大学（1973年）、ベルリン工科大学（1976年）の客員教授を務め、上海交通大学の非常勤教授（1986～1993年）も務めた。

1994 年、コンピューティング研究協会は、コンピュータ研究における過小評価されているコミュニティの関与を高める活動に対して A. Nico Habermann 賞を授与し始めました。

• カーネギーメロン大学アーカイブ
• ニコの学生時代の木、1990年