Turing Award

2005 Peter Naur

獲獎(jiǎng)原因：表彰他在設(shè)計(jì)Algol 60語言上的貢獻(xiàn)。由于其定義的清晰性，Algol 60成為了許多現(xiàn)代程序設(shè)計(jì)語言的原型。在語法描述中廣泛使用的BNF范式，其中的“N”便是來自Peter Naur的名字。

2004 Vinton G. Cerf、Robert E. Kahn

獲獎(jiǎng)原因：由于在互聯(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)。

2003 Alan Kay

獲獎(jiǎng)原因：由于在面向?qū)ο笳Z言方面原創(chuàng)性思想，領(lǐng)導(dǎo)了Smalltalk的開發(fā)團(tuán)隊(duì)，以及對(duì)PC的基礎(chǔ)性貢獻(xiàn)。

至理名言：預(yù)測(cè)未來的最好方法是創(chuàng)造它。

2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman

獲獎(jiǎng)原因：由于在公共密鑰理論和實(shí)踐方面的基礎(chǔ)性工作。

2001 Ole-Johan Dahl、Kristen Nygaard

獲獎(jiǎng)原因：由于面向?qū)ο缶幊淌及l(fā)于他們基礎(chǔ)性的構(gòu)想，這些構(gòu)想集中體現(xiàn)在他們所設(shè)計(jì)的編程語言SIMULA I 和SIMULA 67中。

2000 Andrew Chi-Chih Yao(姚期智)

獲獎(jiǎng)原因：由于在計(jì)算理論方面的貢獻(xiàn)而獲獎(jiǎng)，包括偽隨機(jī)數(shù)的生成算法、加密算法和通訊復(fù)雜性。

1999 Frederick P. Brooks, Jr.

獲獎(jiǎng)原因：由于在計(jì)算機(jī)體系架構(gòu)、操作系統(tǒng)以及軟件工程方面所做出的具有里程碑式意義的貢獻(xiàn)。人月神話的作者。

1998 James Gray

獲獎(jiǎng)原因：由于在數(shù)據(jù)庫、事務(wù)處理研究和相關(guān)系統(tǒng)實(shí)現(xiàn)的技術(shù)領(lǐng)導(dǎo)工作。

1997 Douglas Engelbart

獲獎(jiǎng)原因：由于提出了激動(dòng)人心的交互式計(jì)算機(jī)未來構(gòu)想，以及發(fā)明了實(shí)現(xiàn)這一構(gòu)想的關(guān)鍵技術(shù)。

1996 Amir Pnueli

獲獎(jiǎng)原因：由于在計(jì)算科學(xué)中引入temporal邏輯以及對(duì)編程和系統(tǒng)認(rèn)證方面的杰出貢獻(xiàn)。

1995 Manuel Blum

獲獎(jiǎng)原因：由于在計(jì)算復(fù)雜性理論、密碼學(xué)以及程序校驗(yàn)方面的基礎(chǔ)性貢獻(xiàn)。

1994 Edward Feigenbaum、Raj Reddy

獲獎(jiǎng)原因：由于他們所設(shè)計(jì)和建造的大規(guī)模人工智能系統(tǒng)，證明了人工智能技術(shù)的重要性和其潛在的商業(yè)價(jià)值。

1993 Juris Hartmanis、Richard E. Stearns

獲獎(jiǎng)原因：由于他們的論文奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)。

1992 Butler W. Lampson

獲獎(jiǎng)原因：由于在個(gè)人分布式計(jì)算機(jī)系統(tǒng)及其實(shí)現(xiàn)技術(shù)上的貢獻(xiàn)，這包括：工作站、網(wǎng)絡(luò)、操作系統(tǒng)、編程系統(tǒng)、顯示、安全和文檔發(fā)布。

1991 Robin Milner

獲獎(jiǎng)原因：由于在可計(jì)算函數(shù)邏輯(LCF)、ML和并行理論(CCS)這三個(gè)方面突出和完美的貢獻(xiàn)。

1990 Fernando J. Corbato'

獲獎(jiǎng)原因：由于組織和領(lǐng)導(dǎo)了多功能、大規(guī)模、時(shí)間和資源共享的計(jì)算機(jī)系統(tǒng)的開發(fā)。

1989 William (Velvel) Kahan

獲獎(jiǎng)原因：由于在數(shù)值分析方面的基礎(chǔ)性貢獻(xiàn)。

1988 Ivan Sutherland

獲獎(jiǎng)原因：由于在計(jì)算機(jī)圖形學(xué)方面開創(chuàng)性和遠(yuǎn)見性的貢獻(xiàn)，其所建立的技術(shù)歷經(jīng)二、三十年依然有效。

1987 John Cocke

