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

时间：2015-10-31 12:02:21 来源: 复制分享

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

图灵奖（A.M。Turing Award），由美国计算机协会（ACM）于1966年设立，取名来自计算机科学的先驱，这部电影（模仿游戏）的主角英国科学家阿兰麦席森图灵。由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它有有“计算机界的诺贝尔奖”之称。

奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。目前图灵奖由英特尔和google公司赞助，奖金为250，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”一个公式展示出了程序的本质。Pascal之父，他创建与实现了Pascal语言当时世界上最受欢迎的语言之一。

▲1985年获奖，贡献领域：算法理论，尤其是NP-完全性理论。

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

▲1986年获奖，研究能够长期保存信息的数据结构，塔扬称他们设计出来的这种数据结构为“持久性数据结构”（persistentdatastructure）。

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

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

▲1990年获奖，贡献领域：CTSS和Multics

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

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

▲1993年获奖，贡献方面：计算复杂度理论

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