艾米尔·伯努利 _生活百科

艾米尔·伯努利【艾米尔·伯努利】艾米尔·伯努利，出生于1941年，在以色列理工学院取得数学学士学位，1967年在魏茨曼学院以一篇关于海洋潮汐计算的毕业论文取得套用数学博士学位，而后伯努利留校任教。
基本介绍中文名：艾米尔·伯努利
出生地：以色列的Nahalal
出生日期：1941 年
主要成就：图灵奖
摘要又一点阵图灵奖得主去世了，他是受人尊敬的时序逻辑领域大师艾米尔· 伯努利(AmirPnueli) 。今年11月2日，这位1996年度图灵奖得主因脑出血去世，享年68岁，只剩那些熠熠生辉的科技成就留给后人。贡献在计算机出现后的最初几十年里，计算机实质上是一个巨大的计算器，数字被录入，计算结果被输出。直到20世纪70年代，科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大，软体更先进，多任务和变化的数据核查变得更加困难。因此，程式设计师不得不考虑到时间推移下系统的行为。在这个契机下，时序逻辑被引入计算科学，这是计算科学发展历史的重要转折点。

文章插图
艾米尔·伯努利时序逻辑也叫时态逻辑（temporal logic)，是计算机科学里一个很专业很重要的领域。时序逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统，主要用于形式验证。20 世纪60 年代Arthur Prior提出介入的基于模态逻辑的特殊的时间逻辑系统，这一理论后来被艾米尔·伯努利等逻辑学家进一步发展。后来，Pnueli在史丹福大学和IBM Waston 研究中心从事博士后的研究工作，从这时开始，他将工作研究方向转移到计算机科学领域。1973年，他创办了特拉维夫大学计算机科学系，并担任第一任院长。1977 年，Pnueli开创性地把时态逻辑引入计算机科学，他的时态逻辑是非经典逻辑中的一种，研究如何处理含有时间信息的事件的命题和谓词。现在通常称为时序逻辑的计算机系统，就出现在这一年，Pnueli 在子程式语言与系统验证方面做出的杰出贡献具有里程碑意义。“Pnueli实现了这一逻辑，这是计算机科学的完美契合”，赖斯大学计算工程的摩西教授如是说。1996 年度图灵奖颁奖典礼上，该奖项的题词评价Pnueli 1977年的论文“引发了对系统的动态行为推理的基本模式转变” 。这个很杰出的技术诞生后即在软体工程界引起轰动，掀起了软体工程中的一场革命，目前已成为开发反应式系统和并髮式系统时进行规格说明和验证的工具，在晶片、硬体的设计上已经广泛运用。1981年，Pnueli 回到魏兹曼成为计算机科学系的教授。1999年，Pnueli加入美国纽约大学计算机科学系并出任教授一职。此外，和国外绝大多数教授一样，Pnueli 并不拘泥于纯学术的研究和教学。Pnueli 成立了几家软体公司，1971年成立Mini-Systems，1984年成立AdCad 。他还和朋友一起在美国麻萨诸塞州创办了另一家公司：iLogixInc，Pnueli 担任iLogixInc 公司的首席科学家。Pnueli为人谦逊随和，与中国的渊源甚深。他和2008年去世的我国着名逻辑和软体学家唐稚松是至交，二人均是时态逻辑方面是业界领跑人。唐稚松教授提出了世界上第一个可执行时序逻辑语言XYZ/E 。如果说Pnueli获1996年图灵奖的最大贡献，是因开创性地将时序逻辑引入计算科学，那幺唐稚松则是第一次将这种时序逻辑形式化理论与最新软体技术结合起来，套用该语言将状态转换的控制机制引入到逻辑系统之中的人。Pnueli 赴美接受图灵奖前夕，在写给唐稚松的信中说：“我完全相信，由于使时态逻辑成为具有‘深远影响’的理念，你应该分享这一荣誉（指图灵奖）中一个很有意义的部分。”荣誉除了图灵奖，Pnueli还曾获得奖项无数，其中就包括以色列奖，这是以色列给出美国国家科学院外籍院士的成员的最高荣誉。图灵奖获得者2000年代Leslie Valiant2010查尔斯·萨克尔2009芭芭拉·利斯科夫2008约翰·巴科斯2007法兰·艾伦2006彼得·诺尔2005罗伯特·卡恩2004文顿·瑟夫2004艾伦·凯2003阿迪·萨莫尔2002罗纳德·李维斯特2002伦纳德·阿德曼2002奥利-约翰·达尔2001克利斯登·奈加特2001姚期智20001990年代詹姆斯·尼古拉·格雷1998道格拉斯·恩格尔巴特1997艾米尔·伯努利1996曼纽尔·布卢姆1995爱德华·费根鲍姆1994拉吉·瑞迪1994理察·斯特恩斯1993尤里斯·哈特马尼斯1993巴特勒·拉姆泼逊1992罗宾·米尔纳1991费尔南多·考巴托19901980年代威廉·卡亨1989伊凡·苏泽兰1988约翰·科克1987霍普克罗夫特1986罗伯特·塔扬1986理察·卡普1985尼古拉斯·沃斯1984肯·汤普逊1983丹尼斯·里奇1983史蒂芬·库克1982埃德加·弗兰克·科德1981东尼·霍尔19801970年代肯尼斯·艾佛森1979罗伯特·弗洛伊德1978约翰·巴科斯1977达纳·斯科特1976麦可·拉宾1976艾伦·纽厄尔1975赫伯特·西蒙1975唐纳德·克努特1974查尔斯·巴赫曼1973艾兹赫尔·戴克斯特拉1972约翰·麦卡锡1971詹姆斯·哈迪·威尔金森19701960年代马文·闵斯基1969理察·卫斯里·汉明1968莫里斯·威尔克斯1967艾伦·佩利1966