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>

1966 A. J. Perlis因在新一代編程技術(shù)和編譯架構(gòu)方面的貢獻(xiàn)而獲獎(jiǎng)

1967 Maurice V. Wilkes因設(shè)計(jì)出第一臺(tái)具有內(nèi)置存儲(chǔ)程序的計(jì)算機(jī)而獲獎(jiǎng)

1968 Richard W. Hamming因在計(jì)數(shù)方法、自動(dòng)編碼系統(tǒng)、檢測(cè)及糾正錯(cuò)碼方面的貢獻(xiàn)被授予圖靈獎(jiǎng)

1969 Marvin Minsky 因?qū)θ斯ぶ悄艿呢暙I(xiàn)被授予圖靈獎(jiǎng)

1970 J. H. Wilkinson因在利用數(shù)值分析方法來(lái)促進(jìn)高速數(shù)字計(jì)算機(jī)的應(yīng)用方面的研究而獲獎(jiǎng)

1971 John McCarthy因?qū)θ斯ぶ悄艿呢暙I(xiàn)被授予圖靈獎(jiǎng)

1972 Edsger W. Dijkstra因在編程語(yǔ)言方面的出眾表現(xiàn)而獲獎(jiǎng)

1973 Charles W. Bachman因在數(shù)據(jù)庫(kù)方面的杰出貢獻(xiàn)而獲獎(jiǎng)

1974 Donald E. Knuth因設(shè)計(jì)和完成TEX(一種創(chuàng)新的具有很高排版質(zhì)量的文檔制作工具)而被授予該獎(jiǎng)

1975 Allen Newell和Herbert A.Simon因在人工智能、人類心理識(shí)別和列表處理等方面進(jìn)行的基礎(chǔ)研究而獲獎(jiǎng)

1976 Michael O. Robin和Dana S. Scott因他們的論文”有限自動(dòng)機(jī)與它們的決策問(wèn)題”中所提出的非確定性機(jī)器這一很有價(jià)值的概念而獲獎(jiǎng)

1977 John Backus因?qū)捎玫母呒?jí)編程系統(tǒng)設(shè)計(jì)有深遠(yuǎn)和重大的影響而獲獎(jiǎng)

1978 Robert W. F編程的算法方面的深遠(yuǎn)影響，并開創(chuàng)了包括剖析理論、編程語(yǔ)言的語(yǔ)義、自動(dòng)程序檢驗(yàn)、自動(dòng)程序合成和算法分析在內(nèi)的多項(xiàng)計(jì)算機(jī)子學(xué)科而被授予該獎(jiǎng)

1979 Kenneth E. Iverson因?qū)Τ绦蛟O(shè)計(jì)語(yǔ)言理論、互動(dòng)式系統(tǒng)及APL的貢獻(xiàn)被授予該獎(jiǎng)

1980 C. Anthony R. Hoare因?qū)Τ绦蛟O(shè)計(jì)語(yǔ)言的定義和設(shè)計(jì)所做的貢獻(xiàn)而獲獎(jiǎng)

1981 Edgar F. Codd因在數(shù)據(jù)庫(kù)管理系統(tǒng)的理論和實(shí)踐方面的貢獻(xiàn)而獲

1982 Steven A. Cook因奠定了NP-Completeness理論的基礎(chǔ)而獲獎(jiǎng)

1983 Ken Thompson和Dennis M. Ritchie因在通用操作系統(tǒng)理論方面的突出貢獻(xiàn), 特別是對(duì)UNIX操作系統(tǒng)的推廣的貢獻(xiàn)而獲獎(jiǎng)

1984 Niklaus Wirth因開發(fā)了EULER, ALGOL-W, MODULA和PASCAL一系列嶄新的計(jì)算語(yǔ)言而獲獎(jiǎng)

1985 Richard M. Karp因?qū)λ惴ɡ碚摰呢暙I(xiàn)而獲獎(jiǎng)

1986 John E. Hopcroft因在算法及數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)和分析中所取得的決定性成果而獲獎(jiǎng)

1987 John Cocke因在面向?qū)ο蟮木幊陶Z(yǔ)言和相關(guān)的編程技巧方面的貢獻(xiàn)而獲獎(jiǎng)

1988 Ivan E. Sutherland因在計(jì)算機(jī)圖形學(xué)方面的貢獻(xiàn)而獲獎(jiǎng)

1989 William V.Kahan因在數(shù)值分析方面的貢獻(xiàn)而獲獎(jiǎng)

1990 Fernando J.Corbato因在開發(fā)大型多功能，可實(shí)現(xiàn)時(shí)間和資源共享的計(jì)算系統(tǒng)，如CTSS和Multics方面的貢獻(xiàn)而獲獎(jiǎng)

1991 Robin Milner因在可計(jì)算的函數(shù)邏輯(LCF)、ML和并行理論(CCS)這三個(gè)方面的貢獻(xiàn)而獲獎(jiǎng)

1992 Butler Lampson因在個(gè)人分布式計(jì)算機(jī)系統(tǒng)方面的貢獻(xiàn)而獲獎(jiǎng)

