“A.M. 圖靈獎(jiǎng)(A.M Turing Award)”簡(jiǎn)稱圖靈獎(jiǎng)(Turing Award),名稱取自計(jì)算機(jī)科學(xué)的先驅(qū)、英國(guó)科學(xué)家艾倫·麥席森·圖靈(Alan M. Turing),是計(jì)算機(jī)領(lǐng)域最負(fù)盛名、最崇高的一個(gè)獎(jiǎng)項(xiàng),有“計(jì)算機(jī)界的諾貝爾獎(jiǎng)”之稱。
圖靈獎(jiǎng)由美國(guó)計(jì)算機(jī)協(xié)會(huì)(ACM)于1966年設(shè)立,專門獎(jiǎng)勵(lì)那些對(duì)計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個(gè)人,通常情況下,圖靈獎(jiǎng)都會(huì)在下一年的3月下旬頒發(fā)。圖靈獎(jiǎng)對(duì)獲獎(jiǎng)條件要求高,評(píng)獎(jiǎng)程序嚴(yán),通常每年只獎(jiǎng)勵(lì)一名計(jì)算機(jī)科學(xué)家,極少數(shù)情況下,會(huì)有多名合作者或在同一方向作出貢獻(xiàn)的科學(xué)家共享此獎(jiǎng)。
截至2021年,圖靈獎(jiǎng)華人獲得者只有一位——2000年圖靈獎(jiǎng)得主姚期智。姚期智,1946年出生于上海(2017年放棄美國(guó)國(guó)籍成為中國(guó)公民),中國(guó)科學(xué)院院士、香港科學(xué)院創(chuàng)院院士、美國(guó)國(guó)家科學(xué)院院士、美國(guó)藝術(shù)與科學(xué)學(xué)院院士,其研究方向包括計(jì)算理論及其在密碼學(xué)和量子計(jì)算中的應(yīng)用,姚期智最先提出量子通信復(fù)雜性,提出分布式量子計(jì)算模式,后來成為分布式量子算法和量子通訊協(xié)議安全性的基礎(chǔ)。
年份 | 姓名 | 貢獻(xiàn)領(lǐng)域/獲獎(jiǎ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ì)語言的科學(xué)與藝術(shù) |
1973年 | 查理士·巴赫曼(Charles W. Bachman) | 數(shù)據(jù)庫(kù)技術(shù) |
1974年 | 高德納(Donald E. Knuth) | 算法分析、程序設(shè)計(jì)語言的設(shè)計(jì)、程序設(shè)計(jì) |
1975年 | 艾倫·紐厄爾(Allen Newell),赫伯特·西蒙(Herbert A. Simon) | 人工智能,人類認(rèn)知心理學(xué)和列表處理 (list processing) |
1976年 | 邁克爾·拉賓(Michael O. Rabin),達(dá)納·斯科特(Dana S. Scott) | 非確定性自動(dòng)機(jī) |
1977年 | 約翰·巴克斯(John Backus) | 高級(jí)編程系統(tǒng),程序設(shè)計(jì)語言規(guī)范的形式化定義 |
1978年 | 羅伯特·弗洛伊德(Robert W. Floyd) | 設(shè)計(jì)高效可靠軟件的方法學(xué) |
1979年 | 肯尼斯·艾佛森(Kenneth E. Iverson) | 程序設(shè)計(jì)語言和數(shù)學(xué)符號(hào),互動(dòng)系統(tǒng)的設(shè)計(jì),運(yùn)用 APL進(jìn)行教學(xué),程序設(shè)計(jì)語言的理論與實(shí)踐 |
1980年 | 東尼·霍爾(C. Antony R. Hoare) | 程序設(shè)計(jì)語言的定義與設(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語言 |
1984年 | 尼古拉斯·沃斯(Niklaus Wirth) | 程序設(shè)計(jì)語言設(shè)計(jì)、程序設(shè)計(jì) |
1985年 | 理查德·卡普(Richard M. Karp) | 算法理論,尤其是NP-完全性理論 |
1986年 | 約翰·霍普克羅夫特(John Hopcroft),羅伯特·塔揚(yáng)(Robert Tarjan) | 算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析 |
1987年 | 約翰·科克(John Cocke) | 編譯理論,大型系統(tǒng)的體系結(jié)構(gòu),及精簡(jiǎn)指令集(RISC)計(jì)算機(jī)的開發(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語言,CCS |
1992年 | 巴特勒·蘭普森(Butler W. Lampson) | 分布式,個(gè)人計(jì)算環(huán)境 |
1993年 | 尤里斯·哈特馬尼斯(Juris Hartmanis),理查德·斯特恩斯(Richard E. Stearns) | 計(jì)算復(fù)雜度理論 |
1994年 | 愛德華·費(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ū)ο缶幊?/td> |
2002年 | 羅納德·李維斯特(Ronald L. Rivest),阿迪·薩莫爾(Adi Shamir),倫納德·阿德曼(Leonard M. Adleman) | 公鑰密碼學(xué)(RSA加密算法) |
2003年 | 艾倫·凱(Alan Kay) | 面向?qū)ο缶幊?/td> |
2004年 | 文特·瑟夫(Vinton G. Cerf),羅伯特·卡恩(Robert E. Kahn) | TCP/IP協(xié)議 |
2005年 | 彼得·諾爾(Peter Naur) | Algol 60語言 |
2006年 | 法蘭西斯·艾倫(Frances E. Allen) | 優(yōu)化編譯器 |
2007年 | 愛德蒙·克拉克(Edmund M. Clarke),艾倫·愛默生(Allen Emerson),約瑟夫·斯發(fā)基斯(Joseph Sifakis) | 開發(fā)自動(dòng)化方法檢測(cè)計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤 |
2008年 | 芭芭拉·利斯科夫(Barbara Liskov) | 編程語言和系統(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),馬丁·赫爾曼(Martin Hellman) | 非對(duì)稱加密的創(chuàng)始人 |
2016年 | 蒂姆·伯納斯·李(Tim Berners-Lee) | 萬維網(wǎng)的發(fā)明者 |
2017年 | 約翰·軒尼詩(shī)(John Hennessy),大衛(wèi)·帕特森(David Patterson) | 開發(fā)了RISC微處理器并且讓這一概念流行起來 |
2018年 | 約舒亞·本希奧(Yoshua Bengio),杰弗里·欣頓(Geoffrey Hinton),揚(yáng)·萊坎(Yann LeCun) | 人工智能深度學(xué)習(xí)方面 |
2019年 | Patrick M. Hanrahan,艾德文·卡特姆(Edwin E. Catmull) | 對(duì)3D計(jì)算機(jī)圖形學(xué)的貢獻(xiàn),以及這些技術(shù)對(duì)電影制作和計(jì)算機(jī)生成圖像(CGI)等應(yīng)用的革命性影響 |
2020年 | 杰弗里·戴維·烏爾曼(Jeffrey David Ullman)、阿爾弗雷德·艾侯(Alfred Vaino Aho) | 創(chuàng)造了全球數(shù)百萬編程人員使用的工具和教材,推進(jìn)編程語言實(shí)現(xiàn)的基礎(chǔ)算法和理論,并在極具影響力的書籍中綜述了這些研究成果 |
2021年 | 杰克·唐加拉(Jack J. Dongarra) | 通過對(duì)線性代數(shù)運(yùn)算的高效數(shù)值算法、并行計(jì)算編程機(jī)制和性能評(píng)估工具的貢獻(xiàn),引領(lǐng)了高性能計(jì)算的世界 |
2022年 | 鮑勃·梅特卡夫(Bob Metcalfe) | 為引領(lǐng)大眾進(jìn)入超級(jí)連接時(shí)代所做的貢獻(xiàn) |
2023年 | 艾維·維格森(Avi Wigderson) | 增強(qiáng)了人類對(duì)計(jì)算中隨機(jī)性和偽隨機(jī)性作用的理解 |
被譽(yù)為數(shù)學(xué)界諾貝爾獎(jiǎng)的菲爾茲獎(jiǎng),由數(shù)學(xué)界國(guó)際權(quán)威學(xué)術(shù)團(tuán)體國(guó)際數(shù)學(xué)聯(lián)盟主持,是數(shù)學(xué)獎(jiǎng)的最高獎(jiǎng)...
普利茲克獎(jiǎng),是1979年由杰伊·普利茲克和妻子辛蒂發(fā)起,凱悅基金會(huì)所贊助的針對(duì)建筑師頒布的...
諾貝爾獎(jiǎng)(The Nobel Prize)是以瑞典著名化學(xué)家、硝化甘油炸藥發(fā)明人阿爾弗雷德...
有這么一群人,他們?yōu)樯鐣?huì)科技的發(fā)展貢獻(xiàn)了自己的力量,為日新月異的高科技帶來新鮮的活力,他們...