图灵奖得主大全

Posted 架构师易筋

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了图灵奖得主大全相关的知识,希望对你有一定的参考价值。

图灵奖(英语:ACM A.M. Turing Award),又译杜林奖、A.M.图灵奖[2],是计算机协会(ACM)于1966年设立的奖项,专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼彻斯特大学教授艾伦·图灵(A.M. Turing),这个奖设立目的之一是纪念这位现代计算机科学的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。

图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。2014年11月13日,虽然英特尔退出赞助,Google反而将奖金提高到1,000,000美元,和诺贝尔奖奖金相近。[3]

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

图灵奖获得者

年份姓名贡献领域
1966年艾伦·佩利高级程序设计技巧,编译器构造
1967年莫里斯·威尔克斯存储程序式计算机EDSAC,EDSAC 2,程序库
1968年理查德·卫斯里·汉明数值方法,自动编码系统,错误检测和纠错码
1969年马文·闵斯基人工智能
1970年詹姆斯·维尔金森数值分析,线性代数,倒退错误分析
1971年约翰·麦卡锡人工智能
1972年艾兹格·迪科斯彻程序设计语言的科学与艺术
1973年查理士·巴赫曼数据库技术
1974年高德纳算法分析、程序设计语言的设计、程序设计
1975年艾伦·纽厄尔, 赫伯特·西蒙人工智能,人类认知心理学和列表处理(list processing)
1976年迈克尔·拉宾, 达纳·斯科特非确定性自动机
1977年约翰·巴克斯高级编程系统,程序设计语言规范的形式化定义
1978年罗伯特·弗洛伊德设计高效可靠软件的方法学
1979年肯尼斯·艾佛森程序设计语言和数学符号,互动系统的设计,运用APL进行教学,程序设计语言的理论与实践
1980年东尼·霍尔程序设计语言的定义与设计
1981年埃德加·科德数据库系统,尤其是关系型数据库
1982年史提芬·古克计算复杂度
1983年肯·汤普逊, 丹尼斯·里奇UNIX操作系统和C语言
1984年尼克劳斯·维尔特程序设计语言设计、程序设计
1985年理查德·卡普算法理论,尤其是NP-完全性理论
1986年约翰·霍普克洛夫特, 罗伯特·塔扬算法和数据结构的设计与分析
1987年约翰·科克编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发
1988年伊凡·苏泽兰计算机图形学
1989年威廉·卡韩数值分析
1990年费尔南多·考巴托CTSS和Multics
1991年罗宾·米尔纳LCF,ML语言,CCS
1992年巴特勒·兰普森分布式,个人计算环境
1993年尤里斯·哈特马尼斯, 理查德·斯特恩斯计算复杂度理论
1994年爱德华·费根鲍姆, 拉吉·瑞迪大规模人工智能系统
1995年曼纽尔·布卢姆计算复杂度理论,及其在密码学和程序校验上的应用
1996年阿米尔·伯努利时序逻辑,程序与系统验证
1997年道格拉斯·恩格尔巴特互动计算
1998年詹姆斯·尼古拉·格雷数据库与事务处理
1999年弗雷德里克·布鲁克斯计算机体系结构,操作系统,软件工程
2000年姚期智[4]计算理论,包括伪随机数生成,密码学与通信复杂度
2001年奥利-约翰·达尔, 克利斯登·奈加特面向对象编程
2002年罗纳德·李维斯特, 阿迪·萨莫尔, 伦纳德·阿德曼公钥密码学(RSA加密算法)
2003年艾伦·凯面向对象编程
2004年文特·瑟夫, 罗伯特·卡恩TCP/IP协议
2005年彼得·诺尔Algol 60语言
2006年法兰西斯·艾伦优化编译器
2007年爱德蒙·克拉克, 艾伦·爱默生, 约瑟夫·斯发基斯开发自动化方法检测计算机硬件和软件中的设计错误
2008年芭芭拉·利斯科夫编程语言和系统设计的实践与理论
2009年查尔斯·萨克尔帮助设计、制造第一款现代PC
2010年莱斯利·瓦伦特对众多计算理论所做的变革性的贡献
2011年朱迪亚·珀尔通过概率论和因果推理对人工智能领域作出的根本性贡献
2012年莎菲·戈德瓦塞尔, 希尔维奥·米卡利在密码科学领域里,于复杂理论的基础之上,做出变革性工作;并领先发展出新的具有数学可证明性的有效验证机制[6]
2013年莱斯利·兰波特对于分布式及并形系统的理论与实践具有基础性贡献,尤其是诸如因果逻辑时序(causality and logical clocks)、安全性与存活度(safety and liveness)、复制状态机(replicated state machines)及循序一致性(sequential consistency)等理论概念的发明[7]
2014年迈克尔·斯通布雷克对现代数据库的概念和实践作出的根本性贡献
2015年惠特菲尔德·迪菲, 马丁·赫尔曼发明迪菲-赫尔曼密钥交换,对公开密钥加密技术有重大贡献[8]
2016年蒂姆·伯纳斯-李发明了万维网、第一个浏览器和使得万维网得以扩展的基础协议及算法[9]
2017年约翰·轩尼诗, 大卫·帕特森开创了一种系统的、定量的方法来设计和评价计算机体系结构,并对微处理器行业产生了持久的影响。[10]
2018年约书亚·本希奥, 杰弗里·辛顿, 杨立昆深度学习[11]
2019年艾德文·卡特姆, 帕特里克·汉拉恩对于3D计算机图形学的基本贡献,以及这些技术对电影制作和其他应用中的计算机生成图像(CGI)的革命性影响。[12]
2020年阿尔佛雷德·艾侯,杰弗瑞·乌尔曼对程序语言实现的基础性算法和理论的贡献。[13]

世界各大学图灵奖人数

下表展示1966年至2021年世界各高校图灵奖人数分布(只展示前15名)

排名大学图灵奖总人数校友长期教职员短期教职员重复
1斯坦福大学 美国2991712-9
2麻省理工学院 美国2661611-7
3伯克利加州大学 美国25111211-9
4普林斯顿大学 美国161052-1
5哈佛大学 美国14954-4
6卡耐基梅隆大学 美国13591-2
7纽约大学 美国83230
8剑桥大学 英国7523-3
9加州理工学院 美国6620-2
并列9密歇根大学 美国64020
并列9牛津大学 英国6332-2
并列9多伦多大学 加拿大6232-1
13哥伦比亚大学 美国52120
并列13洛杉矶加州大学 美国53110
15康奈尔大学 美国41300
并列15芝加哥大学 美国43010

参考

https://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96

以上是关于图灵奖得主大全的主要内容,如果未能解决你的问题,请参考以下文章

图灵奖得主Yann LeCun:我的论文也被NeurIPS拒了

图灵奖得主Yann LeCun:我的论文也被NeurIPS拒了

图灵奖得主Judea Pearl:h5棋牌平台出售

图灵奖得主LeCun:不需要监督的AI才是未来!

享年94岁,图灵奖得主计算复杂性理论先驱Juris Hartmanis逝世

图灵奖得主都写过哪些书?