图灵奖得主大全
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 | 斯坦福大学 美国 | 29 | 9 | 17 | 12 | -9 |
2 | 麻省理工学院 美国 | 26 | 6 | 16 | 11 | -7 |
3 | 伯克利加州大学 美国 | 25 | 11 | 12 | 11 | -9 |
4 | 普林斯顿大学 美国 | 16 | 10 | 5 | 2 | -1 |
5 | 哈佛大学 美国 | 14 | 9 | 5 | 4 | -4 |
6 | 卡耐基梅隆大学 美国 | 13 | 5 | 9 | 1 | -2 |
7 | 纽约大学 美国 | 8 | 3 | 2 | 3 | 0 |
8 | 剑桥大学 英国 | 7 | 5 | 2 | 3 | -3 |
9 | 加州理工学院 美国 | 6 | 6 | 2 | 0 | -2 |
并列9 | 密歇根大学 美国 | 6 | 4 | 0 | 2 | 0 |
并列9 | 牛津大学 英国 | 6 | 3 | 3 | 2 | -2 |
并列9 | 多伦多大学 加拿大 | 6 | 2 | 3 | 2 | -1 |
13 | 哥伦比亚大学 美国 | 5 | 2 | 1 | 2 | 0 |
并列13 | 洛杉矶加州大学 美国 | 5 | 3 | 1 | 1 | 0 |
15 | 康奈尔大学 美国 | 4 | 1 | 3 | 0 | 0 |
并列15 | 芝加哥大学 美国 | 4 | 3 | 0 | 1 | 0 |
参考
https://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96
以上是关于图灵奖得主大全的主要内容,如果未能解决你的问题,请参考以下文章
图灵奖得主Yann LeCun:我的论文也被NeurIPS拒了
图灵奖得主Yann LeCun:我的论文也被NeurIPS拒了