2017图灵奖揭晓,52届67位获奖者都是谁?
专家库 | 人才库 | 企业库 | 项目库 | 投资机构库 | 招商信息库
来源:德先生
3月 21 日,美国计算机协会(ACM)将 2017 年图灵奖授予斯坦福大学前校长John L. Hennessy和加州大学伯克利分校退休教授David A. Patterson,以表彰他们开创了一种系统的、定量的方法来设计和评价计算机体系结构,并对 RISC 微处理器行业产生了持久的影响。
John L. Hennessy 和David Patterson 创立了一种系统化和定量化的方法来设计更快、更低功耗和精简指令集计算机( RISC )微处理器。他们的方法导致了持久和可重复的原则,已经在学术界和工业界的许多项目中使用。如今,每年生产的160多亿微处理器中有99 %是RISC处理器,几乎所有的智能手机、平板电脑以及组成物联网( IoT )的数十亿嵌入式设备中都有这种处理器。
此外 Hennessy 和 Patterson 在他们合著的经典著作《计算机体系结构(量化研究方法)》(Computer Architecture: A Quantitative Approach)中详细陈述了他们的见解。他们的这些工作巩固了我们对新处理器架构进行建模和分析的能力,极大地加速了微处理器设计的进步。
“计算机界诺贝尔奖”——图灵奖
图灵奖是美国计算机协会于1966年设立的,又叫"A.M.图灵奖",专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦·图灵,这个奖设立目的之一是纪念这位科学家。
图灵奖对获奖者的要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此,尽管“图灵”的奖金数额不算高,但它却是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。
截至2017年,获此殊荣的华人仅有一位,他是2000年图灵奖得主姚期智。据相关资料统计,美国斯坦福大学的图灵奖人数(校友或教职工)位列世界第一(27位) ,美国麻省理工学院(25位)位列世界第二 ,美国加州大学伯克利分校位列世界第三(25位);哈佛大学(14位)和普林斯顿大学(13位)分列世界第四和第五名。
历届得主
从1966年到2017年,共52届、共67名得主,按国籍分,美国学者最多,欧洲学者偶见之,华人学者目仅有2000年图灵奖得主姚期智(现在清华大学、香港中文大学)。
67名得主分布在几十个小领域,排在前六的领域有:编译原理、程序设计语言,计算复杂性理论,人工智能,密码学,以及数据库(4名)。在某种意义上,可大致认为,前三个领域与计算机科学本身更密切一些,后三个领域与军民应用更密切一些。
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 and Martin Hellman | 这两个人是非对称加密的创始人 |
2016年 | 蒂姆·伯纳斯·李 | Tim Berners-Lee | 万维网的发明者 |
2017年 | 约翰·轩尼诗 大卫·帕特森 | John L. Hennessy David A. Patterson | 开创了一种系统的、定量的方法来设计和评价计算机体系结构 |
各高校图灵奖得主
图灵奖(Turing Award)自1966年首次颁发,截止2017年共授予了67位个人 。据相关资料统计,截止2017年,按图灵奖得主数量(校友、教职工以及研究人员),前10名高校名单如下:
美国斯坦福大学(Stanford University),27人
美国麻省理工学院(MIT),25人
美国加州大学伯克利分校(UC Berkeley), 25人
美国哈佛大学(Harvard University),14人
美国普林斯顿大学(Princeton University),13人
美国卡耐基梅隆大学(Carnegie Mellon University),12人
美国纽约大学(New York University),7人
(并列)美国加州理工学院(Caltech)、英国剑桥大学(University of Cambridge)、美国密歇根大学(University of Michigan)、英国牛津大学(University of Oxford),6人
一网打尽系列文章,请回复以下关键词查看: |
创新发展:习近平 | 创新中国 | 创新创业 | 科技体制改革 | 科技创新政策 | 协同创新 | 成果转化 | 新科技革命 | 基础研究 | 产学研 | 供给侧 |
热点专题:军民融合 | 民参军 | 工业4.0 | 商业航天 | 智库 | 国家重点研发计划 | 基金 | 装备采办 | 博士 | 摩尔定律 | 诺贝尔奖 | 国家实验室 | 国防工业 | 十三五 | 创新教育 | 军工百强 | 试验鉴定 | 影响因子 | 双一流 | 净评估 |
预见未来:预见2016 | 预见2020 | 预见2025 | 预见2030 | 预见2035 | 预见2045 | 预见2050 | |
前沿科技:颠覆性技术 | 生物 | 仿生 | 脑科学 | 精准医学 | 基因 | 基因编辑 | 虚拟现实 | 增强现实 | 纳米 | 人工智能 | 机器人 | 3D打印 | 4D打印 | 太赫兹 | 云计算 | 物联网 | 互联网+ | 大数据 | 石墨烯 | 能源 | 电池 | 量子 | 超材料 | 超级计算机 | 卫星 | 北斗 | 智能制造 | 不依赖GPS导航 | 通信 | MIT技术评论 | 航空发动机 | 可穿戴 | 氮化镓 | 隐身 | 半导体 | 脑机接口 |
先进武器:中国武器 | 无人机 | 轰炸机 | 预警机 | 运输机 | 战斗机 | 六代机 | 网络武器 | 激光武器 | 电磁炮 | 高超声速武器 | 反无人机 | 防空反导 | 潜航器 | |
未来战争:未来战争 | 抵消战略 | 水下战 | 网络空间战 | 分布式杀伤 | 无人机蜂群 | 太空站 |反卫星 |
领先国家:俄罗斯 | 英国 | 日本 | 以色列 | 印度 |
前沿机构:战略能力办公室 | DARPA | Gartner | 硅谷 | 谷歌 | 华为 | 俄先期研究基金会 | 军工百强 |
前沿人物:钱学森 | 马斯克 | 凯文凯利 | 任正非 | 马云 | 奥巴马 | 特朗普 |
专家专栏:黄志澄 | 许得君 | 施一公 | 王喜文 | 贺飞 | 李萍 | 刘锋 | 王煜全 | 易本胜 | 李德毅 | 游光荣 | 刘亚威 | 赵文银 | 廖孟豪 | 谭铁牛 | 于川信 | 邬贺铨 | |
全文收录:2016文章全收录 | 2015文章全收录 | 2014文章全收录 |
其他主题系列陆续整理中,敬请期待…… |