网站地图
图灵奖

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

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

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

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

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

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

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

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

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

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

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

67名得主分布在几十个小领域 [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

Herbert A. Simon

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

1976年

迈克尔拉宾

达纳斯科特

Michael O. Rabin

Dana 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 Thompson

Dennis M. Ritchie

UNⅨ操作系统和C语言

1984年

尼古拉斯沃斯

Niklaus Wirth

程序设计语言设计、程序设计

1985年

理查德卡普

Richard M. Karp

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

1986年

约翰霍普克罗夫特

罗伯特塔扬

John Hopcroft

Robert 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 Hartmanis

Richard E. Stearns

计算复杂度理论

1994年

爱德华费根鲍姆

拉吉瑞迪

Edward Feigenbaum

Raj 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 Dahl

Kristen Nygaard

面向对象编程

2002年

罗纳德李维斯特

阿迪萨莫尔

伦纳德阿德曼

Ronald L. Rivest

Adi Shamir

Leonard M. Adleman

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

2003年

艾伦凯

Alan Kay

面向对象编程

2004年

文特瑟夫

罗伯特卡恩

Vinton G. Cerf

Robert E. Kahn

TCP/IP协议

2005年

彼得诺尔

Peter Naur

Algol 60语言

2006年

法兰西斯艾伦

Frances E. Allen

优化编译器

2007年

爱德蒙克拉克

艾伦爱默生

约瑟夫斯发基斯

Edmund M. Clarke

Allen Emerson

Joseph Sifakis

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

2008年

芭芭拉利斯科夫

Barbara Liskov

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

2009年

查尔斯萨克尔

Charles Thacker

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

2010年

莱斯利瓦伦特

Leslie Valiant

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

2011年

犹大伯尔

Judea Pearl

人工智能

莎菲戈德瓦塞尔

希尔维奥米卡利

Shafi Goldwasser

Silvio Micali

迈克尔斯通布雷克

Michael Stonebraker

惠特菲尔德迪菲

马丁赫尔曼

约翰轩尼诗

大卫帕特森

John Hennessy

David Patterson

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

艾伦麦席森图灵(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年《艾伦图灵选集》


相关文章推荐:
美国计算机协会 | 艾伦麦席森图灵 | 诺贝尔奖 | 姚期智 | 清华大学 | 香港中文大学 | 斯坦福大学 | 麻省理工学院 | 加州大学伯克利分校 | 哈佛大学 | 普林斯顿大学 | 美国计算机协会 | 艾伦图灵 | 图灵 | 奖金 | 瑞士 | 姚期智 | 斯坦福大学 | 麻省理工学院 | 加州大学伯克利分校 | 哈佛大学 | 普林斯顿大学 | 百度科技园 | Google | 姚期智 | 艾伦佩利 | 编译器 | 莫里斯威尔克斯 | EDSAC | 程序库 | 理查德卫斯里汉明 | 自动编码系统 | 纠错码 | 马文明斯基 | Marvin Minsky | 詹姆斯维尔金森 | 数值分析 | 线性代数 | 约翰麦卡锡 | John McCarthy | 艾兹格迪科斯彻 | 程序设计语言 | 查理士巴赫曼 | 高德纳 | Donald E. Knuth | 艾伦纽厄尔 | 赫伯特西蒙 | Allen Newell | 迈克尔拉宾 | 达纳斯科特 | 约翰巴克斯 | John Backus | 罗伯特弗洛伊德 | 肯尼斯艾佛森 | 东尼霍尔 | 埃德加科德 | 数据库系统 | 史提芬古克 | 肯汤普逊 | 丹尼斯里奇 | Ken Thompson | Dennis M. Ritchie | C语言 | 尼古拉斯沃斯 | Niklaus Wirth | 理查德卡普 | 约翰霍普克罗夫特 | 罗伯特塔扬 | John Hopcroft | 约翰科克 | John Cocke | 伊凡苏泽兰 | Ivan Sutherland | 计算机图形学 | 威廉卡亨 | 数值分析 | 费尔南多考巴脱 | CTSS | Multics | 罗宾米尔纳 | LCF | ML语言 | CCS | 巴特勒兰普森 | 分布式 | 尤里斯哈特马尼斯 | 爱德华费根鲍姆 | 拉吉瑞迪 | 曼纽尔布卢姆 | 密码学 | 阿米尔伯努利 | 时序逻辑 | 道格拉斯恩格尔巴特 | Douglas Engelbart | 詹姆斯尼古拉格雷 | James Gray | 弗雷德里克布鲁克斯 | 计算机体系结构 | 软件工程 | 姚期智 | 伪随机数 | 奥利-约翰达尔 | 克利斯登奈加特 | 面向对象编程 | 罗纳德李维斯特 | 阿迪萨莫尔 | 伦纳德阿德曼 | Ronald L. Rivest | Adi Shamir | Leonard M. Adleman | 公钥密码学 | RSA加密算法 | 艾伦凯 | Alan Kay | 面向对象编程 | 文特瑟夫 | 罗伯特卡恩 | Vinton G. Cerf | Robert E. Kahn | TCP/IP | 彼得诺尔 | 法兰西斯艾伦 | Frances E. Allen | 优化编译器 | 爱德蒙克拉克 | 艾伦爱默生 | 约瑟夫斯发基斯 | Barbara Liskov | 查尔斯萨克尔 | Leslie Valiant | 莎菲戈德瓦塞尔 | 希尔维奥米卡利 | 蒂姆伯纳斯李 | 万维网 | 约翰轩尼诗 | 大卫帕特森 | 图灵奖 | 斯坦福大学 | 麻省理工学院 | 加州大学伯克利分校 | 哈佛大学 | 普林斯顿大学 | 卡耐基梅隆大学 | 纽约大学 | 加州理工学院 | 剑桥大学 | 密歇根大学 | 牛津大学 | 逻辑学家 | 剑桥大学 | 普林斯顿大学 | 剑桥 | Enigma | 图灵试验 | 图灵机 | 现代计算机 | 牛津 | 安德鲁 | 哈吉斯 |
相关词汇词典