アミール・プヌーリ

アミール・プヌーリ: イスラエルの計算機科学者

アミール・プヌーリは1941年4月22日にイギリス委任統治領パレスチナ、現在のイスラエルのナハラルで誕生しました。彼はイスラエル工科大学で数学の学士号を取得し、その後ワイツマン科学研究所で数学の博士号を得ました。博士論文のテーマは「海洋潮汐の計算」であり、この研究が彼の後の業績に繋がる土台となりました。

彼の学問の道はハイファで始まりましたが、スタンフォード大学でポスドクとしての期間を経て、計算機科学へと転身しました。そこから、時相論理とモデル検査の研究を行い、特に並行プロセスの公平性に関する研究に力を入れました。プヌーリはその後イスラエルに帰国し、テルアビブ大学の計算機科学科の創設に尽力し、初代学科長に任命されました。

1981年にはワイツマン研究所の計算機科学教授となり、1999年から彼の亡くなるまでニューヨーク大学でも教鞭を執ることになります。彼の研究は計算機科学の多くの分野に貢献し、特にプログラムやシステムの検証において彼の提案は画期的でした。

プヌーリはまた、先端技術を扱う企業を2回設立し、計算機科学とその応用において実業界でもその影響力を発揮しました。彼は3人の子供を授かり、亡くなった時には4人の孫に恵まれていましたが、2009年11月2日に脳内出血により68歳の若さでこの世を去りました。

受賞歴

プヌーリの業績は数多くの賞により評価されました。最も著名なのは1996年のチューリング賞で、「計算機科学における時相論理の導入とプログラム・システムの検証への多大な貢献」がその理由です。1999年には全米技術アカデミーの外国人会員に選ばれ、その後も2000年にイスラエル賞、2007年にはACMフェローの称号を授与されました。特にワイツマン科学研究所では彼の功績を称えて、一連の記念講演が開催されていることからも、彼の研究が多くの人々に影響を及ぼしたことを示しています。

アミール・プヌーリの遺産は、計算機科学という分野において依然として重要であり、彼の業績は現在も多くの研究や技術の基盤となっています。

もう一度検索