分享

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

 mrin007 2018-03-23

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

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


来源:德先生



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人

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多