1996年的图灵奖获得者-Amir Pnueli

Amir Pnueli (04/22/1941--)

图 灵 奖 获 得 时 间 ：

1996年 。 第三十一位 图 灵 奖 (1996年 ) 获 得 者 。

 

图 灵 奖 引 用 (Turing Award Citation) ：

 

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 图 灵 奖 以 表 彰 其在)计算机科学中引入时序逻辑的开创性的研究工作，和其子编程语言和系统验证方面的突出贡献。

 

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

 

http://images.google.com/images?q=amir+pnueli&hl=en&lr=&sa=N&tab=wi&sourceid=tipimg

 

 

 

 
转自http://www.xtrj.org/