獲獎(jiǎng)原因：由于在編譯器設(shè)計(jì)和理論、大規(guī)模系統(tǒng)架構(gòu)以及開發(fā)RISC等方面的重要貢獻(xiàn)。

1986 John Hopcroft、Robert Tarjan

獲獎(jiǎng)原因：由于在算法及數(shù)據(jù)結(jié)構(gòu)設(shè)計(jì)和分析方面的基礎(chǔ)性成就。

1985 Richard M. Karp

獲獎(jiǎng)原因：由于在算法理論方面，特別是NP-completeness理論方面，連續(xù)不斷的貢獻(xiàn)。

1984 Niklaus Wirth

獲獎(jiǎng)原因：由于開發(fā)了EULER、 ALGOL-W、 MODULA和PASCAL一系列嶄新的計(jì)算語言。

1983 Ken Thompson、Dennis M. Ritchie

獲獎(jiǎng)原因：由于在通用操作系統(tǒng)理論研究，特別是UNIX操作系統(tǒng)的實(shí)現(xiàn)上的貢獻(xiàn)。

1982 Stephen A. Cook

獲獎(jiǎng)原因：由于其于1971年發(fā)表的論文，奠定了NP-Completeness理論的基礎(chǔ)。

1981 Edgar F. Codd

獲獎(jiǎng)原因：由于在數(shù)椐庫管理系統(tǒng)的理論和實(shí)踐方面基礎(chǔ)性和連續(xù)不斷的貢獻(xiàn)，關(guān)系數(shù)據(jù)庫之父。

1980 C. Antony R. Hoare

獲獎(jiǎng)原因：由于在編程語言的定義和設(shè)計(jì)方面的基礎(chǔ)性貢獻(xiàn)。

1979 Kenneth E. Iverson

獲獎(jiǎng)原因：由于在編程語言的理論和實(shí)踐方面，特別是APL，所進(jìn)行的開創(chuàng)性的工作。

1978 Robert W. Floyd

獲獎(jiǎng)原因：由于在如何開發(fā)高效、可靠的軟件方法論方面的貢獻(xiàn)，這包括：建立分析理論、編程語言的語義學(xué)、自動(dòng)程序檢驗(yàn)、自動(dòng)程序綜合和算法分析在內(nèi)的多項(xiàng)
計(jì)算機(jī)子學(xué)科。

1977 John Backus

獲獎(jiǎng)原因：由于在高級(jí)語言方面所做出的具有廣泛和深遠(yuǎn)意義的貢獻(xiàn)，特別是其在Fortran語言方面。

1976 Michael O. Rabin、Dana S. Scott

獲獎(jiǎng)原因：由于他們的論文"有限自動(dòng)機(jī)與它們的決策問題"，被證明具有巨大的價(jià)值。

1975 Allen Newell、Herbert A. Simon

獲獎(jiǎng)原因：由于在人工智能、人類識(shí)別心理和表處理的基礎(chǔ)貢獻(xiàn)。

1974 Donald E. Knuth

獲獎(jiǎng)原因：由于在算法分析和程序語言設(shè)計(jì)方面的重要貢獻(xiàn)，計(jì)算機(jī)程序設(shè)計(jì)藝術(shù)的作者。

1973 Charles W. Bachman

獲獎(jiǎng)原因：由于在數(shù)據(jù)庫方面的杰出貢獻(xiàn)。

1972 E.W. Dijkstra

獲獎(jiǎng)原因：由于對(duì)開發(fā)ALGOL做出了原理性貢獻(xiàn)。

1971 John McCarthy

獲獎(jiǎng)原因：由于其講稿"The Present State of Research on Artificial
Intellegence"，對(duì)人工智能領(lǐng)域的貢獻(xiàn)。

1970 J.H. Wilkinson

獲獎(jiǎng)原因：由于其在數(shù)值分析方面的研究工作。

1969 Marvin Minsky

獲獎(jiǎng)原因：不祥

1968 Richard Hamming

獲獎(jiǎng)原因：由于其在計(jì)數(shù)方法、自動(dòng)編碼系統(tǒng)、檢測(cè)及糾正錯(cuò)碼方面的工作。

1967 Maurice V. Wilkes

獲獎(jiǎng)原因：由于設(shè)計(jì)和制造了第一臺(tái)內(nèi)部存儲(chǔ)程序的計(jì)算機(jī)EDSAC。

1966 A.J. Perlis

獲獎(jiǎng)原因：由于其在先進(jìn)編程技術(shù)和編譯架構(gòu)方面的貢獻(xiàn)。

參考資料

A.M. Turing Award

ACM 圖靈獎(jiǎng)獲得者分類(1966--2005)

陳懷臨

下面是目前的分類內(nèi)容，在www.xtrj.org/turing.htm
希望大家喜歡。

--------------------------------------

圖靈獎(jiǎng)獲得者分類(1966--2005)

