Amir Pnueli

阿米尔·普努埃利（Amir Pnueli，希伯来语：אמר פנואלй，1941年4月22日－2009年11月2日）是以色列计算机科学家，1996年图灵奖获得者。普努埃利出生于英国托管巴勒斯坦地区（现属以色列）的纳哈拉尔。他就读于特拉维夫的 Tichon Hadash 高中。 [1] 他获得了海法以色列理工学院的数学学士学位，并获得了以色列理工学院的博士学位。魏茨曼科学研究所应用数学博士学位（1967 年）。 [ 2 ] 他的论文题目是“海洋潮汐计算”。他在斯坦福大学担任博士后期间转向计算机科学。他在计算机科学领域的工作重点是时序逻辑和模型检查，特别是关于并发系统的公平性特性。 [3]他回到以色列担任研究员；他是特拉维夫大学计算机科学系的创始人和第一任系主任。 1981 年，他成为魏茨曼研究所计算机科学教授。从 1999 年直至去世，普努埃利还在美国纽约州纽约大学计算机科学系任职 [3]。他还曾担任宾夕法尼亚大学和约瑟夫·傅里叶大学的副教授。 [ 4 ] 领域：计算机科学 教育：以色列理工学院 BS 魏茨曼科学研究所 MS 博士 获奖者：图灵奖（1996）以色列奖