历届图灵奖得主盘点

历届图灵奖得主盘点_第1张图片

 

图灵奖,全称A.M.图灵奖(ACM A.M Turing Award),是由美国计算机协会于1966年设立的计算机奖项,名称取自艾伦·麦席森·图灵,旨在奖励对计算机事业作出重要贡献的个人 。图灵奖对获奖条件要求极高,评奖程序极严,一般每年仅授予一名计算机科学家。图灵奖是计算机领域的国际最高奖项,被誉为“计算机界的诺贝尔奖”。

截止2021年止,图灵奖华人获得者只有一位,即2000年获得者姚期智,他是:中国科学院院士  、台湾中央研究院院士  、香港科学院创院院士  ,清华大学交叉信息研究院院长,清华大学高等研究中心教授、美国国家科学院外籍院士、美国艺术与科学院外籍院士。2016年放弃美国国籍成为中国公民。

姚期智的研究方向包括计算理论及其在密码学和量子计算中的应用,最先提出量子通信复杂性,提出分布式量子计算模式,后来成为分布式量子算法和量子通讯协议安全性的基础  。

历届得主

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. Simon

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 ThompsonUNⅨ操作系统和C语言

丹尼斯·里奇Dennis M. Ritchie

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 MilnerLCF,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 Phillips Brooks,Jr.计算机体系结构,操作系统,软件工程

2000年姚期智Andrew Chi-Chih Yao计算理论,包括伪随机数生成,密码学与通信复杂度

2001年奥利-约翰·达尔Ole-Johan Dahl面向对象编程

克利斯登·奈加特Kristen Nygaard

2002年罗纳德·李维斯特Ronald L. Rivest公钥密码学(RSA加密算法)

阿迪·萨莫尔Adi Shamir

伦纳德·阿德曼Leonard M. Adleman

2003年艾伦·凯Alan Kay面向对象编程

2004年文特·瑟夫Vinton G. CerfTCP/IP协议

罗伯特·卡恩Robert E. Kahn

2005年彼得·诺尔Peter NaurAlgol 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开发了RISC微处理器并且让这一概念流行起来的工程

大卫·帕特森David Patterson

2018年约舒亚·本希奥Yoshua Bengio在人工智能深度学习方面的贡献

杰弗里·欣顿Geoffrey Hinton

扬·莱坎Yann LeCun

2019年帕特里克· 汉拉汗Patrick M. Hanrahan对3D计算机图形学的贡献,以及这些技术对电影制作和计算机生成图像(CGI)等应用的革命性影响

艾德文·卡特姆Edwin E. Catmull

2020年杰弗里·戴维·乌尔曼Jeffrey David Ullman创造了全球数百万编程人员使用的工具和教材,推进编程语言实现的基础算法和理论,并在极具影响力的书籍中综述了这些研究成果

阿尔佛雷德·艾侯Alfred Vaino Aho

2021年杰克·唐加拉Jack J. Dongarra通过对线性代数运算的高效数值算法、并行计算编程机制和性能评估工具的贡献,引领了高性能计算的世界。

你可能感兴趣的:(人工智能)