アミール・プヌエリ

アミール・プヌエリ
アミール・プヌエリ
生まれる	1941年4月22日; ナハラール、パレスチナ委任統治者
死亡	2009年11月2日（68歳）; ニューヨーク、アメリカ合衆国
国籍	イスラエル
受賞歴	チューリング賞（1996年）; イスラエル賞
	科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	テルアビブ大学; ワイツマン研究所; ニューヨーク大学; ペンシルベニア大学; スタンフォード大学
博士課程の学生	モルデハイ・ベンアリ; ダナ・フィスマン; ニシム・フランセ; ドロン・A・ペレド; オフェル・ストリッチマン; レノア・ザック;

アミール・プヌエリ（ヘブライ語：אמיר פנואלי、1941年4月22日 - 2009年11月2日）は、イスラエルのコンピュータ科学者であり、1996年のチューリング賞受賞者である。

バイオグラフィー

プヌエリは、イギリス委任統治領パレスチナ（現在はイスラエル）のナハラルで生まれ、ハイファ工科大学で数学の学士号を取得し、ワイツマン科学研究所で応用数学の博士号（1967年）を取得した。^{[1]彼の論文のテーマは「海洋の潮汐の計算」であった。彼は、}スタンフォード大学で博士研究員として働いていた間に、コンピュータサイエンスに転向した。彼のコンピュータサイエンスにおける研究は、特に並行システムの公平性に関する、時相論理とモデル検査に焦点を当てていた。^[2]

彼は研究者としてイスラエルに戻り、テルアビブ大学のコンピュータサイエンス学部の創設者兼初代学部長となった。1981年にはワイツマン研究所のコンピュータサイエンスの教授となった。 1999年から死去するまで、プヌエリは米国ニューヨーク州ニューヨーク大学のコンピュータサイエンス学部でも職を務めた^{[2] 。また、}ペンシルベニア大学とジョセフ・フーリエ大学でも准教授を務めた^[3]。

プヌエリはキャリアの中で2つのスタートアップテクノロジー企業も設立した。彼には3人の子供がおり、死去時には4人の孫がいた。^[2]

プヌエリは2009年11月2日に脳出血で亡くなった。^[2]^[4]^[5]

1996 年、プヌエリは、コンピューティングサイエンスに時相論理を導入した先駆的な研究と、プログラムおよびシステムの検証に対する顕著な貢献により、チューリング賞を受賞しました。
1997年5月30日、プヌエリはスウェーデンのウプサラ大学理工学部から名誉博士号を授与された。^[6]
1999年、米国工学アカデミーの外国人会員に選出された。
2000年に彼はコンピュータサイエンス分野でイスラエル賞を受賞した。^[7]^[8]
2007年、彼はAssociation for Computing Machineryのフェローに選出された。
ワイツマン科学研究所は彼を称えて記念講演シリーズを開催した。[1]

^ 「Amir Pnueli」.数学系譜プロジェクト. 2022年9月19日閲覧。
^ abcd チャン、ケネス（2009年11月14日）「時間論理の先駆者アミール・プヌエリが68歳で死去」ニューヨーク・タイムズ。
^ “AMIR PNUELI”. amturing.acm . 2023年8月14日閲覧。
^ 「ニューヨーク大学コンピュータサイエンス教授、アミールプヌエリ、68 歳」、ドブス博士、2009 年 11 月 5 日。
^ NYU 教授アミール・プヌエリ、68 歳、ニューヨーク大学コンピュータサイエンス学部の著名なコンピュータ科学者、2009 年 11 月 9 日のオリジナルからアーカイブ、 2009 年 11 月 8 日に取得。
^ 「名誉博士号 - ウプサラ大学、スウェーデン」。2023年6月9日。
^ 「イスラエル賞公式サイト（ヘブライ語） – 受賞者の履歴書」
^ 「イスラエル賞公式サイト（ヘブライ語） - 受賞者への授与に関する審査員の理由」。