日韩久久久精品,亚洲精品久久久久久久久久久,亚洲欧美一区二区三区国产精品 ,一区二区福利

1966-2008 ACM圖靈獎(jiǎng)得主

系統(tǒng) 2302 0

原文出自: http://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96

推薦讀物

1. ACM圖靈獎(jiǎng)官方網(wǎng)站

2. ACM圖靈獎(jiǎng)(1966-2006)第三版-計(jì)算機(jī)發(fā)展史的縮影. 高等教育出版社, 2008年

3. IEEE計(jì)算機(jī)先驅(qū)獎(jiǎng)(1980-2006)第二版-計(jì)算機(jī)科學(xué)與技術(shù)中的發(fā)明史. 高等教育出版社, 2008年

附:55位圖靈獎(jiǎng)獲得者全家福

1966-2008 ACM圖靈獎(jiǎng)得主

圖靈獎(jiǎng) (Turing Award),是美國(guó)計(jì)算機(jī)協(xié)會(huì)(ACM)于1966年設(shè)立的,又叫“A.M. 圖靈獎(jiǎng)”,專門(mén)獎(jiǎng)勵(lì)那些對(duì)計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個(gè)人。其名稱取自計(jì)算機(jī)科學(xué)的先驅(qū)、英國(guó)科學(xué)家阿蘭·圖靈,這個(gè)獎(jiǎng)設(shè)立目的之一是紀(jì)念這位科學(xué)家。獲獎(jiǎng)?wù)叩呢暙I(xiàn)必須是在計(jì)算機(jī)領(lǐng)域具有持久而重大的技術(shù)先進(jìn)性的。大多數(shù)獲獎(jiǎng)?wù)呤怯?jì)算機(jī)科學(xué)家。

圖靈獎(jiǎng)是計(jì)算機(jī)界最負(fù)盛名的獎(jiǎng)項(xiàng),有“計(jì)算機(jī)界諾貝爾獎(jiǎng)”之稱。圖靈獎(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)由英特爾公司以及Google公司贊助,獎(jiǎng)金為250,000美元。

每年,美國(guó)計(jì)算機(jī)協(xié)會(huì)將要求提名人推薦本年度的圖靈獎(jiǎng)候選人,并附加一份200到500字的文章,說(shuō)明被提名者為什么應(yīng)獲此獎(jiǎng)。任何人都可成為提名人。美國(guó)計(jì)算機(jī)協(xié)會(huì)將組成評(píng)選委員會(huì)對(duì)被提名者進(jìn)行嚴(yán)格的評(píng)審,并最終確定當(dāng)年的獲獎(jiǎng)?wù)摺?

1966-2008 歷屆圖靈獎(jiǎng)獲得者

年份 中文譯名 姓名 貢獻(xiàn)領(lǐng)域
1966年 艾倫·佩利 Alan J. Perlis 高級(jí) 程序設(shè)計(jì) 技巧, 編譯器 構(gòu)造
1967年 莫里斯·威爾克斯 Maurice V. Wilkes 存儲(chǔ)程序式計(jì)算機(jī) EDSAC , 程序 庫(kù)
1968年 理查德·衛(wèi)斯里·漢明 Richard Hamming 數(shù)值方法,自動(dòng)編碼系統(tǒng),錯(cuò)誤檢測(cè)和糾錯(cuò)碼
1969年 馬文·閔斯基 Marvin Minsky 人工智能
1970年 詹姆斯·維爾金森 James H. Wilkinson 數(shù)值分析,線性代數(shù),“倒退”錯(cuò)誤分析
1971年 約翰·麥卡錫 John McCarthy 人工智能
1972年 艾茲格·迪科斯徹 Edsger Dijkstra 程序設(shè)計(jì)語(yǔ)言 的科學(xué)與藝術(shù)
1973年 查理士·巴赫曼 Charles W. Bachman 數(shù)據(jù)庫(kù)技術(shù)
1974年 高德納 Donald E. Knuth 算法分析、程序設(shè)計(jì)語(yǔ)言的設(shè)計(jì)、程序設(shè)計(jì)
1975年 艾倫·紐厄爾
赫伯特·西蒙
Allen Newell
Herbert A. Simon
人工智能,人類認(rèn)知心理學(xué)和列表處理 (list processing)
1976年 邁克爾·拉賓
達(dá)納·斯科特
Michael O. Rabin
Dana S. Scott
非確定性自動(dòng)機(jī)
1977年 約翰·巴克斯 John Backus 高級(jí)編程系統(tǒng),程序設(shè)計(jì)語(yǔ)言規(guī)范的形式化定義
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
UNIX 操作系統(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 (Velvel) 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
2002年 羅納德·李維斯特
阿迪·薩莫爾
倫納德·阿德曼
Ronald L. Rivest
Adi Shamir
Leonard M. Adleman
公鑰密碼學(xué) RSA加密算法
2003年 阿倫·凱 Alan Kay 2004年 文特·瑟夫
羅伯特·卡恩
Vinton G. Cerf
Robert E. Kahn
TCP/IP 協(xié)議
2005年 彼得·諾爾 Peter Naur Algol 60 語(yǔ)言
2006年 法蘭西斯·艾倫 Frances E. Allen 優(yōu)化編譯器
2007年 [1] 愛(à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í)踐與理論

1966-2008 ACM圖靈獎(jiǎng)得主


更多文章、技術(shù)交流、商務(wù)合作、聯(lián)系博主

微信掃碼或搜索:z360901061

微信掃一掃加我為好友

QQ號(hào)聯(lián)系: 360901061

您的支持是博主寫(xiě)作最大的動(dòng)力,如果您喜歡我的文章,感覺(jué)我的文章對(duì)您有幫助,請(qǐng)用微信掃描下面二維碼支持博主2元、5元、10元、20元等您想捐的金額吧,狠狠點(diǎn)擊下面給點(diǎn)支持吧,站長(zhǎng)非常感激您!手機(jī)微信長(zhǎng)按不能支付解決辦法:請(qǐng)將微信支付二維碼保存到相冊(cè),切換到微信,然后點(diǎn)擊微信右上角掃一掃功能,選擇支付二維碼完成支付。

【本文對(duì)您有幫助就好】

您的支持是博主寫(xiě)作最大的動(dòng)力,如果您喜歡我的文章,感覺(jué)我的文章對(duì)您有幫助,請(qǐng)用微信掃描上面二維碼支持博主2元、5元、10元、自定義金額等您想捐的金額吧,站長(zhǎng)會(huì)非常 感謝您的哦!??!

發(fā)表我的評(píng)論
最新評(píng)論 總共0條評(píng)論
主站蜘蛛池模板: 灵川县| 洛隆县| 广西| 浦县| 平远县| 湘乡市| 依安县| 临邑县| 松滋市| 甘孜| 英吉沙县| 华亭县| 麻栗坡县| 湟源县| 河南省| 观塘区| 古丈县| 永济市| 麻栗坡县| 上杭县| 凤城市| 北流市| 米林县| 庐江县| 儋州市| 东城区| 襄汾县| 莎车县| 临西县| 四子王旗| 太康县| 会理县| 攀枝花市| 通州区| 石河子市| 永济市| 潼关县| 贵定县| 威海市| 文水县| 成都市|