小男孩‘自慰网亚洲一区二区,亚洲一级在线播放毛片,亚洲中文字幕av每天更新,黄aⅴ永久免费无码,91成人午夜在线精品,色网站免费在线观看,亚洲欧洲wwwww在线观看

分享

2017圖靈獎揭曉,52屆67位獲獎?wù)叨际钦l?

 mrin007 2018-03-23

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

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


來源:德先生



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


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


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


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


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


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


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


歷屆得主


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


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

1978年

羅伯特·弗洛伊德

Robert W. Floyd

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

1979年

肯尼斯·艾佛森

Kenneth E. Iverson

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

1980年

東尼·霍爾

C. Antony R. Hoare

程序設(shè)計語言的定義與設(shè)計

1981年

埃德加·科德

Edgar F. Codd

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

1982年

史提芬·古克

Stephen A. Cook

計算復(fù)雜度

1983年

肯·湯普遜

丹尼斯·里奇

Ken Thompson

Dennis M. Ritchie

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

1984年

尼古拉斯·沃斯

Niklaus Wirth

程序設(shè)計語言設(shè)計、程序設(shè)計

1985年

理查德·卡普

Richard M. Karp

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

1986年

約翰·霍普克羅夫特

羅伯特·塔揚(yáng)

John Hopcroft

Robert Tarjan

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

1987年

約翰·科克

John Cocke

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

1988年

伊凡·蘇澤蘭

Ivan Sutherland

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

1989年

威廉·卡亨

William Morton Kahan

數(shù)值分析

1990年

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

Fernando J. Corbató

CTSS和Multics

1991年

羅賓·米爾納

Robin Milner

LCF,ML語言,CCS

1992年

巴特勒·蘭普森

Butler W. Lampson

分布式,個人計算環(huán)境

1993年

尤里斯·哈特馬尼斯

理查德·斯特恩斯

Juris Hartmanis

Richard E. Stearns

計算復(fù)雜度理論

1994年

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

拉吉·瑞迪

Edward Feigenbaum

Raj Reddy

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

1995年

曼紐爾·布盧姆

Manuel Blum

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

1996年

阿米爾·伯努利

Amir Pnueli

時序邏輯,程序與系統(tǒng)驗證

1997年

道格拉斯·恩格爾巴特

Douglas Engelbart

互動計算

1998年

詹姆斯·尼古拉·格雷

James Gray

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

1999年

弗雷德里克·布魯克斯

Frederick P. Brooks,Jr.

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

2000年

姚期智

Andrew Chi-Chih Yao

計算理論,包括偽隨機(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語言

2006年

法蘭西斯·艾倫

Frances E. Allen

優(yōu)化編譯器

2007年

愛德蒙·克拉克

艾倫·愛默生

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

Edmund M. Clarke

Allen Emerson

Joseph Sifakis

開發(fā)自動化方法檢測計算機(jī)硬件和軟件中的設(shè)計錯誤

2008年

芭芭拉·利斯科夫

Barbara Liskov

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

2009年

查爾斯·薩克爾

Charles Thacker

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

2010年

萊斯利·瓦倫特

Leslie Valiant

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

2011年

猶大·伯爾

Judea Pearl

人工智能

2012年

莎菲·戈德瓦塞爾

希爾維奧·米卡利

Shafi Goldwasser

Silvio Micali

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

2013年

萊斯利·蘭伯特

Leslie Lamport

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

2014年

邁克爾·斯通布雷克

Michael Stonebraker

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

2015年

惠特菲爾德·迪菲

馬丁·赫爾曼

Whitfield Diffie and Martin Hellman

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

2016年

蒂姆·伯納斯·李

Tim Berners-Lee

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

2017年

約翰·軒尼詩

大衛(wèi)·帕特森

John L. Hennessy

David A. Patterson

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

各高校圖靈獎得主


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


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

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

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

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

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

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

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

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

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

    0條評論

    發(fā)表

    請遵守用戶 評論公約

    類似文章 更多