1993 Jurlis Hartmanis和Richard E. Stearns因奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)而獲獎(jiǎng)

1994 Raj Reddy和Edward Feigenbaum因?qū)Υ笮腿斯ぶ悄芟到y(tǒng)的開拓性研究而獲獎(jiǎng)

1995 Manuel Blum因奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)和在密碼術(shù)及程序校驗(yàn)方面的貢獻(xiàn)而獲獎(jiǎng)

1996 Amir Pnueli因在中引入臨時(shí)邏輯和對(duì)程序及系統(tǒng)檢驗(yàn)的貢獻(xiàn)而獲獎(jiǎng)

1997 Douglas Engelbart因提出交互計(jì)算概念并創(chuàng)造出實(shí)現(xiàn)這一概念的重要技術(shù)而獲獎(jiǎng)

1998 James Gray因在數(shù)據(jù)庫(kù)和事務(wù)處理方面的突出貢獻(xiàn)而獲獎(jiǎng)

1999 Frederick P. Brooks, Jr. 由于在計(jì)算機(jī)體系架構(gòu)、操作系統(tǒng)以及軟件工程方面所做出的具有里程碑式意義的貢獻(xiàn)。《人月神話》的作者

2000 Andrew Chi-Chih Yao(姚期智) 由于在計(jì)算理論方面的貢獻(xiàn)而獲獎(jiǎng)，包括偽隨機(jī)數(shù)的生成算法、加密算法和通訊復(fù)雜性

2001 Ole-Johan Dahl, Kristen Nygaard 由于面向?qū)ο缶幊淌及l(fā)于他們基礎(chǔ)性的構(gòu)想，這些構(gòu)想集中體現(xiàn)在他們所設(shè)計(jì)的編程語(yǔ)言SIMULA I 和SIMULA 67中

2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman 由于在公共密鑰理論和實(shí)踐方面的基礎(chǔ)性工作而獲獎(jiǎng)

2003 Alan Kay 由于在面向?qū)ο笳Z(yǔ)言方面原創(chuàng)性思想，領(lǐng)導(dǎo)了Smalltalk的開發(fā)團(tuán)隊(duì)，以及對(duì)PC的基礎(chǔ)性貢獻(xiàn)。至理名言：預(yù)測(cè)未來(lái)的最好方法是創(chuàng)造它

2004 Vinton G. Cerf, Robert E. Kahn 由于在互聯(lián)網(wǎng)方面開創(chuàng)性的工作，這包括設(shè)計(jì)和實(shí)現(xiàn)了互聯(lián)網(wǎng)的基礎(chǔ)通訊協(xié)議，TCP/IP，以及在網(wǎng)絡(luò)方面卓越的領(lǐng)導(dǎo)

2005 Naur Peter 因他在設(shè)計(jì)Algol 60語(yǔ)言于其定義的清晰性，Algol 60成為了許多現(xiàn)代程序設(shè)計(jì)語(yǔ)言的原型。在語(yǔ)法描述中廣泛使用的BNF范式，其中的“N”便是來(lái)自Peter Naur的名字

2006 Frances E. Allen因其在編譯器優(yōu)化理論和實(shí)踐方面做出的開創(chuàng)性貢獻(xiàn)而獲獎(jiǎng)。Allen是該獎(jiǎng)項(xiàng)創(chuàng)立40年來(lái)的第一位女性得主。

2007 Edmund M. Clarke，Allen Emerson和Joseph Sifakis因?yàn)椤霸趯⒛Ｐ蜋z查發(fā)展為被硬件和軟件業(yè)中所廣泛采納的高效驗(yàn)證技術(shù)上的貢獻(xiàn)”而榮獲該獎(jiǎng)

2008 Barbara Liskov因在計(jì)算機(jī)軟件更加可靠、安全和更具一致性方面的貢獻(xiàn)而獲獎(jiǎng)。她也成為歷史上第二位獲得圖靈獎(jiǎng)的女性

2009 Chuck Thacker以表彰他對(duì)第一臺(tái)現(xiàn)代個(gè)人計(jì)算機(jī)——施樂(lè)帕克（Xerox PARC）Alto的先驅(qū)性設(shè)計(jì)，以及在局域網(wǎng)（包括以太網(wǎng)）、多處理器工作站、窺探高速緩存一致性協(xié)議和平板PC等方面的杰出成就與貢獻(xiàn)。他是以太局域網(wǎng)的發(fā)明者之一，也是世界是第一臺(tái)激光打印機(jī)發(fā)明者之一

2010 Leslie G. Valiant因?qū)Ρ姸嗟挠?jì)算理論，包括PAC學(xué)習(xí)、枚舉復(fù)雜性和代數(shù)計(jì)算和并行與分布式計(jì)算所做的變革性的貢獻(xiàn)而獲獎(jiǎng)

2011 Judea Pearl因在人工智能領(lǐng)域的基礎(chǔ)性工作獲獎(jiǎng)，他提出的概率和因果性推理演算法，徹底改變了人工智能當(dāng)初基于規(guī)則和推理的方向

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)證

【微信公眾號(hào)：yuanpeople，猿人類-專為程序猿而生】