图灵奖

图灵奖

图灵奖(Turing Award),全称“A.M. 图灵奖(A.M Turing Award)”,由美国计算机协会(ACM)于1966年设立,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵(Alan M. Turing)。由于图灵奖对获奖条件要求极高,评奖程式又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

每一年的图灵奖一般在下一年的4月初颁发,从1966年至今共67名获奖者,按国籍分,美国学者最多,欧洲学者偶见之,华人学者目前仅有2000年图灵奖得主姚期智(现在清华大学、香港中文大学)。据相关资料统计,截止2018年,美国史丹福大学的图灵奖人数(校友或教职工)位列世界第一(27位),美国麻省理工学院(25位)、美国加州大学伯克利分校(25位)并列世界第二;哈佛大学(14位)和普林斯顿大学(13位)分列世界第四和第五名。

    • 中文名:图灵奖
    • 外文名:A.M. Turing Award
    • 设立时间:1966年
    • 奖励对象:对计算机事业作出重要贡献的个人
    • 奖金:1,000,000美元
    • 美称:计算机界的诺贝尔奖
    • 评选机构:美国计算机协会(ACM)

历史沿革

图灵奖是美国计算机协会于1966年设立的,又叫"A.M.图灵奖",专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦·图灵,这个奖设立目的之一是纪念这位科学家。
图灵奖

图灵奖对获奖者的要求极高,评奖程式极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此,儘管“图灵”的奖金数额不算高,但它却是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。

从1966年至今总计有67名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列等国少数学者。

截止至2018年,获此殊荣的华人仅有1位,他是2000年图灵奖得主姚期智。据相关资料统计,截止2018年,美国史丹福大学的图灵奖人数(校友或教职工)位列世界第一(27位),美国麻省理工学院(25位)、美国加州大学伯克利分校并列世界第二(25位);哈佛大学(14位)和普林斯顿大学(13位)分列世界第四和第五名。

2017年5月3日报导,ACM图灵奖五十周年中国大会组委会筹备会议在百度科技园成功举办。百度与图灵奖将继续开展深入交流,探索合作机会,为中国同世界在技术的合作和人才的交流搭建沟通桥樑,共同推动网际网路行业的发展。

获奖条件

由于图灵奖对获奖条件要求极高,评奖程式又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

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

奖金金额

奖金金额不算太高,设奖初期为20万美元,1989年起增到25万美元,奖金通常由计算机界的一些大企业提供(通过与ACM签订协定)。目前图灵奖由Google公司赞助,奖金为1,000,000美元。

历届得主

从1966年至今共67名得主,按国籍分,美国学者最多,欧洲学者偶见之,华人学者目仅有2000年图灵奖得主姚期智(现在清华大学、香港中文大学)。

