计算的美丽–1996年图灵奖获得者Amir Pnueli
作者 陈怀临 | 2008-04-05 20:28 | 类型 人物评述, 计算的美丽 | Comments Off
Amir Pnueli (04/22/1941–) 图灵奖获得时间: 1996年。 第三十一位图灵奖(1996年)获得者。 图灵奖引用(Turing Award Citation) : For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification. 【笔者译:】 (授予Amir Pnueli图灵奖以表彰其在)计算机科学中引入时序逻辑的开创性的研究工作,和其编程语言和系统验证方面的突出贡献。
笔者注: 关于时序逻辑: http://plato.stanford.edu/entries/logic-temporal/ http://en.wikipedia.org/wiki/Temporal_logic http://cs.wwc.edu/~aabyan/Logic/Temporal.html Turing Award Lecture(图灵奖演讲文章): Amir Pnueli简介: Amir Pnueli在纽约大学计算机科学系的主页: http://www.cs.nyu.edu/faculty/pnueli/ Amir Pnueli在以色列Wizmann Institute of Science(www.weizmann.ac.il )的主页: http://www.wisdom.weizmann.ac.il/~amir/ Amir Pnueli出生于1941年4月22日于Nahalal,以色列。 Amir Pnueli年青时代从以色列Technion – Israel Institute of Technology 技术学院获得其数学学士学位,从以色列Weizmann Institute of Science获得其应用数学博士学位。Pnueli的博士论文工作是关于“Cacluation of Tides in the Ocean”。在斯坦福大学(www.stanford.edu )和IBM Waston研究中心(www.watson.ibm.com )从事博士后的研究工作其间,Pnueli将研究工作方向转移到计算机科学领域。1981年,Pnueli成为Weizmann Institute计算机科学系的教授。1999年,Pnueli加入美国纽约大学计算机科学系并出任教授一职。 Pnueli教授更详细的个人经历介绍可参见:http://www.cs.nyu.edu/cs/faculty/pnueli/shrtbio.html Amir Pnueli照片: | |