Turing獎(jiǎng)最早設(shè)立于1966年，是美國(guó)計(jì)算機(jī)協(xié)會(huì)在計(jì)算機(jī)技術(shù)方面所授予的最高獎(jiǎng)項(xiàng)，被喻為計(jì)算機(jī)界的諾貝爾獎(jiǎng)。它是以英國(guó)數(shù)學(xué)天才Alan Turing先生的名字命名的，Alan Turing先生對(duì)早期計(jì)算的理論和實(shí)踐做出了突出的貢獻(xiàn)。圖靈獎(jiǎng)主要授予在計(jì)算機(jī)技術(shù)領(lǐng)域做出突出貢獻(xiàn)的個(gè)人，而這些貢獻(xiàn)必須對(duì)計(jì)算機(jī)科學(xué)與技術(shù)有長(zhǎng)遠(yuǎn)而重要的影響。1966年，A. J. Perlis因其在新一代編程技術(shù)和編譯架構(gòu)方面的貢獻(xiàn)成為圖靈獎(jiǎng)的第一個(gè)得主。
每年，美國(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)格的審核，并最終確定當(dāng)年的獲獎(jiǎng)?wù)摺?/p>

年份姓名貢獻(xiàn)領(lǐng)域

1966年	艾倫·佩利	高級(jí)程序設(shè)計(jì)技巧，編譯器構(gòu)造
1967年	莫里斯·威爾克斯	存儲(chǔ)過(guò)程式計(jì)算機(jī)EDSAC，EDSAC 2，程序庫(kù)
1968年	理查德·衛(wèi)斯里·漢明	數(shù)值方法，自動(dòng)編碼系統(tǒng)，錯(cuò)誤檢測(cè)和糾錯(cuò)碼
1969年	馬文·閔斯基	人工智能
1970年	詹姆斯·維爾金森	數(shù)值分析，線性代數(shù)，倒退錯(cuò)誤分析
1971年	約翰·麥卡錫	人工智能
1972年	艾茲格·迪科斯徹	程序設(shè)計(jì)語(yǔ)言的科學(xué)與藝術(shù)
1973年	查理士·巴赫曼	數(shù)據(jù)庫(kù)技術(shù)
1974年	高德納	算法分析、程序設(shè)計(jì)語(yǔ)言的設(shè)計(jì)、程序設(shè)計(jì)
1975年	艾倫·紐厄爾	人工智能，人類認(rèn)知心理學(xué)和列表處理（list processing）
	赫伯特·西蒙
1976年	邁克爾·拉賓	非確定性自動(dòng)機(jī)
	達(dá)納·斯科特
1977年	約翰·巴克斯	高級(jí)編程系統(tǒng)，程序設(shè)計(jì)語(yǔ)言規(guī)范的形式化定義
1978年	羅伯特·弗洛伊德	設(shè)計(jì)高效可靠軟件的方法學(xué)
1979年	肯尼斯·艾佛森	程序設(shè)計(jì)語(yǔ)言和數(shù)學(xué)符號(hào)，互動(dòng)系統(tǒng)的設(shè)計(jì)，運(yùn)用APL進(jìn)行教學(xué)，程序設(shè)計(jì)語(yǔ)言的理論與實(shí)踐
1980年	東尼·霍爾	程序設(shè)計(jì)語(yǔ)言的定義與設(shè)計(jì)
1981年	埃德加·科德	數(shù)據(jù)庫(kù)系統(tǒng)，尤其是關(guān)系型數(shù)據(jù)庫(kù)
1982年	史提芬·古克	計(jì)算復(fù)雜度
1983年	肯·湯普遜	UNIX操作系統(tǒng)和C語(yǔ)言
	丹尼斯·里奇
1984年	尼克勞斯·維爾特	程序設(shè)計(jì)語(yǔ)言設(shè)計(jì)、程序設(shè)計(jì)
1985年	理查德·卡普	算法理論，尤其是NP-完全性理論
1986年	約翰·霍普克洛夫特	算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析
	羅伯特·塔揚(yáng)
