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