
王兴伟教授
图灵奖(A.M. Turing Award)由美国计算机协会(ACM)于1966年设立,专门奖励那些对计算机科学理论和技术或计算机产业方面作出突出贡献的个人。其名取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。图灵奖对获奖条件要求极高,评奖程序极严,一般每年只奖励1名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。图灵奖设立初期,奖金金额并不高,最开始仅为2万美元。2007年起增至25万美元,奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。直至2014年,Google公司赞助将图灵奖奖金提升到100万美元。
图灵奖是计算机界最负盛名的奖项,有“计算机界的诺贝尔奖”之称。当前,图灵奖已成为计算机领域原始理论和原始技术创新研究的重要标志。从1966年到2014年的49届图灵奖,累计有62名科学家获此殊荣。美国的贝尔实验室是获得图灵奖最多的科研机构,共有4名科学家获此殊荣。分析历届的图灵奖得主,很多都是计算机理论和技术的“首创者”、“奠基者”、“之父”,都表现出独特的思维方式和创新途径,大多都是前所未有的重大科学发现、原理性主导技术等重大创新成果。比如,1966年的图灵奖获得者艾伦·佩利(Alan J. Perlis)是程序设计语言的先驱开拓者;1976年的图灵奖获得者米凯尔·拉宾(Michael O. Rabin)和达纳·斯科特(Dana S. Scott)首次提出在自动机和可计算领域的非确定性有限状态自动机理论;1982年的图灵奖获得者斯蒂芬·库克(Stephen Arthur Cook)是NP问题的奠基人;1983年的图灵奖获得者肯尼思·汤普森(Ken Thompson)和丹尼斯·里奇(Dennis M. Ritchie)是UNIX操作系统和C语言的发明者;1993年的图灵奖获得者尤里斯·哈特马尼斯(Juris Hartmanis)和理查德·斯特恩(Richard Edwin Stearns)是计算复杂性理论的主要奠基人;1997年的图灵奖获得者道格拉斯·恩格尔巴特(Douglas Engelbart)是鼠标器的发明人和超文本研究的先驱;1999年的图灵奖获得者弗雷德里克·布鲁克斯(Frederick P. Brooks)是IBM 360系列计算机的总设计师和总指挥。值得一提的是,因为在计算理论领域的卓越贡献,2000年的图灵奖首次授予了一位华裔学者--姚期智,姚期智的英文名字是安德鲁·姚(Andrew C. Yao)。他祖籍湖北孝感,1946年12月24日出生于上海,幼年随父母去台湾,曾先后在麻省理工学院、斯坦福大学、加利福尼亚大学伯克利分校、普林斯顿大学、清华大学等从事教学研究工作。ACM的授奖决定指出,姚期智对计算理论的贡献是根本性的,意义重大的,其中包括基于复杂性的伪随机数生成理论、密码学、通信复杂性等。
另外,图灵奖也颁发给了很多在计算机和其他学科之间的交叉领域产生过重大影响力的科学家。如1969年马文·闵斯基(Marvin Minsky)和1971年约翰·麦卡锡(John McCarthy)由于对人工智能领域的贡献而获图灵奖;1975年,艾伦·纽厄尔(Allen Newell)和赫伯特·西蒙(Herbert A. Simon)由于在人工智能、人类识别心理和表处理的重要贡献而获图灵奖;1988年,伊凡·苏泽兰(Ivan Sutherland)由于在计算机图形学方面开创性和远见性的贡献而获图灵奖;1994年,爱德华·费根鲍姆(Edward Albert Feigenbaum)和拉吉·瑞迪(Raj Reddy)由于在大规模人工智能领域的卓越贡献而获图灵奖。2004年,被誉为“互联网之父”的文特·瑟夫(Vinton G. Cerf)和罗伯特·卡恩(Robert E. Kahn)由于创立了TCP/IP协议而获图灵奖。2011年,犹大·伯尔(Judea Pearl)由于创立了因果推理演算法而获图灵奖。2014年,迈克尔·斯通布雷克(Michael Stonebraker)由于对现代数据库系统底层的概念与实践所做出的基础性贡献而获图灵奖。
由此可见,图灵奖的获得者使得计算机与其他学科结合,不断向其他领域拓宽,完善了理论,增加了应用,使计算机为人类的服务面更为宽广。