博文
伯努利(Amir Pnueli)
||
这位世界著名计算机科学家因脑出血于2009年11月2日辞世，96年图灵奖获得者，在时态逻辑及程序与系统验证等方面做出了开创性的工作。
Amir Pnueli个人主页
NEW YORK UNIVERSITY 个人主页
DBLP: Amir Pnueli
以下信息来源于: http://en.wikipedia.org/wiki/Amir_PnueliPnueli was born in Nahalal, Israel and received a Bachelor's degree in Mathematics from the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science. His thesis was on the topic of "Calculation of Tides in the Ocean". He switched to computer science during a stint as a post-doctoral fellow at Stanford University. His works in computer science focused on temporal logic and model checking, particularly regarding fairness properties of concurrent systems.
He returned to Israel as a researcher; he was the founder and first chair of the computer science department at Tel Aviv University. He became a professor of computer science at the Weizmann Institute in 1981. From 1999 until his death, Pnueli also held a position at the Computer Science Department of New York University, New York, U.S.
Pnueli also founded two startup technology companies during his career.
In 2000, he was awarded the Israel Prize, for computer science
In 2007, he was inducted as a Fellow of the Association for Computing Machinery.
https://blog.sciencenet.cn/blog-89075-278121.html
上一篇：The verification group at Oxford
下一篇：IBM Watson Research Center
