图灵奖

美国计算机协会发起的奖项

图灵奖

图灵奖(A.M. Turing Award),由美国计算机协会于1966年设立,又叫“A.M. 图灵奖”,被用于专门奖励那些对计算机事业作出重要贡献的个人。[5]其名称取自计算机科学的先锋、英国科学家艾伦·麦席森·图灵(Alan M. Turing)。图灵奖一般在每年的6月,于ACM颁奖晚宴上颁发,[4]奖金通常由计算机界的一些大企业提供。[0]图灵奖现主要由Google公司赞助,奖金为100万美元。[5]从1966年至2022年,共有77名图灵奖得主。[3]图灵奖对获奖者的要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此它也被称为是计算机界的“诺贝尔奖”。[2]

图灵奖(A.M. Turing Award),由美国计算机协会于1966年设立,又叫“A.M. 图灵奖”,被用于专门奖励那些对计算机事业作出重要贡献的个人。[6]其名称取自计算机科学的先锋、英国科学家艾伦·麦席森·图灵(Alan M. Turing)。图灵奖一般在每年的6月,于ACM颁奖晚宴上颁发,[5]奖金通常由计算机界的一些大企业提供。[1]图灵奖现主要由Google公司赞助,奖金为100万美元。[6]

从1966年至2022年,共有77名图灵奖得主。[4]图灵奖对获奖者的要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此它也被称为是计算机界的“诺贝尔奖”。[3]

图灵奖颁发的领域,在一定程度上反映了计算机科学技术发展方向的缩影。[7]

历史沿革

1946年,世界上第一台通用计算机ENIAC诞生。次年,美国计算机协会(ACM)成立。[8]

1966年,也即第一台电子计算机诞生20周年,《论可计算数及其在可判定问题中的应用》论文发表30周年之际,美国计算机协会提出设立一个奖项,以奖励对计算机事业作出最重要贡献的个人。[8]

同年,图灵奖诞生,其名称取自计算机科学的先驱、英国科学家艾伦·图灵[8],他是英国数学家、逻辑学家,被称为“计算机科学之父”,“人工智能之父”,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础[9]。这个奖设立目的之一是纪念这位科学家,[8][2]并由当时的斯坦福大学计算机系主任乔治·福赛斯、卡内基理工学院计算机系主任艾伦·佩利哈佛大学数学系教授安东尼·奥廷格共同议定了评选规则。[8]

图灵奖奖章
图灵奖奖章

图灵奖奖金最早的赞助者为贝尔实验室等多家机构和企业,[8]图灵奖初期奖金为20万美元[1]。在授奖仪式上,图灵奖获奖者会发表“图灵奖演说”,这些演说会发表在《ACM杂志》上。[8]

1966年6月,首届图灵奖被颁给了美国科学家艾伦·佩利,以表彰他在高级编程技术和编译器构建领域所带来的影响。[10]

1971年,“图灵奖演说”改为在历年的《ACM通讯》中发表。[8]

1987年,ACM出版社把前20届图灵奖演说汇集成书,即《The ACM Turing Lectures — The First Twenty Years:1966-1985》。[8]

1989年起,图灵奖奖金增到25万美元,奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。[1]英特尔和Google公司曾共同支持图灵奖奖金。[8]

2014年11月13日,英特尔公司退出对图灵奖奖金的支持。[8]同月,美国计算机协会(ACM)宣布图灵奖奖金金额翻四倍,达到 100 万美元[11],此次提高奖金,旨在提高社会对计算机科学的重视和认可,Google的赞助是其奖金的主要来源。[12]

2022年,美国的鲍勃·梅特卡夫获颁图灵奖,以表彰他对以太网的发明、标准化和商业化上所做的贡献。[13]2025年3月5日,2024年图灵奖公布,安德鲁・巴托(Andrew Barto)和理查德・萨顿(Richard Sutton)因其在人工智能训练技术领域的贡献,获得2024年图灵奖。[14]

评选流程

每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并说明被提名者为什么应获此奖。任何人都可成为提名人,美国计算机协会会组成评选委员会,对被提名者进行严格的评审,并最终确定当年的获奖者。[15][5]

参选提名

提名的组成部分:

