计算机界的诺贝尔奖:细数图灵奖获奖者

  • 时间:
  • 浏览:0

今年上映的《模仿游戏》,再现了图灵破解Enigma谜机、受到化学迫害等短暂而又传奇的一生,让更多人了解到图灵对人类文明进步的伟大贡献,电影也夺得金球奖、奥斯卡金像奖等多项提名和奖项。

图灵奖(A.M。Turing Award),由美国计算机自学(ACM)于1966年设立,取名来自计算机科学的先驱,这部电影(模仿游戏)的主角——英国科学家阿兰·麦席森·图灵。不可能 图灵奖对获奖条件要求极高,评奖线程又是极严,一般每年只奖励一名计算机科学家,没办法极少数年度有两名商务商务媒体合作或在同一方向作出贡献的科学家共享此奖。而且它有有“计算机界的诺贝尔奖”之称。

奖金金额不算太高,设奖初期为2万美元,1989年起增到2万5千美元,奖金通常由计算机界的有一种 大企业提供(通过与ACM签订协议)。目前图灵奖由英特尔和google公司赞助,奖金为230,000美元。

从1966年到2015年的48届图灵奖,共计有61名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列等国少数学者。

组图全部的介绍了图灵奖每位获奖者的成就,以及获奖的时间,在此向有一种 伟大的先驱致敬,也向有一种 默默无闻的学者致敬。

▲1982年获奖,Stephen加盟多伦多大学并工作直到现在。他是NP全部性理论的奠基人,1971年发表Cook定理奠定了NP全部理论的基础而获图灵奖。Cook是对计算复杂化性理论有突出贡献的计算机科学家之一。

▲1983年获奖,创建了Unix和Plan9操作系统。(图左1)

1983年获奖,丹尼斯·里奇与肯·汤普逊两人发展C语言,一齐发展了Unix操作系统,C语言发明人、UNIX之父。(图左2)

▲1984年获奖,你不可以获得图灵奖的这句话也不他提出的著名公式:“算法+数据形态学 =线程”。有一种 公式对计算机科学的影响程度足以类似于物理学中爱因斯坦的“E=MC^2”——1个公式展示出了线程的本质。Pascal之父,他创建与实现了Pascal语言——当时世界上最受欢迎的语言之一。

▲1985年获奖,贡献领域:算法理论,尤其是NP-全部性理论。

▲1986年,因在算法及数据形态学 的设计和分析中所取得的决定性成果,获得图灵奖。

▲1986年获奖,研究不不可以长期保存信息的数据形态学 ,塔扬称我们我们我们 设计出来的有一种 数据形态学 为“持久性数据形态学 ”(persistentdatastructure)。

▲1987年获奖,科克的贡献和成就首先是在高性能计算机的体系形态学 方面。科克是IBM30年代推出的晶体管大型计算机,也是世界上第1个“超级计算机”(Supercomputer)型号STRETCH的技术负责人。Stretch蕴含 8万只晶体管,其效率比IBM上1个主流计算机型号IBM704快75倍。STRETCH首创的灵活的寻址技术、指令提前执行(即流水线技术)、差错校正码ECC(ErrorCorrectingCode)等至今仍被广泛使用着。Stretch共生产了8台,被洛斯阿拉莫斯(LosAlamos)国家实验室(这是研制出了世界上第一颗原子弹的著名的原子能研究中心)等机构所采用。

▲1988年获奖,计算机图形学之父和虚拟现实之父,伊凡·苏泽兰发明人的电脑线程“画板”是我们我们我们 “也不编写过的线程中最重要的一份线程”。事实上,这是有史以来第1个交互式绘图系统。这也是交互式电脑绘图的开端。

▲1990年获奖,贡献领域:CTSS和Multics

▲1991年获得图灵奖。在计算机线程设计语言方面,米尔纳和戈顿等人一齐提出了形式化逻辑系统的数学模型,实现了他称之为LCF的1个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)的。

▲1992年度的图灵奖授予当时任DEC公司高级研究员和主任设计师的巴特勒·拉姆泼逊(ButlerWrightLampson)。

▲1993年获奖,贡献方面:计算复杂化度理论

▲1994年获奖,他的重大贡献在于通过实验和研究,证明了实现智能行为的主要手段在于知识,在多数实际情形下是特定领域的知识。1994年度的图灵奖由两位人工智能专家分享,其一是声名卓著的爱德华·费根鲍姆(Edward Albert Feigenbaum);另一位是后起之秀的雷伊·雷蒂(Raj Reddy)。

▲1994年获奖,他的重大贡献在于通过实验和研究,证明了实现智能行为的主要手段在于知识,在多数实际情形下是特定领域的知识。1994年度的图灵奖由两位人工智能专家分享,其一是声名卓著的爱德华·费根鲍姆(Edward Albert Feigenbaum);另一位是后起之秀的雷伊·雷蒂(Raj Reddy)。

▲密码系统和线程检验先驱,计算复杂化性理论的主要奠基人之一,第三十届(1995年)图灵奖得主。

▲1996年授予Amir Pnueli图灵奖,以表彰其在计算机科学中引入时序逻辑的开创性的研究工作,和其在编程语言和系统验证方面的突出贡献。

▲1997年获奖,最著名的也不鼠标的专利。另外他的小组是人机交互的先锋,开发了超文本系统、网络计算机,以及图形用户界面的先驱;并致力于倡导运用计算机和网络,来协同防止世界上日益增长的紧急而又复杂化的有一种 的间题。他被冠为“鼠标之父”。

▲1998年获奖,他提出了资料方块、锁定颗粒等概念。他亦有份开发Windows Live Local。

▲1999年获得图灵奖,他在20世纪30年代初没办法29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM/330系列计算机的开发工作,取得辉煌成功,从而名噪一时。日后他作为硬件和软件的双重专家和出色的教育家始终活跃在计算机舞台上,在计算机技术的诸多领域中都作出了巨大的贡献。