ウィキペディア

アミール・プヌーリ

出典: フリー百科事典『ウィキペディア（Wikipedia）』

アミール・プヌーリ、ア（ー）ミール・ペヌーエーリー、アミル・ペヌエリ（ヘブライ語: אַמִיר(אָמִיר) פְּנוּאֵלִי‎ ’a(ā)mīr pənū’ēlī; Amir Pnueli、1941年4月22日 - 2009年11月2日）は、イスラエル人の計算機科学者。1996年、「計算機科学に時相論理を導入した独創的業績とプログラムやシステムの検証への多大な貢献に対して」チューリング賞を授与された。