其他

2017图灵奖揭晓,52届67位获奖者都是谁?

2018-03-22 远望智库预见未来 战略前沿技术

远望智库:与智者同行,为创新加速

专家库 | 人才库 | 企业库 | 项目库 | 投资机构库 | 招商信息库


来源:德先生



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文章全收录 

其他主题系列陆续整理中,敬请期待…… 


您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存