提名人需要提供自己的联系方式。最合适的提名人是该领域有一定影响力的人,他们需要与候选人来自不同的组织,并且可以了解候选人对社会所做出的贡献。提名需包含被提名人的联系方式,评选委员会会对提名人的信息进行保密。提名需包含一份不超过25个字的陈述,概括候选人值得获得该奖项的关键技术或专业成就。最终颁奖词会由颁奖委员会自行决定。提名声明(500-1000字),说明候选人为什么应该获得这个奖项。内容可以是描述候选人的一般性工作,但应特别声明候选人值得获奖的贡献。候选人的简历副本,列出他的出版物、专利、荣誉、服务贡献等。至少4封,不超过8封背书人的支持信。背书人需要是有一定权威的个人或机构,并能提供候选人所作贡献的额外见解或证据。提名人需将所有支持信一并提交。[5]

奖项评选

评选由ACM A.M.图灵奖委员会进行,主席委员现共10人。[16]图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。[2]

奖杯
奖杯

奖项于每年的6月份,在ACM颁奖晚宴上颁发,奖励除了奖金外,还会包含宴会的差旅费。[5]

图灵奖演说

“图灵奖演说”是图灵奖获奖者在授奖仪式上所发表的演说,这是ACM图灵奖的一个传统。获奖者在演说中畅谈自己成功的经验和体会,阐明计算机科学某一技术领域的精髓,发表对某些热点问题的看法。[8]

奖金金额

奖金在设奖初期为20万美元,1989年起增到25万美元。2014年之后,奖金提升为1,000,000美元。[12]

历届名单

从1966年至2022年,共77名得主,按国籍分,美国学者最多,欧洲学者也有部分占比,华人学者仅有2000年的图灵奖得主姚期智[4]

77名得主分布在几十个小领域,排在前六的领域有:编译原理、程序设计语言,计算复杂性理论,人工智能,密码学,以及数据库(4名)。[4]

