计算机科学

首页 > 计算机科学

阿米尔·伯努利

2018-09-12 13:51:15     所属分类:图灵奖获得者
阿米尔·伯努利

阿米尔·伯努利英语:Amir Pnueli,1941年4月22日-2009年11月2日),以色列计算机科学家。

生平

1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。ACM会士。

魏茨曼理学院数学博士。在斯坦福大学做博士后时转而研究计算机科学。

感谢您的支持,我会继续努力的!

扫码支持
1分,2分不嫌少,钱不钱的无所谓,重要的是你的话语激励我前行!

愿你每天温暖如春!!!

显示全文

取消

感谢您的支持,我会继续努力的!

扫码支持
无需打赏可直接关闭阅读全文
1分,2分不嫌少,钱不钱的无所谓,重要的是你的话语激励我前行!

愿你每天温暖如春!!!


相关推荐