你知道鼠标之父是谁吗？细说60位图灵奖获奖者

今年上映的《模仿游戏》，再现了图灵破解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和Plan 9操作系统。（图左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年获奖，计算机图形学之父和虚拟现实之父，伊凡·苏泽兰发明的电脑程序“画板”是人们“曾经编写过的程序中最重要的一份程序”。事实上，这是有史以来第一个交互式绘图系统。这也是交互式电脑绘图的开端。

1989年的图灵奖又一次选择了一位加拿大计算机科学家，他是因为在浮点运算部件的设计和浮点运算标准的制定上的突出贡献而获此殊荣的。

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

1991年获得图灵奖。在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算(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世纪60年代初只有29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM/360系列计算机的开发工作，取得辉煌成功，从而名噪一时。以后他作为硬件和软件的双重专家和出色的教育家始终活跃在计算机舞台上，在计算机技术的诸多领域中都作出了巨大的贡献。