计算的美丽–1996年图灵奖获得者Amir Pnueli

Sina WeiboBaiduLinkedInQQGoogle+RedditEvernote分享




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照片:
 
 

(没有打分)

雁过留声

Comments are closed.