科学与技术
阿米尔Pnueli
以色列的计算机科学家
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
阿米尔Pnueli(1941年4月22日生Nahalal巴勒斯坦[以色列]死于11月2日,2009年,纽约纽约以色列,美国),计算机科学家和1996年点图灵奖,最高的荣誉计算机科学引入“开创性的工作时间逻辑计算科学和突出贡献的程序和系统验证。”
Pnueli收到了学士学位在数学从以色列理工学院的博士学位(1967)从魏茨曼科学研究所的数学。他转向计算机科学博士后研究员斯坦福大学和IBM沃森研究中心。Pnueli回到以色列作为一个高级研究员魏兹曼科学学院应用数学。1973年,他搬到特拉维夫大学,他在那里建立了学校的计算机科学系,1981年,他回到魏兹曼科学研究所。
yabo亚博网站首页手机大英百科全书测验
电脑和技术测试
1971年Pnueli共同创办软件公司Mini-Systems。的时候收购了由Scitex公司在1984年,他创办了AdCad(现i-Logix),开发人员计算机辅助工程软件。
Pnueli作者,梭吗哪,活性和并发系统的时序逻辑:规范(1991)和反应系统的时序验证:安全(1995)。