阿米尔·伯努利

维基百科,自由的百科全书
跳转至: 导航搜索
阿米尔·伯努利

阿米尔·伯努利Amir Pnueli,1941年4月22日-2009年11月2日),以色列计算机科学家。1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖ACM会士

魏茨曼理学院数学博士。在斯坦福大学博士后时转而研究计算机科学。