表的内容
快速的事实
科学与技术

阿米尔Pnueli

以色列的计算机科学家
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
修正?更新?遗漏?让我们知道如果你有建议改进这篇文章(需要登录)。
谢谢你的反馈

我们的编辑器将检查你提交并决定是否修改这篇文章。

打印
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
修正?更新?遗漏?让我们知道如果你有建议改进这篇文章(需要登录)。
谢谢你的反馈

我们的编辑器将检查你提交并决定是否修改这篇文章。

类别: 科学与技术
生:
1941年4月22日 以色列
死亡:
2009年的11月2日(68岁) 纽约 纽约
奖励和荣誉:
图灵奖(1996)

阿米尔Pnueli(1941年4月22日生Nahalal巴勒斯坦[以色列]死于11月2日,2009年,纽约纽约以色列,美国),计算机科学家和1996年点图灵奖,最高的荣誉计算机科学引入“开创性的工作时间逻辑计算科学和突出贡献的程序和系统验证。”

Pnueli收到了学士学位数学从以色列理工学院的博士学位(1967)从魏茨曼科学研究所的数学。他转向计算机科学博士后研究员斯坦福大学IBM沃森研究中心。Pnueli回到以色列作为一个高级研究员魏兹曼科学学院应用数学。1973年,他搬到特拉维夫大学,他在那里建立了学校的计算机科学系,1981年,他回到魏兹曼科学研究所。

电脑芯片。电脑。手拿着电脑芯片。中央处理单元(CPU)。历史与社会、科学和技术、芯片、微处理器主板电脑电路板
yabo亚博网站首页手机大英百科全书测验
电脑和技术测试

1971年Pnueli共同创办软件公司Mini-Systems。的时候收购了由Scitex公司在1984年,他创办了AdCad(现i-Logix),开发人员计算机辅助工程软件。

Pnueli作者,梭吗哪,活性和并发系统的时序逻辑:规范(1991)和反应系统的时序验证:安全(1995)。

威廉·l·Hosch