1987年	約翰·科克	編譯理論，大型系統(tǒng)的體系結(jié)構(gòu)，及精簡(jiǎn)指令集（RISC）計(jì)算機(jī)的開(kāi)發(fā)
1988年	伊凡·蘇澤蘭	計(jì)算機(jī)圖形學(xué)
1989年	威廉·卡韓	數(shù)值分析
1990年	費(fèi)爾南多·考巴托	CTSS和Multics
1991年	羅賓·米爾納	LCF，ML語(yǔ)言，CCS
1992年	巴特勒·蘭普森	分布式，個(gè)人計(jì)算環(huán)境
1993年	尤里斯·哈特馬尼斯	計(jì)算復(fù)雜度理論
	理查德·斯特恩斯
1994年	愛(ài)德華·費(fèi)根鮑姆	大規(guī)模人工智能系統(tǒng)
	拉吉·瑞迪
1995年	曼紐爾·布盧姆	計(jì)算復(fù)雜度理論，及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用
1996年	阿米爾·伯努利	時(shí)序邏輯，程序與系統(tǒng)驗(yàn)證
1997年	道格拉斯·恩格爾巴特	互動(dòng)計(jì)算
1998年	詹姆斯·尼古拉·格雷	數(shù)據(jù)庫(kù)與事務(wù)處理
1999年	弗雷德里克·布魯克斯	計(jì)算機(jī)體系結(jié)構(gòu)，操作系統(tǒng)，軟件工程
2000年	姚期智[4]	計(jì)算理論，包括偽隨機(jī)數(shù)生成，密碼學(xué)與通信復(fù)雜度
2001年	奧利-約翰·達(dá)爾	面向?qū)ο缶幊?/td>
	克利斯登·奈加特
2002年	羅納德·李維斯特	公鑰密碼學(xué)（RSA加密算法）
	阿迪·薩莫爾
	倫納德·阿德曼
2003年	艾倫·凱	面向?qū)ο缶幊?/td>
2004年	文特·瑟夫	TCP/IP協(xié)議
	羅伯特·卡恩
2005年	彼得·諾爾	Algol 60語(yǔ)言
2006年	法蘭西斯·艾倫	優(yōu)化編譯器
2007年 [5]	愛(ài)德蒙·克拉克	開(kāi)發(fā)自動(dòng)化方法檢測(cè)計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤
	艾倫·愛(ài)默生
	約瑟夫·斯發(fā)基斯
2008年	芭芭拉·利斯科夫	編程語(yǔ)言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論
2009年	查爾斯·薩克爾	幫助設(shè)計(jì)、制造第一款現(xiàn)代PC
2010年	萊斯利·瓦倫特	對(duì)眾多計(jì)算理論所做的變革性的貢獻(xiàn)
2011年	朱迪亞·珀?duì)?/td>	通過(guò)概率論和因果推理（英語(yǔ)：Causal reasoning）對(duì)人工智能領(lǐng)域作出的根本性貢獻(xiàn)
2012年	莎菲·戈德瓦塞爾	在密碼科學(xué)領(lǐng)域里，于復(fù)雜理論的基礎(chǔ)之上，做出變革性工作；并領(lǐng)先發(fā)展出新的具有數(shù)學(xué)可證明性的有效驗(yàn)證機(jī)制[6]
	希爾維奧·米卡利
2013年	萊斯利·蘭波特	對(duì)于分布式及并形系統(tǒng)的理論與實(shí)踐具有基礎(chǔ)性貢獻(xiàn)，尤其是諸如因果邏輯時(shí)序（causality and logical clocks）、安全性與存活度（safety and liveness）、復(fù)制狀態(tài)機(jī)（replicated state machines）及循序一致性（英語(yǔ)：sequential consistency）（sequential consistency）等理論概念的發(fā)明[7]
2014年	邁克爾·斯通布雷克	對(duì)現(xiàn)代數(shù)據(jù)庫(kù)的概念和實(shí)踐作出的根本性貢獻(xiàn)
2015年	惠特菲爾德·迪菲	發(fā)明迪菲-赫爾曼密鑰交換，對(duì)公開(kāi)密鑰加密技術(shù)有重大貢獻(xiàn)[8]。
	馬丁·赫爾曼

TURING獎(jiǎng)獲得者分類(1966–2010)

硬件
Maurice V. Wilkes (1967) ——第一臺(tái)具有內(nèi)部存儲(chǔ)程序的計(jì)算機(jī)EDSAC
John Cocke (1987) —— RISC & 編譯優(yōu)化
Vinton Gray Cerf (2004) —— Internet基礎(chǔ)通訊協(xié)議
Chuck Thacke（2009）—— 局域網(wǎng)
Frances E. Allen（2006）—— 編譯器優(yōu)化理論
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型驗(yàn)證

