アミール・プヌーリ

アミール・プヌーリ、ア（ー）ミール・ペヌーエーリー、アミル・ペヌエリ（ a(ā)mīr pənū’ēlī; Amir Pnueli、1941年4月22日 - 2009年11月2日）は、イスラエル人の計算機科学者。

生涯 
イスラエルので生まれ、ハイファのイスラエル工科大学で数学の学士号を取得。ワイツマン科学研究所で数学の博士号を取得した。学位論文テーマは "Calculation of Tides in the Ocean"（海洋潮汐の計算）。

スタンフォード大学でのポスドク期間中に計算機科学に転向。主な研究領域は時相論理とモデル検査で、並行プロセスの公平性についても研究していた。

研究者としてイスラエルに帰国し、テルアビブ大学の計算機科学科創設に尽力し、初代学科長となった。1981年にワイツマン研究所の計算機科学の教授に就任。1999年から亡くなるまで、ニューヨーク大学の計算機科学部門でも地位を得ていた。

プヌーリは2回、先端技術企業を創設したことがある。3人の子をもうけ、亡くなった時には孫が4人いた。

2009年11月2日、脳内出血で死去。享年68。

受賞歴 
 1996年 - チューリング賞。受賞理由は「計算機科学に時相論理を導入した独創的業績とプログラムやシステムの検証への多大な貢献に対して」
 1999年 - 全米技術アカデミー外国人会員
 2000年 - イスラエル賞
 2007年 - Association for Computing Machinery (ACM) フェロー

ワイツマン科学研究所はプヌーリの功績を称えて、一連の記念講演を開催している。

出典

外部リンク 
 Amir Pnueli's home page New York University homepage
 Short biography of Amir Pnueli Harel
 Weizmann Institute homepage
 Profile

イスラエルの計算機科学者
アメリカ合衆国の計算機科学者
イスラエルの工学者
プログラミング言語研究者
チューリング賞受賞者
イスラエル賞受賞者
ACMソフトウェアシステム賞の受賞者
イスラエル科学・人文アカデミー会員
全米技術アカデミー外国人会員
形式手法の人物
時相論理
ニューヨーク大学の教員
ワイツマン科学研究所の教員
テルアビブ大学の教員
ACMフェロー
イスラエル工科大学出身の人物
ユダヤ系アメリカ人
ユダヤ系イスラエル人
イスラエル北部地区出身の人物
1941年生
2009年没