67名得主分布在几十个小领域,排在前六的领域有:编译原理、程式设计语言,计算複杂性理论,人工智慧,密码学,以及资料库(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 NewellHerbert A. Simon

人工智慧,人类认知心理学和列表处理 (list processing)

1976年

麦可·拉宾达纳·斯科特

Michael O. RabinDana S. Scott

非确定性自动机

1977年

约翰·巴克斯

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 ThompsonDennis M. Ritchie

UNⅨ作业系统和C语言

1984年

尼古拉斯·沃斯

Niklaus Wirth

程式设计语言设计、程式设计

1985年

理察·卡普

Richard M. Karp

算法理论,尤其是NP-完全性理论

1986年

约翰·霍普克罗夫特罗伯特·塔扬

John HopcroftRobert Tarjan

算法和数据结构的设计与分析

1987年

约翰·科克

John Cocke

编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发

1988年

伊凡·苏泽兰

Ivan Sutherland

计算机图形学

1989年

威廉·卡亨

William Morton Kahan

数值分析

1990年

费尔南多·考巴脱

Fernando J. Corbató

CTSS和Multics

1991年

罗宾·米尔纳

Robin Milner

LCF,ML语言,CCS

1992年

巴特勒·兰普森

Butler W. Lampson

分散式,个人计算环境

1993年

尤里斯·哈特马尼斯理察·斯特恩斯

Juris HartmanisRichard E. Stearns

计算複杂度理论

1994年

爱德华·费根鲍姆拉吉·瑞迪

Edward FeigenbaumRaj Reddy

大规模人工智慧系统

1995年

曼纽尔·布卢姆

Manuel Blum

计算複杂度理论,及其在密码学和程式校验上的套用

1996年

阿米尔·伯努利

Amir Pnueli

时序逻辑,程式与系统验证

1997年

道格拉斯·恩格尔巴特

Douglas Engelbart

互动计算

1998年

詹姆斯·尼古拉·格雷

James Gray

资料库与事务处理

1999年

弗雷德里克·布鲁克斯

Frederick P. Brooks,Jr.

计算机体系结构,作业系统,软体工程

2000年

姚期智

Andrew Chi-Chih Yao

计算理论,包括伪随机数生成,密码学与通信複杂度

2001年

奥利-约翰·达尔克利斯登·奈加特

Ole-Johan DahlKristen Nygaard

面向对象编程

2002年

罗纳德·李维斯特阿迪·萨莫尔伦纳德·阿德曼

Ronald L. RivestAdi ShamirLeonard M. Adleman

公钥密码学(RSA加密算法)

2003年

艾伦·凯

Alan Kay

面向对象编程

2004年

文特·瑟夫罗伯特·卡恩

Vinton G. CerfRobert E. Kahn

TCP/IP协定

2005年

彼得·诺尔

Peter Naur

Algol 60语言

2006年

法兰西斯·艾伦

Frances E. Allen

最佳化编译器

2007年

爱德蒙·克拉克艾伦·爱默生约瑟夫·斯发基斯

Edmund M. ClarkeAllen EmersonJoseph Sifakis

开发自动化方法检测计算机硬体和软体中的设计错误

2008年

芭芭拉·利斯科夫

Barbara Liskov

程式语言和系统设计的实践与理论

2009年

查尔斯·萨克尔

Charles Thacker

帮助设计、製造第一款现代PC

2010年

莱斯利·瓦伦特

Leslie Valiant

对众多计算理论所做的变革性的贡献

2011年

犹大·伯尔

Judea Pearl

人工智慧

2012年

莎菲·戈德瓦塞尔希尔维奥·米卡利

Shafi GoldwasserSilvio Micali

由于在密码学和複杂理论领域做出创举性工作

2013年

莱斯利·兰伯特

Leslie Lamport

在提升计算机系统的可靠性及稳定性领域的杰出贡献

2014年

麦可·斯通布雷克

Michael Stonebraker

对现代资料库系统底层的概念与实践所做出的基础性贡献

2015年

惠特菲尔德·迪菲马丁·赫尔曼

Whitfield Diffie and Martin Hellman

这两个人是非对称加密的创始人

2016年

蒂姆·伯纳斯·李

Tim Berners-Lee

全球资讯网的发明者

2017年

约翰·轩尼诗大卫·帕特森

John HennessyDavid Patterson

开发了RISC微处理器并且让这一概念流行起来的工程

2018年

约舒亚·本希奥杰弗里·欣顿扬·莱坎

Yoshua BengioGeoffrey HintonYann LeCun

因在人工智慧深度学习方面的贡献

各高校图灵奖得主

图灵奖(Turing Award)自1966年首次颁发,截止2018年共授予了67位个人。据相关资料统计,截止2018年,按图灵奖得主数量(校友、教职工以及研究人员),前10名高校名单如下:

排名大学名称地区图灵奖人数
1

史丹福大学

美国

27人

2(并列)

麻省理工学院

美国

25人

2(并列)

加州大学伯克利分校

美国

25人

4

哈佛大学

美国

14人

5

普林斯顿大学

美国

13人

6

卡耐基梅隆大学

美国

12人

7

纽约大学

美国

7人

8(并列)

加州理工学院

美国

6人

8(并列)

剑桥大学

英国

6人

8(并列)

密西根大学

美国

6人

8(并列)

牛津大学

英国

6人

图灵简介

艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,被称为计算机之父,人工智慧之父。1931年图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥,后曾协助军方破解德国的着名密码系统Enigma,帮助盟军取得了二战的胜利。图灵对于人工智慧的发展有诸多贡献,提出了一种用于判定机器是否具有智慧型的试验方法,即图灵试验,至今,每年都有试验的比赛。此外,图灵提出的着名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

二战结束后,图灵因同性恋倾向在当时的英国遭受歧视,被政府定罪,被迫接受”治疗“,职业生涯结束,1954年6月7日,图灵被发现死于家中的床上,床头放着一个被咬了一口的苹果,其中含有氰化物,警方调查后结论为服毒自杀。直到2013年12月24日,英国法务部长宣布:图灵当时受到的判决”不公,有歧视“,现已获得女王伊莉莎白二世的赦免,称“女王的赦免是对这位优秀人物的献礼”。同时,英国前首相卡梅伦表示:图灵在二战时破解德军密码、拯救国家上发挥了关键作用,是一个“了不起的人”。

着作

⒈《论可计算数及其在判定问题上的套用》(On Computable Numbers,with an Application to the Entscheidungsproblem)(1936年5月28日)

⒉超计算(hypercomputation)的概念

⒊《形态发生的化学基础》(The Chemical Basis of Morphogenesis)(1952年)

⒋一九八三年另一位同性恋的牛津数学家安德鲁.哈吉斯(Andrew Hodges),替他写了一本脍炙人口的传记《谜样的图灵》(Alan Turing: The Enigma),

⒌图灵死后——1992年《艾伦·图灵选集》

相关词条

相关搜索

其它词条