程序語(yǔ)言設(shè)計(jì)與實(shí)現(xiàn)
Alan J. Perlis (1966) ——ALGOL
John McCarthy (1971) —— LISP
Edsger Wybe Dijkstra (1972) —— ALGOL
John W. Backus (1977) —— FORTRAN
Kenneth Eugene Iverson (1979) ——APL程序語(yǔ)言
Niklaus Wirth (1984) —— PASCAL
John Cocke (1987) ——RISC & 編譯優(yōu)化
Ole-Johan Dahl，Kristen Nygaard (2001) —— Simula語(yǔ)言和面向?qū)ο蟾拍?(獲獎(jiǎng)前30年)
Alan Kay(2003) ——SmallTalk語(yǔ)言和面向?qū)ο蟪绦蛟O(shè)計(jì)
Peter Naur(2005) —— ALGOL60以及編譯設(shè)計(jì)
Barbara Liskov(2008) ——數(shù)據(jù)抽象與分布式計(jì)算
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型驗(yàn)證

算法
Richard Hamming (1968) —— 漢明碼
James Hardy Wilkinson (1970) —— 數(shù)值分析
Donald E. Knuth —— art of computer programming
John E. Hopcroft，Robert Endre. Tarjan (1986) ——數(shù)據(jù)結(jié)構(gòu)和算法設(shè)計(jì)
William (Velvel) Morton Kahan (1989) —— 浮點(diǎn)運(yùn)算IEEE標(biāo)準(zhǔn)主要設(shè)計(jì)師
Andrew Chi-Chih Yao (姚期智) (2000) ——偽隨機(jī)數(shù)復(fù)雜性，密碼系統(tǒng)和通訊復(fù)雜性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) ——公鑰密碼技術(shù)

自動(dòng)機(jī)和可計(jì)算性
Dana Stewart Scott (1976) —— 自動(dòng)機(jī)
Michael Oser Rabin (1976) ——自動(dòng)機(jī)
Stephen Arthur Cook (1982) —— NP完全性
Richard Manning Karp (1985) —— 證明一個(gè)問(wèn)題是否是屬于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) —— 計(jì)算復(fù)雜性
Manuel Blum (1995) —— 計(jì)算復(fù)雜性，密碼系統(tǒng)和程序檢查驗(yàn)證
Leslie G. Valiant（2010）——計(jì)算復(fù)雜性

人工智能
Marvin Lee Minsky (1969) —— 神經(jīng)元網(wǎng)絡(luò)
John McCarthy (1971) —— LISP
Allen Newell，Herbert Simon (1975) —— Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) ——專家系統(tǒng)
Leslie G. Valiant（2010）——機(jī)器學(xué)習(xí)
Judea Pearl（2011）—— 概率和因果性推理演算法

操作系統(tǒng)
Dennis MacAlistair Ritchie，Ken Thompson (1983) —— UNIX
Fernando Jose Corbato (1990) ——分時(shí)系統(tǒng)
Frederick P. Brooks(1999) —— IBM System360 操作系統(tǒng)

數(shù)據(jù)庫(kù)
Charles W. Bachman (1973) —— 數(shù)據(jù)庫(kù)
Edgar Frank Codd (1981) ——關(guān)系數(shù)據(jù)模型
James Gray(1998) —— 數(shù)據(jù)庫(kù)和事務(wù)處理

圖像處理和交互式系統(tǒng)
Ivan Edward Sutherland (1988) ——圖像處理，CAD
Douglas Engelbart(1998) —— 交互式系統(tǒng)，鼠標(biāo)發(fā)明人

程序語(yǔ)言語(yǔ)義
Dana Stewart Scott (1976) ——自動(dòng)機(jī)
Robert W. Floyd (1978) —— 編程語(yǔ)言語(yǔ)義，自動(dòng)程序驗(yàn)證
C. Antony R. Hoare (1980) —— Hoare Logic, CSP
Robin Milner (1991) —— LCF，ML，CCS，PI-calculus
Amir Pnueli (1996) —— 時(shí)序邏輯和系統(tǒng)驗(yàn)證

總結(jié)

以上是生活随笔為你收集整理的历届图灵奖得主及研究领域的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。