“A.M. 图灵奖(A.M Turing Award)”简称图灵奖(Turing Award),名称取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵(Alan M. Turing),是计算机领域最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。
图灵奖由美国计算机协会(ACM)于1966年设立,专门奖励那些对计算机事业作出重要贡献的个人,通常情况下,图灵奖都会在下一年的3月下旬颁发。图灵奖对获奖条件要求高,评奖程序严,通常每年只奖励一名计算机科学家,极少数情况下,会有多名合作者或在同一方向作出贡献的科学家共享此奖。
截至2021年,图灵奖华人获得者只有一位——2000年图灵奖得主姚期智。姚期智,1946年出生于上海(2017年放弃美国国籍成为中国公民),中国科-🔥奥门威奥门威斯人网站注册平台院士、香港科-🔥奥门威奥门威斯人网站注册平台创院院士、美国国家科-🔥奥门威奥门威斯人网站注册平台院士、美国艺术与科学-🔥奥门威奥门威斯人网站注册平台院士,其研究方向包括计算理论及其在密码学和量子计算中的应用,姚期智最先提出量子通信复杂性,提出分布式量子计算模式,后来成为分布式量子算法和量子通讯协议安全性的基础。
年份 | 姓名 | 贡献领域/获奖理由 |
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) | 人工智能 |
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) | 人工智能深度学习方面 |
2019年 | Patrick M. Hanrahan,艾德文·卡特姆(Edwin E. Catmull) | 对3D计算机图形学的贡献,以及这些技术对电影制作和计算机生成图像(CGI)等应用的革命性影响 |
2020年 | 杰弗里·戴维·乌尔曼(Jeffrey David Ullman)、阿尔弗雷德·艾侯(Alfred Vaino Aho) | 创造了全球数百万编程人员使用的工具和教材,推进编程语言实现的基础算法和理论,并在极具影响力的书籍中综述了这些研究成果 |
2021年 | 杰克·唐加拉(Jack J. Dongarra) | 通过对线性代数运算的高效数值算法、并行计算编程机制和性能评估工具的贡献,引领了高性能计算的世界 |
2022年 | 鲍勃·梅特卡夫(Bob Metcalfe) | 为引领大众进入超级连接时代所做的贡献 |
2023年 | 艾维·维格森(Avi Wigderson) | 增强了人类对计算中随机性和伪随机性作用的理解 |
被誉为数学界诺贝尔奖的菲尔兹奖,由数学界国际权威学术团体国际数学联盟主持,是数学奖的最高奖...
普利兹克奖,是1979年由杰伊·普利兹克和妻子辛蒂发起,凯悦基金会所赞助的针对建筑师颁布的...
诺贝尔奖(The Nobel Prize)是以瑞典著名化学家、硝化甘油炸药发明人阿尔弗雷德...
有这么一群人,他们为社会科技的发展贡献了自己的力量,为日新月异的高科技带来新鲜的活力,他们...