日韩黑丝制服一区视频播放|日韩欧美人妻丝袜视频在线观看|九九影院一级蜜桃|亚洲中文在线导航|青草草视频在线观看|婷婷五月色伊人网站|日本一区二区在线|国产AV一二三四区毛片|正在播放久草视频|亚洲色图精品一区

分享

2017圖靈獎(jiǎng)揭曉,52屆67位獲獎(jiǎng)?wù)叨际钦l(shuí)?

 mrin007 2018-03-23

遠(yuǎn)望智庫(kù):與智者同行,為創(chuàng)新加速

專家?guī)?/span> | 人才庫(kù) | 企業(yè)庫(kù) | 項(xiàng)目庫(kù) | 投資機(jī)構(gòu)庫(kù) | 招商信息庫(kù)


來(lái)源:德先生



3月 21 日,美國(guó)計(jì)算機(jī)協(xié)會(huì)(ACM)將 2017 年圖靈獎(jiǎng)授予斯坦福大學(xué)前校長(zhǎng)John L. Hennessy和加州大學(xué)伯克利分校退休教授David A. Patterson,以表彰他們開(kāi)創(chuàng)了一種系統(tǒng)的、定量的方法來(lái)設(shè)計(jì)和評(píng)價(jià)計(jì)算機(jī)體系結(jié)構(gòu),并對(duì) RISC 微處理器行業(yè)產(chǎn)生了持久的影響。


John L. Hennessy  和David Patterson 創(chuàng)立了一種系統(tǒng)化和定量化的方法來(lái)設(shè)計(jì)更快、更低功耗和精簡(jiǎn)指令集計(jì)算機(jī)( RISC )微處理器。他們的方法導(dǎo)致了持久和可重復(fù)的原則,已經(jīng)在學(xué)術(shù)界和工業(yè)界的許多項(xiàng)目中使用。如今,每年生產(chǎn)的160多億微處理器中有99 %是RISC處理器,幾乎所有的智能手機(jī)、平板電腦以及組成物聯(lián)網(wǎng)( IoT )的數(shù)十億嵌入式設(shè)備中都有這種處理器。


此外 Hennessy 和 Patterson 在他們合著的經(jīng)典著作《計(jì)算機(jī)體系結(jié)構(gòu)(量化研究方法)》(Computer Architecture: A Quantitative Approach)中詳細(xì)陳述了他們的見(jiàn)解。他們的這些工作鞏固了我們對(duì)新處理器架構(gòu)進(jìn)行建模和分析的能力,極大地加速了微處理器設(shè)計(jì)的進(jìn)步。


“計(jì)算機(jī)界諾貝爾獎(jiǎng)”——圖靈獎(jiǎng)


圖靈獎(jiǎng)是美國(guó)計(jì)算機(jī)協(xié)會(huì)于1966年設(shè)立的,又叫'A.M.圖靈獎(jiǎng)',專門獎(jiǎng)勵(lì)那些對(duì)計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個(gè)人。其名稱取自計(jì)算機(jī)科學(xué)的先驅(qū)、英國(guó)科學(xué)家艾倫·圖靈,這個(gè)獎(jiǎng)設(shè)立目的之一是紀(jì)念這位科學(xué)家。


圖靈獎(jiǎng)對(duì)獲獎(jiǎng)?wù)叩囊髽O高,評(píng)獎(jiǎng)程序極嚴(yán),一般每年只獎(jiǎng)勵(lì)一名計(jì)算機(jī)科學(xué)家,只有極少數(shù)年度有兩名在同一方向上做出貢獻(xiàn)的科學(xué)家同時(shí)獲獎(jiǎng)。因此,盡管“圖靈”的獎(jiǎng)金數(shù)額不算高,但它卻是計(jì)算機(jī)界最負(fù)盛名的獎(jiǎng)項(xiàng),有“計(jì)算機(jī)界諾貝爾獎(jiǎng)”之稱。


截至2017年,獲此殊榮的華人僅有一位,他是2000年圖靈獎(jiǎng)得主姚期智。據(jù)相關(guān)資料統(tǒng)計(jì),美國(guó)斯坦福大學(xué)的圖靈獎(jiǎng)人數(shù)(校友或教職工)位列世界第一(27位) ,美國(guó)麻省理工學(xué)院(25位)位列世界第二  ,美國(guó)加州大學(xué)伯克利分校位列世界第三(25位);哈佛大學(xué)(14位)和普林斯頓大學(xué)(13位)分列世界第四和第五名。