總共獲獎(jiǎng)人數(shù)(1966--2005)：40屆，50人。

獲獎(jiǎng)科學(xué)家國籍分布：
美國: 35
英國: 5
以色列: 3
加拿大: 2
挪威: 2
荷蘭: 1
瑞士: 1
丹麥: 1

圖靈獎(jiǎng)獲得者最高學(xué)位分布：
博士學(xué)位：39
碩士學(xué)位：3
學(xué)士學(xué)位：5
無法了解: 3

圖靈獎(jiǎng)獲得者獲獎(jiǎng)時(shí)年齡分布：

70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(P
eter Naur)

60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato),
65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)

50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57
, 57, 58, 59, 59

40-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 49

30-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)

Unknown(2): Richard E. Stearns, James N. Gray

圖靈獎(jiǎng)獲得者去世人數(shù) (As of 5/19/2006)統(tǒng)計(jì)：12

獲獎(jiǎng)科學(xué)家研究方向分布：

硬件，體系結(jié)構(gòu) (2)
Maurice V. Wilkes (1967) -- 第一臺(tái)具有內(nèi)部存儲(chǔ)程序的計(jì)算機(jī)EDSAC
John Cocke (1987) -- RISC & 編譯優(yōu)化

程序設(shè)計(jì)語言(10)
Alan J. Perlis (1966) -- ALGOL
Edsger Wybe Dijkstra (1972) -- ALGOL
John W. Backus (1977) -- FORTRAN
Kenneth Eugene Iverson (1979) -- APL程序語言
Niklaus Wirth (1984) -- PASCAL
John Cocke (1987) -- RISC & 編譯優(yōu)化
Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula語言和面向?qū)ο蟾拍?br />Alan Kay(2003) -- SmallTalk語言和面向?qū)ο蟪绦蛟O(shè)計(jì)
Peter Naur(2005) -- ALGOL60以及編譯設(shè)計(jì)

形式語言, 程序語言語義 (4)
Robert W. Floyd (1978) -- 編程語言語義，自動(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)證

算法設(shè)計(jì) (10)
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)算
姚期智(Andrew Chi-Chih Yao) (2000) -- 偽隨機(jī)數(shù)復(fù)雜性，密碼系統(tǒng)和通訊復(fù)雜
性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公鑰密碼技術(shù) --RSA


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

人工智能 (6)
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)

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

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

圖形技術(shù)和交互式系統(tǒng) (2)
Ivan Edward Sutherland (1988) -- 圖形技術(shù)，CAD
Douglas Engelbart(1998) -- 交互式系統(tǒng)，鼠標(biāo)發(fā)明人

網(wǎng)絡(luò)通訊(2)
Vinton Gray Cerf (2004) -- Internet TCP/IP協(xié)議
Robert Kahn(2004) -- Internet TCP/IP協(xié)議

--------------------------------------

TURING獎(jiǎng)獲得者分類(1966--2005)

靈芯

下面是整理陳懷臨所寫“計(jì)算的美麗--圖靈獎(jiǎng)的第一個(gè)40年”一文的結(jié)果。

硬件
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é)議

程序語言設(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程序語言
Niklaus Wirth (1984) -- PASCAL
John Cocke (1987) -- RISC & 編譯優(yōu)化
Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula語言和面向?qū)ο蟾拍?br />Alan Kay(2003) -- SmallTalk語言和面向?qū)ο蟪绦蛟O(shè)計(jì)
Peter Naur(2005) -- ALGOL60以及編譯設(shè)計(jì)

算法
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è)問題是否是屬于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) -- 計(jì)算復(fù)雜性
Manuel Blum (1995) -- 計(jì)算復(fù)雜性，密碼系統(tǒng)和程序檢查驗(yàn)證

人工智能
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)

操作系統(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ù)庫
Charles W. Bachman (1973) -- 數(shù)據(jù)庫
Edgar Frank Codd (1981) -- 關(guān)系數(shù)據(jù)模型
James Gray(1998) -- 數(shù)據(jù)庫和事務(wù)處理

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

程序語言語義
Dana Stewart Scott (1976) -- 自動(dòng)機(jī)
Robert W. Floyd (1978) -- 編程語言語義，自動(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)證

幾點(diǎn)分析
1。圖靈獎(jiǎng)所獎(jiǎng)勵(lì)的研究工作通常是10到30年前的研究成果；
2。算法，復(fù)雜性，以及程序語言是獲獎(jiǎng)最多的領(lǐng)域；
3。大部分獲獎(jiǎng)?wù)邅碜詫W(xué)校和研究所，通過工業(yè)界的成就獲獎(jiǎng)的人有：
John Cocke，
Charles W. Bachman，
James N. Gray，
Frederick P. Brooks，
Dennis MacAlistair Ritchie，Ken Thompson。