芒果视频下载

網站分類
登錄 |    

【計算機諾貝爾獎】圖靈獎獲得者名單 歷屆圖靈獎得主盤點

本文章由注冊用戶 皮丘看熱點 上傳提供 2021-01-08 評論 發布 反饋 0
有“計算機界的諾貝爾獎”之稱的圖靈獎,是計算機領域最負盛名、最崇高的一個獎項,獎勵對計算機事業作出重要貢獻的個人。2000年圖靈獎得主姚期智是目前唯一獲得圖靈獎的華人學者,本篇文章,maigoo小編為您整理了一份圖靈獎獲得者名單,下面一起來看歷屆圖靈獎得主盤點。
圖靈獎是什么
美食

“A.M. 圖(tu)(tu)靈(ling)獎(jiang)(A.M Turing Award)”簡(jian)稱(cheng)圖(tu)(tu)靈(ling)獎(jiang)(Turing Award),名(ming)稱(cheng)取自計(ji)算機(ji)科(ke)學(xue)的(de)先驅(qu)、英國科(ke)學(xue)家艾倫·麥席森·圖(tu)(tu)靈(ling)(Alan M. Turing),是計(ji)算機(ji)領域最負盛名(ming)、最崇高的(de)一(yi)個獎(jiang)項,有“計(ji)算機(ji)界(jie)的(de)諾貝(bei)爾獎(jiang)”之稱(cheng)。

圖靈獎(jiang)(jiang)由美國計(ji)算機協會(ACM)于(yu)1966年(nian)設(she)立,專門獎(jiang)(jiang)勵(li)那些對計(ji)算機事業(ye)作出(chu)重要貢(gong)獻的(de)個人,通常情況下,圖靈獎(jiang)(jiang)都會在(zai)下一年(nian)的(de)3月下旬(xun)頒(ban)發(fa)。圖靈獎(jiang)(jiang)對獲獎(jiang)(jiang)條(tiao)件(jian)要求(qiu)高(gao),評獎(jiang)(jiang)程(cheng)序嚴,通常每(mei)年(nian)只獎(jiang)(jiang)勵(li)一名(ming)計(ji)算機科(ke)學家,極少數情況下,會有多名(ming)合作者或在(zai)同(tong)一方向作出(chu)貢(gong)獻的(de)科(ke)學家共(gong)享此(ci)獎(jiang)(jiang)。

圖靈獎華人獲得者
美食

截(jie)至2019年(nian),圖靈獎(jiang)華(hua)人獲得者只(zhi)有(you)一(yi)位(wei)——2000年(nian)圖靈獎(jiang)得主姚期智(zhi)。姚期智(zhi),1946年(nian)出生于上海(2017年(nian)放棄美國(guo)(guo)國(guo)(guo)籍成(cheng)為中國(guo)(guo)公民),中國(guo)(guo)科學(xue)(xue)院(yuan)院(yuan)士(shi)(shi)、香(xiang)港(gang)科學(xue)(xue)院(yuan)創院(yuan)院(yuan)士(shi)(shi)、美國(guo)(guo)國(guo)(guo)家(jia)科學(xue)(xue)院(yuan)院(yuan)士(shi)(shi)、美國(guo)(guo)藝術與科學(xue)(xue)學(xue)(xue)院(yuan)院(yuan)士(shi)(shi),其研究方向包括計(ji)算(suan)(suan)理論及其在密(mi)碼學(xue)(xue)和(he)量(liang)(liang)子(zi)計(ji)算(suan)(suan)中的應用,姚期智(zhi)最先提(ti)出量(liang)(liang)子(zi)通信(xin)復雜性,提(ti)出分(fen)布(bu)式量(liang)(liang)子(zi)計(ji)算(suan)(suan)模式,后來(lai)成(cheng)為分(fen)布(bu)式量(liang)(liang)子(zi)算(suan)(suan)法和(he)量(liang)(liang)子(zi)通訊協(xie)議安全性的基礎。