歷屆得主


從1966年到2017年,共52屆、共67名得主,按國(guó)籍分,美國(guó)學(xué)者最多,歐洲學(xué)者偶見(jiàn)之,華人學(xué)者目?jī)H有2000年圖靈獎(jiǎng)得主姚期智(現(xiàn)在清華大學(xué)、香港中文大學(xué))。


67名得主分布在幾十個(gè)小領(lǐng)域,排在前六的領(lǐng)域有:編譯原理、程序設(shè)計(jì)語(yǔ)言,計(jì)算復(fù)雜性理論,人工智能,密碼學(xué),以及數(shù)據(jù)庫(kù)(4名)。在某種意義上,可大致認(rèn)為,前三個(gè)領(lǐng)域與計(jì)算機(jī)科學(xué)本身更密切一些,后三個(gè)領(lǐng)域與軍民應(yīng)用更密切一些。

1978年

羅伯特·弗洛伊德

Robert W. Floyd

設(shè)計(jì)高效可靠軟件的方法學(xué)

1979年

肯尼斯·艾佛森

Kenneth E. Iverson

程序設(shè)計(jì)語(yǔ)言和數(shù)學(xué)符號(hào),互動(dòng)系統(tǒng)的設(shè)計(jì),運(yùn)用 APL進(jìn)行教學(xué),程序設(shè)計(jì)語(yǔ)言的理論與實(shí)踐

1980年

東尼·霍爾

C. Antony R. Hoare

程序設(shè)計(jì)語(yǔ)言的定義與設(shè)計(jì)

1981年

埃德加·科德

Edgar F. Codd

數(shù)據(jù)庫(kù)系統(tǒng),尤其是關(guān)系型數(shù)據(jù)庫(kù)

1982年

史提芬·古克

Stephen A. Cook

計(jì)算復(fù)雜度

1983年

肯·湯普遜

丹尼斯·里奇

Ken Thompson

Dennis M. Ritchie

UNⅨ操作系統(tǒng)和C語(yǔ)言

1984年

尼古拉斯·沃斯

Niklaus Wirth

程序設(shè)計(jì)語(yǔ)言設(shè)計(jì)、程序設(shè)計(jì)

1985年

理查德·卡普

Richard M. Karp

算法理論,尤其是NP-完全性理論

1986年

約翰·霍普克羅夫特

羅伯特·塔揚(yáng)

John Hopcroft

Robert Tarjan

算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析

1987年

約翰·科克

John Cocke

編譯理論,大型系統(tǒng)的體系結(jié)構(gòu),及精簡(jiǎn)指令集(RISC)計(jì)算機(jī)的開(kāi)發(fā)

1988年

伊凡·蘇澤蘭

Ivan Sutherland

計(jì)算機(jī)圖形學(xué)

1989年

威廉·卡亨

William Morton Kahan

數(shù)值分析

1990年

費(fèi)爾南多·考巴脫

Fernando J. Corbató

CTSS和Multics

1991年

羅賓·米爾納

Robin Milner

LCF,ML語(yǔ)言,CCS

1992年

巴特勒·蘭普森

Butler W. Lampson

分布式,個(gè)人計(jì)算環(huán)境

1993年

尤里斯·哈特馬尼斯

理查德·斯特恩斯

Juris Hartmanis

Richard E. Stearns

計(jì)算復(fù)雜度理論

1994年

愛(ài)德華·費(fèi)根鮑姆

拉吉·瑞迪

Edward Feigenbaum

Raj Reddy

大規(guī)模人工智能系統(tǒng)

1995年

曼紐爾·布盧姆

Manuel Blum

計(jì)算復(fù)雜度理論,及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用

1996年

阿米爾·伯努利

Amir Pnueli

時(shí)序邏輯,程序與系統(tǒng)驗(yàn)證

1997年

道格拉斯·恩格爾巴特

Douglas Engelbart

互動(dòng)計(jì)算

1998年

詹姆斯·尼古拉·格雷

James Gray

數(shù)據(jù)庫(kù)與事務(wù)處理

1999年

弗雷德里克·布魯克斯

Frederick P. Brooks,Jr.

計(jì)算機(jī)體系結(jié)構(gòu),操作系統(tǒng),軟件工程

2000年

姚期智

Andrew Chi-Chih Yao

