アミール・プヌーリ、ア（ー）ミール・ペヌーエーリー、アミル・ペヌエリ（ヘブライ語: ??????(??????) ???????????? ’a(?)m?r p?n?’?l?; Amir Pnueli、1941年4月22日 - ）は、イスラエル人の計算機科学者。1996年、「計算機科学に時相論理を導入した独創的業績とプログラムやシステムの検証への多大な貢献に対して」チューリング賞を授与された。

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

スタンフォード大学でのポストドクター期間中に計算機科学に転向。研究者としてイスラエルに帰国し、1981年にワイツマン研究所の計算機科学の教授に就任。1999年から、ニューヨーク大学の計算機科学部門でも地位を得ている。

プヌーリはこれまでに2回、先端技術企業を創設した。

外部リンク

⇒New York University home page

⇒Short biography


⇒Weizmann home page

⇒Profile

関連項目

イスラエル人の一覧

ペヌエル　 ⇒Penuel
カテゴリ: イスラエルの学者 | 1941年生 | 情報工学者 | 形式手法の人物

更新日時:2008年7月11日(金)16:28
取得日時:2008/10/20 13:23