图灵奖简介
图灵奖(英语:ACM A.M. Turing Award),又译杜林奖、A.M.图灵奖,是计算机协会(ACM)于1966年设立的奖项,专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼彻斯特大学教授艾伦·图灵(A.M. Turing),这个奖设立目的之一是纪念这位现代计算机科学的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。2014年11月13日,虽然英特尔退出赞助,Google反而将奖金提高到1,000,000美元,和诺贝尔奖奖金相近。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
图灵奖获得者
年份
|
中文译名
|
姓名
|
贡献领域
|
---|---|---|---|
1966年
|
Alan J. Perlis
|
高级程序设计技巧,
编译器构造
| |
1967年
|
Maurice V. Wilkes
| ||
1968年
|
Richard Hamming
| ||
1969年
| |||
1970年
|
James H. Wilkinson
| ||
1971年
|
人工智能
| ||
1972年
|
Edsger Dijkstra
|
程序设计语言的科学与艺术
| |
1973年
|
Charles W. Bachman
|
数据库技术
| |
1974年
|
算法分析、程序设计语言的设计、程序设计
| ||
1975年
|
Herbert A. Simon
|
人工智能,人类认知心理学和列表处理 (list processing)
| |
1976年
|
Michael O. Rabin
Dana S. Scott
|
非确定性自动机
| |
1977年
|
高级编程系统,程序设计语言规范的形式化定义
| ||
1978年
|
Robert W. Floyd
|
设计高效可靠软件的方法学
| |
1979年
|
Kenneth E. Iverson
|
程序设计语言和数学符号,互动系统的设计,运用 APL进行教学,程序设计语言的理论与实践
| |
1980年
|
C. Antony R. Hoare
|
程序设计语言的定义与设计
| |
1981年
|
Edgar F. Codd
|
数据库系统,尤其是关系型数据库
| |
1982年
|
Stephen A. Cook
|
计算复杂度
| |
1983年
|
UNⅨ操作系统和
C语言
| ||
1984年
|
程序设计语言设计、程序设计
| ||
1985年
|
Richard M. Karp
|
算法理论,尤其是NP-完全性理论
| |
1986年
|
Robert Tarjan
|
算法和数据结构的设计与分析
| |
1987年
|
编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发
| ||
1988年
| |||
1989年
|
William Morton Kahan
| ||
1990年
|
Fernando J. Corbató
| ||
1991年
|
Robin Milner
| ||
1992年
|
Butler W. Lampson
|
分布式,个人计算环境
| |
1993年
|
理查德·斯特恩斯
|
Juris Hartmanis
Richard E. Stearns
|
计算复杂度理论
|
1994年
|
Edward Feigenbaum
Raj Reddy
|
大规模人工智能系统
| |
1995年
|
Manuel Blum
|
计算复杂度理论,及其在
密码学和程序校验上的应用
| |
1996年
|
Amir Pnueli
|
时序逻辑,程序与系统验证
| |
1997年
|
互动计算
| ||
1998年
|
数据库与事务处理
| ||
1999年
|
Frederick P. Brooks,Jr.
| ||
2000年
|
Andrew Chi-Chih Yao
|
计算理论,包括
伪随机数生成,密码学与通信复杂度
| |
2001年
|
Ole-Johan Dahl
Kristen Nygaard
| ||
2002年
| |||
2003年
| |||
2004年
|
TCP/IP协议
| ||
2005年
|
Peter Naur
|
Algol 60语言
| |
2006年
| |||
2007年
|
Edmund M. Clarke
Allen Emerson
Joseph Sifakis
|
开发自动化方法检测计算机硬件和软件中的设计错误
| |
2008年
|
芭芭拉·利斯科夫
|
编程语言和系统设计的实践与理论
| |
2009年
|
Charles Thacker
|
帮助设计、制造第一款现代PC
| |
2010年
|
莱斯利·瓦伦特
|
对众多计算理论所做的变革性的贡献
| |
2011年
|
犹大·伯尔
|
Judea Pearl
|
人工智能
|
2012年 |
Shafi Goldwasser
Silvio Micali
| 由于在密码学和复杂理论领域做出创举性工作 | |
2013年 | 莱斯利·兰伯特 | Leslie Lamport | 在提升计算机系统的可靠性及稳定性领域的杰出贡献 |
2014年 |
迈克尔·斯通布雷克
|
Michael Stonebraker
| 对现代数据库系统底层的概念与实践所做出的基础性贡献 |
2015年 |
惠特菲尔德·迪菲
马丁·赫尔曼
|
Whitfield Diffie
Martin Hellman
| 这两个人是非对称加密的创始人 |
2016年 | 蒂姆·伯纳斯·李 | Tim Berners-Lee | 万维网的发明者 |
2017年 |
John Hennessy
David Patterson
| 开发了RISC微处理器并且让这一概念流行起来的工程 | |
2018年 |
Yoshua Bengio
Geoffrey Hinton
Yann LeCun |
世界各大学图灵奖人数
图灵奖(Turing Award)自1966年首次颁发,截止2018年共授予了70位个人。据相关资料统计,截止2019年3月,按图灵奖得主数量(校友、教职工以及研究人员),前10名高校名单如下 :
排名 | 大学名称 | 地区 | 图灵奖人数 |
---|---|---|---|
1 | 斯坦福大学 | 美国 | 27人 |
2 | 麻省理工学院 | 美国 | 26人 |
3 | 加州大学伯克利分校 | 美国 | 25人 |
4 | 哈佛大学 | 美国 | 14人 |
5(并列) | 卡耐基梅隆大学 | 美国 | 13人 |
5(并列) | 普林斯顿大学 | 美国 | 13人 |
7 | 纽约大学 | 美国 | 8人 |
8 | 剑桥大学 | 英国 | 7人 |
9(并列) | 加州理工学院 | 美国 | 6人 |
9(并列) | 密歇根大学 | 美国 | 6人 |
9(并列) | 牛津大学 | 英国 | 6人 |
图灵简介
艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机之父,人工智能之父。1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥,后曾协助军方破解德国的著名密码系统Enigma,帮助盟军取得了二战的胜利。图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵试验,至今,每年都有试验的比赛。此外,图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
二战结束后,图灵因同性恋倾向在当时的英国遭受歧视,被政府定罪,被迫接受”治疗“,职业生涯结束,1954年6月7日,图灵被发现死于家中的床上,床头放着一个被咬了一口的苹果,其中含有氰化物,警方调查后结论为服毒自杀。直到2013年12月24日,英国司法部长宣布:图灵当时受到的判决”不公,有歧视“,现已获得女王伊丽莎白二世的赦免,称“女王的赦免是对这位优秀人物的献礼”。同时,英国前首相卡梅伦表示:图灵在二战时破解德军密码、拯救国家上发挥了关键作用,是一个“了不起的人”。