計(jì)算理論,包括偽隨機(jī)數(shù)生成,密碼學(xué)與通信復(fù)雜度

2001年

奧利-約翰·達(dá)爾

克利斯登·奈加特

Ole-Johan Dahl

Kristen Nygaard

面向?qū)ο缶幊?/span>

2002年

羅納德·李維斯特

阿迪·薩莫爾

倫納德·阿德曼

Ronald L. Rivest

Adi Shamir

Leonard M. Adleman

公鑰密碼學(xué)(RSA加密算法)

2003年

艾倫·凱

Alan Kay

面向?qū)ο缶幊?/span>

2004年

文特·瑟夫

羅伯特·卡恩

Vinton G. Cerf

Robert E. Kahn

TCP/IP協(xié)議

2005年

彼得·諾爾

Peter Naur

Algol 60語(yǔ)言

2006年

法蘭西斯·艾倫

Frances E. Allen

優(yōu)化編譯器

2007年

愛(ài)德蒙·克拉克

艾倫·愛(ài)默生

約瑟夫·斯發(fā)基斯

Edmund M. Clarke

Allen Emerson

Joseph Sifakis

開(kāi)發(fā)自動(dòng)化方法檢測(cè)計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤

2008年

芭芭拉·利斯科夫

Barbara Liskov

編程語(yǔ)言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論

2009年

查爾斯·薩克爾

Charles Thacker

幫助設(shè)計(jì)、制造第一款現(xiàn)代PC

2010年

萊斯利·瓦倫特

Leslie Valiant

對(duì)眾多計(jì)算理論所做的變革性的貢獻(xiàn)

2011年

猶大·伯爾

Judea Pearl

人工智能

2012年

莎菲·戈德瓦塞爾

希爾維奧·米卡利

Shafi Goldwasser

Silvio Micali

由于在密碼學(xué)和復(fù)雜理論領(lǐng)域做出創(chuàng)舉性工作

2013年

萊斯利·蘭伯特

Leslie Lamport

在提升計(jì)算機(jī)系統(tǒng)的可靠性及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn) 

2014年

邁克爾·斯通布雷克

Michael Stonebraker

對(duì)現(xiàn)代數(shù)據(jù)庫(kù)系統(tǒng)底層的概念與實(shí)踐所做出的基礎(chǔ)性貢獻(xiàn)

2015年

惠特菲爾德·迪菲

馬丁·赫爾曼

Whitfield Diffie and Martin Hellman

這兩個(gè)人是非對(duì)稱加密的創(chuàng)始人

2016年

蒂姆·伯納斯·李

Tim Berners-Lee

萬(wàn)維網(wǎng)的發(fā)明者 

2017年

約翰·軒尼詩(shī)

大衛(wèi)·帕特森

John L. Hennessy

David A. Patterson

開(kāi)創(chuàng)了一種系統(tǒng)的、定量的方法來(lái)設(shè)計(jì)和評(píng)價(jià)計(jì)算機(jī)體系結(jié)構(gòu)

各高校圖靈獎(jiǎng)得主


圖靈獎(jiǎng)(Turing Award)自1966年首次頒發(fā),截止2017年共授予了67位個(gè)人 。據(jù)相關(guān)資料統(tǒng)計(jì),截止2017年,按圖靈獎(jiǎng)得主數(shù)量(校友、教職工以及研究人員),前10名高校名單如下:


美國(guó)斯坦福大學(xué)(Stanford University),27人

美國(guó)麻省理工學(xué)院(MIT),25人

美國(guó)加州大學(xué)伯克利分校(UC Berkeley), 25人

美國(guó)哈佛大學(xué)(Harvard University),14人

美國(guó)普林斯頓大學(xué)(Princeton University),13人

美國(guó)卡耐基梅隆大學(xué)(Carnegie Mellon University),12人

美國(guó)紐約大學(xué)(New York University),7人

(并列)美國(guó)加州理工學(xué)院(Caltech)、英國(guó)劍橋大學(xué)(University of Cambridge)、美國(guó)密歇根大學(xué)(University of Michigan)、英國(guó)牛津大學(xué)(University of Oxford),6人

    本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點(diǎn)。請(qǐng)注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購(gòu)買等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請(qǐng)點(diǎn)擊一鍵舉報(bào)。
    轉(zhuǎn)藏 分享 獻(xiàn)花(0

    0條評(píng)論

    發(fā)表

    請(qǐng)遵守用戶 評(píng)論公約

    類似文章 更多