图灵奖：阿米尔·伯努利（1996）

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 36 期。图灵奖：阿米尔·伯努利（1996）

文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。

本文来自 wiki:Amir_Pnueli，翻译基于 谷歌翻译.

阿米尔·伯努利（Amir Pnueli，希伯来语：אמר פנואלй；1941年4月22日－2009年11月2日）是一位以色列计算机科学家。他在计算机科学领域的工作重点是时序逻辑和模型检查，特别是关于并发系统的公平性。

他于 1996 年获得图灵奖。

其图灵奖颁奖词为“表彰将时态逻辑引入计算科学的开创性工作以及对程序和系统验证的杰出贡献。”。（For seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification. ）

生平

Pnueli 在以色列理工学院（Technion）获得数学学士学位，在魏茨曼科学研究所（Weizmann Institute of Science）获得应用数学博士学位（1967 年）。他的论文题目是“海洋潮汐的计算”。然后在斯坦福大学担任博士后期间转向计算机科学。

后来他回到以色列担任研究员。

他是特拉维夫大学计算机科学系的创始人和第一任系主任。

Pnueli 于 2009 年 11 月 2 日因脑溢血去世。

~~

都看到这儿了，不如关注每日推送的“科文路”、互动起来~

至少点个赞再走吧~

觉得还不错？可以在公众号菜单栏找到“赞赏”入口~