圖靈獎獲得者名單
年份 姓名 貢獻領域/獲獎理由
1966年 艾倫·佩利(Alan J. Perlis) 高級程序設計技巧,編譯器構造
1967年 莫里斯·威爾克斯(Maurice V. Wilkes) 存儲程序式計算機EDSAC,程序庫
1968年 理查德·衛斯里·漢明(Richard Hamming) 數值方法,自動編碼系統,錯誤檢測和糾錯碼
1969年 馬文·明斯基(Marvin Minsky) 人工智能
1970年 詹姆斯·維爾金森(James H. Wilkinson) 數值分析,線性代數,倒退錯誤分析
1971年 約翰·麥卡錫(John McCarthy) 人工智能
1972年 艾茲格·迪科斯徹(Edsger Dijkstra) 程序設計語言的科學與藝術
1973年 查理士·巴赫曼(Charles W. Bachman) 數據庫技術
1974年 高德納(Donald E. Knuth) 算法分析、程序設計語言的設計、程序設計
1975年 艾倫·紐厄爾(Allen Newell),赫伯特·西蒙(Herbert A. Simon) 人工智能,人類認知心理學和列表處理 (list processing)
1976年 邁克爾·拉賓(Michael O. Rabin),達納·斯科特(Dana S. Scott) 非確定性自動機
1977年 約翰·巴克斯(John Backus) 高級編程系統,程序設計語言規范的形式化定義
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),馬丁·赫爾曼(Martin Hellman) 非對稱加密的創始人
2016年 蒂姆·伯納斯·李(Tim Berners-Lee) 萬維網的發明者
2017年 約翰·軒尼詩(John Hennessy),大衛·帕特森(David Patterson) 開發了RISC微處理器并且讓這一概念流行起來
2018年 約舒亞·本希奧(Yoshua Bengio),杰弗里·欣頓(Geoffrey Hinton),揚·萊坎(Yann LeCun) 人工智能深度學習方面
2019年 Patrick M. Hanrahan,艾德文·卡特姆(Edwin E. Catmull) 對3D計算機圖形學的貢獻,以及這些技術對電影制作和計算機生成圖像(CGI)等應用的革命性影響
2020年 杰弗里·戴維·烏爾曼(Jeffrey David Ullman)、阿爾弗雷德·艾侯(Alfred Vaino Aho) 創造了全球數百萬編程人員使用的工具和教材,推進編程語言實現的基礎算法和理論,并在極具影響力的書籍中綜述了這些研究成果
推薦閱讀
網站提醒和聲明
本(ben)站為注(zhu)冊(ce)用(yong)戶提(ti)供(gong)信息存儲空間(jian)(jian)服(fu)務,非(fei)“MAIGOO編輯上傳(chuan)提(ti)供(gong)”的文(wen)章/文(wen)字均是注(zhu)冊(ce)用(yong)戶自主發布(bu)上傳(chuan),不代表(biao)本(ben)站觀點,更不表(biao)示(shi)本(ben)站支持購買和交易,本(ben)站對(dui)網頁中內(nei)容的合法性(xing)(xing)(xing)、準確性(xing)(xing)(xing)、真實性(xing)(xing)(xing)、適用(yong)性(xing)(xing)(xing)、安全(quan)性(xing)(xing)(xing)等概不負責。版(ban)權歸(gui)原(yuan)作者所有,如有侵(qin)權、虛假(jia)信息、錯(cuo)誤信息或任何問(wen)題(ti),請及時聯系我們(men),我們(men)將在(zai)第(di)一時間(jian)(jian)刪除或更正。 申請刪除>> 糾錯>> 投訴侵權>>
提交說明: 快速提交發布>> 查看提交幫助>> 注冊登錄>>
發表評論
您還未登錄,依《網絡安全法》相關要求,請您登錄賬戶后再提交發布信息。點擊登錄>>如您還未注冊,可,感謝您的理解及支持!
最(zui)新評論
暫無評論
頁面相關分類
熱門模塊
已有3844336個品牌入駐 更新517946個招商信息 已發布1578531個代理需求 已有1323524條品牌點贊