年份中文译名姓名贡献领域/获奖理由1966年艾伦·佩利Alan J. Perlis高级程序设计技巧,编译器构造1967年莫里斯·威尔克斯Maurice V. Wilkes存储程序式计算机EDSAC,程序库1968年理查德·卫斯里·汉明Richard Hamming数值方法,自动编码系统,错误检测和纠错码1969年马文·明斯基Marvin Minsky人工智能1970年詹姆斯·维尔金森James H. Wilkinson数值分析,线性代数,倒退错误分析1971年约翰·麦卡锡John McCarthy人工智能1972年艾兹格·迪科斯彻Edsger Dijkstra程序设计语言的科学与艺术1973年查理士·巴赫曼Charles W. Bachman数据库技术1974年高德纳Donald E. Knuth算法分析、程序设计语言的设计、程序设计1975年艾伦·纽厄尔Allen Newell人工智能,人类认知心理学和列表处理(list processing)赫伯特·西蒙Herbert A. Simon1976年迈克尔·拉宾Michael O. Rabin非确定性自动机达纳·斯科特Dana S. Scott1977年约翰·巴克斯John Backus高级编程系统,程序设计语言规范的形式化定义1978年罗伯特·弗洛伊德Robert W. Floyd设计高效可靠软件的方法学1979年肯尼斯·艾佛森Kenneth E. Iverson程序设计语言和数学符号,互动系统的设计,运用 APL进行教学,程序设计语言的理论与实践1980年东尼·霍尔C. Antony R. Hoare程序设计语言的定义与设计1981年埃德加·科德Edgar F. Codd数据库系统,尤其是关系型数据库1982年史提芬·古克Stephen A. Cook计算复杂度1983年肯·汤普逊Ken ThompsonUNⅨ操作系统和C语言丹尼斯·里奇Dennis M. Ritchie1984年尼古拉斯·沃斯Niklaus Wirth程序设计语言设计、程序设计1985年理查德·卡普Richard M. Karp算法理论,尤其是NP-完全性理论1986年约翰·霍普克罗夫特John Hopcroft算法和数据结构的设计与分析罗伯特·塔扬Robert Tarjan1987年约翰·科克John Cocke编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发1988年伊凡·苏泽兰Ivan Sutherland计算机图形学1989年威廉·卡亨William Morton Kahan数值分析1990年费尔南多·考巴脱Fernando J. CorbatóCTSS和Multics1991年罗宾·米尔纳Robin MilnerLCF,ML语言CCS1992年巴特勒·兰普森Butler W. Lampson分布式,个人计算环境1993年尤里斯·哈特马尼斯Juris Hartmanis计算复杂度理论理查德·斯特恩斯Richard E. Stearns1994年爱德华·费根鲍姆Edward Feigenbaum大规模人工智能系统拉吉·瑞迪Raj Reddy1995年曼纽尔·布卢姆Manuel Blum计算复杂度理论,及其在密码学和程序校验上的应用1996年阿米尔·伯努利Amir Pnueli时序逻辑,程序与系统验证1997年道格拉斯·恩格尔巴特Douglas Engelbart互动计算1998年詹姆斯·尼古拉·格雷James Gray数据库与事务处理1999年弗雷德里克·布鲁克斯Frederick Phillips Brooks,Jr.计算机体系结构,操作系统,软件工程2000年姚期智Andrew Chi-Chih Yao计算理论,包括伪随机数生成,密码学与通信复杂度2001年奥利-约翰·达尔Ole-Johan Dahl面向对象编程克利斯登·奈加特Kristen Nygaard2002年罗纳德·李维斯特Ronald L. Rivest公钥密码学(RSA加密算法)阿迪·萨莫尔Adi Shamir伦纳德·阿德曼Leonard M. Adleman2003年艾伦·凯Alan Kay面向对象编程2004年文特·瑟夫Vinton G. CerfTCP/IP协议罗伯特·卡恩Robert E. Kahn2005年彼得·诺尔Peter NaurAlgol 60语言2006年法兰西斯·艾伦Frances E. Allen优化编译器2007年爱德蒙·克拉克Edmund M. Clarke开发自动化方法检测计算机硬件和软件中的设计错误艾伦·爱默生Allen Emerson约瑟夫·斯发基斯Joseph Sifakis2008年芭芭拉·利斯科夫Barbara Liskov编程语言和系统设计的实践与理论2009年查尔斯·萨克尔Charles Thacker帮助设计、制造第一款现代PC2010年莱斯利·瓦伦特Leslie Valiant对众多计算理论所做的变革性的贡献2011年犹大·伯尔Judea Pearl人工智能2012年莎菲·戈德瓦塞尔Shafi Goldwasser在密码学和复杂理论领域做出创举性工作希尔维奥·米卡利Silvio Micali2013年莱斯利·兰伯特Leslie Lamport在提升计算机系统的可靠性及稳定性领域的杰出贡献2014年迈克尔·斯通布雷克Michael Stonebraker对现代数据库系统底层的概念与实践所做出的基础性贡献2015年惠特菲尔德·迪菲Whitfield Diffie非对称加密的创始人马丁·赫尔曼Martin Hellman2016年蒂姆·伯纳斯·李Tim Berners-Lee万维网的发明者2017年约翰·轩尼诗John Hennessy开发了RISC微处理器并且让这一概念流行起来的工程大卫·帕特森David Patterson2018年约舒亚·本希奥Yoshua Bengio在人工智能深度学习方面的贡献杰弗里·欣顿Geoffrey Hinton扬·莱坎Yann LeCun2019年帕特里克·汉拉汗Patrick M. Hanrahan对3D计算机图形学的贡献,以及这些技术对电影制作和计算机生成图像(CGI)等应用的革命性影响艾德文·卡特姆Edwin E. Catmull2020年杰弗里·戴维·乌尔曼Jeffrey David Ullman创造了全球数百万编程人员使用的工具和教材,推进编程语言实现的基础算法和理论,并在极具影响力的书籍中综述了这些研究成果阿尔佛雷德·艾侯Alfred Vaino Aho2021年杰克·唐加拉Jack J. Dongarra以表彰其开创性的概念和方法,这些概念和方法推进了给世界带来改变的计算。他在数值算法和库方面的开创性贡献,使得高性能计算软件能够跟上四十多年来的指数级硬件更新[17]2022年罗伯特·梅特卡夫Robert Melancton Metcalfe以太网的发明、标准化和商业化[13]2023年阿维·威格德森Avi Wigderson表彰他在计算理论领域的奠基性贡献,尤其是重塑了人们对计算中随机性的理解,以及他在理论计算机科学领域几十年来发挥的主导作用[18]2024年安德鲁·巴托Andrew Barto在人工智能训练技术领域的贡献[14]理查德·萨顿Richard Sutton

参考资料来源:[4][2][15]

高校统计

截至2022年,按图灵奖得主数量(校友、教职工以及研究人员),前10名高校名单统计如下:

排名大学名称地区图灵奖人数1斯坦福大学美国29人2麻省理工学院美国26人3加州大学伯克利分校美国25人4普林斯顿大学美国16人5哈佛大学美国14人6卡耐基梅隆大学美国13人7纽约大学美国8人8(并列)加州理工学院美国6人8(并列)剑桥大学英国6人8(并列)密歇根大学美国6人8(并列)牛津大学英国6人

参考资料来源:[4]

颁奖机构

图灵奖由美国计算机协会所设立,美国计算机协会,简称ACM,创立于 1947 年,作为世界上第一个科学性及教育性计算机学会,是一个世界性的计算机从业员专业组织。[19]同时也是全世界计算机领域影响力最大的专业学术组织之一。[20]

纪念人物

视频暂不可用
艾伦.图灵人物介绍

图灵奖,其名称取自计算机科学的先驱、英国科学家艾伦·图灵[8]艾伦·图灵,1912年生于英国伦敦,曾在二战爆发后,协助英国军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。同时他也是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。但由于图灵的同性恋倾向在当时的英国遭到歧视,二战结束后他被当时的英国政府定罪,被迫接受“治疗”,职业生涯尽毁。1954年6月7日,图灵服用含氰化物苹果自杀。直到2013年,图灵才获得了英国女王伊丽莎白二世的赦免。[21]

艾伦·图灵
艾伦·图灵

艾伦·图灵对整个计算机界的发展与创新产生了深远的影响,世界各国的人们纷纷以各种方式来纪念这位杰出的科学家。[22]

影响意义

一座图灵奖,半部科技史。[8]图灵奖(ACM A.M. Turing Award)是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。图灵奖获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献,大多数获奖者是计算机科学家。图灵奖颁发的领域,在一定程度上反映了计算机科学技术发展方向的缩影。[7]

Google 副总裁 Stuart Feldman表示,1966 年图灵奖的混合计算理论让他获益匪浅,也让其认识到「思想是最为有效和广泛的影响。」[12]从1966年到2017年的50年间,这项极富盛名的崇高荣誉,让65位业内顶尖的计算机科学家、几十项科技成就走进了公众视野,勾勒出一副宏阔的计算机进化版图。[23]

参考资料 23

  1. 计算机界“诺贝尔奖”公布:万维网发明者获百万美元 — 百家号
  2. 计算机界的诺贝尔奖都颁给谁了?细数历史上那些图灵奖获奖者 — techweb
  3. “硅谷教父”亨尼斯、谷歌工程师帕特森获今年图灵奖 — 百家号
  4. CHRONOLOGICAL LISTING OF A.M. TURING AWARD WINNERS — 图灵奖官网
  5. How to Nominate — 图灵奖官网
  6. ACM TURING AWARD HONORS BOB METCALFE FOR ETHERNET — 图灵奖官网
  7. 知领?报告 | 人工智能的发展 — 微信公众平台
  8. 图灵奖起源丨图灵宇宙 — 网易
  9. “AI之父”艾伦·图灵取代瓦特登上英国50英镑新钞 — 百家号
  10. Alan J Perlis — 图灵奖官网
  11. 南哲思享|李灏 柯文(蔡仲):美国数字垄断的社会建构——以亚马逊、谷歌和苹果为例 — 百家号
  12. 谷歌赞助图灵奖后 奖金将达百万美元 — 雷锋网
  13. Robert Melancton Metcalfe — 图灵奖官网
  14. 请完成下方验证后继续操作 — 百家号
  15. 实验室文化建设:图灵奖获奖者展示 — 南京大学计算机科学与技术实验教学中心
  16. ABOUT THE AWARD — 图灵奖官网
  17. 图灵奖花落高性能计算:72岁美国田纳西大学教授唐加拉获奖 — 澎湃新闻
  18. 2023年度图灵奖揭晓!他拿大奖“拿到手软” — 新浪科技-中国科学报
  19. ACM竞赛实训室 — 杭州电子科技大学信息工程学院
  20. 骄傲|广西这俩兄弟获国际顶级科学学会最高荣誉! — 广西新闻网
  21. 计算机之父图灵获英女王赦免 曾因同性恋遭定罪 — 中国新闻网
  22. 图灵:计算机科学之父 — 解放军报
  23. 走过半个世纪的图灵奖和摘得桂冠的AI大师们 — 网易
广告位:底部(ad-bottom)—— 请到中台「公共区块」编辑此内容