阿米尔·伯努利（Amir Pnueli，1941年4月22日—2009年11月2日），出生于以色列纳哈拉，美国国家工程院外籍院士，欧洲科学院院士，以色列科学院院士，ACM fellow。他在计算机科学领域，特别是在程序验证方面做出了开创性的贡 献，将时序逻辑引入计算机科学，并在编程语言和系统验证方面有着突出的成就。生前担任魏茨曼科学研究所应用数学系教授，并在纽约大学科朗学院计算机科学系担任教授。 人物生平
1967年，在魏茨曼科学研究所获得杰出应用数学博士学位，同年受聘为斯坦福大学计算机科学系讲师。 1968，担任美国纽约约克镇高地沃森研究中心访问学者。 