Turing Award

2005 Peter Naur

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

2004 Vinton G. Cerf、Robert E. Kahn

獲獎原因：由于在互聯(lián)網(wǎng)方面開創(chuàng)性的工作，這包括設計和實現(xiàn)了互聯(lián)網(wǎng)的基礎通訊協(xié)議，TCP/IP，以及在網(wǎng)絡方面卓越的領導。

2003 Alan Kay

獲獎原因：由于在面向?qū)ο笳Z言方面原創(chuàng)性思想，領導了Smalltalk的開發(fā)團隊，以及對PC的基礎性貢獻。

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

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

獲獎原因：由于在公共密鑰理論和實踐方面的基礎性工作。

2001 Ole-Johan Dahl、Kristen Nygaard

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

2000 Andrew Chi-Chih Yao(姚期智)

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

1999 Frederick P. Brooks, Jr.

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

1998 James Gray

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

1997 Douglas Engelbart

獲獎原因：由于提出了激動人心的交互式計算機未來構想，以及發(fā)明了實現(xiàn)這一構想的關鍵技術。

1996 Amir Pnueli

獲獎原因：由于在計算科學中引入temporal邏輯以及對編程和系統(tǒng)認證方面的杰出貢獻。

1995 Manuel Blum

獲獎原因：由于在計算復雜性理論、密碼學以及程序校驗方面的基礎性貢獻。

1994 Edward Feigenbaum、Raj Reddy

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

1993 Juris Hartmanis、Richard E. Stearns

獲獎原因：由于他們的論文奠定了計算復雜性理論的基礎。

1992 Butler W. Lampson

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

1991 Robin Milner

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

1990 Fernando J. Corbato'

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

1989 William (Velvel) Kahan

獲獎原因：由于在數(shù)值分析方面的基礎性貢獻。

1988 Ivan Sutherland

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

1987 John Cocke

獲獎原因：由于在編譯器設計和理論、大規(guī)模系統(tǒng)架構以及開發(fā)RISC等方面的重要貢獻。

1986 John Hopcroft、Robert Tarjan

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

1985 Richard M. Karp

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

1984 Niklaus Wirth

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

1983 Ken Thompson、Dennis M. Ritchie

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

1982 Stephen A. Cook

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

1981 Edgar F. Codd

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

1980 C. Antony R. Hoare

獲獎原因：由于在編程語言的定義和設計方面的基礎性貢獻。

1979 Kenneth E. Iverson

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

1978 Robert W. Floyd

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

1977 John Backus

獲獎原因：由于在高級語言方面所做出的具有廣泛和深遠意義的貢獻，特別是其在Fortran語言方面。

1976 Michael O. Rabin、Dana S. Scott

獲獎原因：由于他們的論文"有限自動機與它們的決策問題"，被證明具有巨大的價值。

1975 Allen Newell、Herbert A. Simon

獲獎原因：由于在人工智能、人類識別心理和表處理的基礎貢獻。

1974 Donald E. Knuth

獲獎原因：由于在算法分析和程序語言設計方面的重要貢獻，計算機程序設計藝術的作者。

1973 Charles W. Bachman

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

1972 E.W. Dijkstra

獲獎原因：由于對開發(fā)ALGOL做出了原理性貢獻。

1971 John McCarthy

獲獎原因：由于其講稿"The Present State of Research on Artificial
Intellegence"，對人工智能領域的貢獻。

1970 J.H. Wilkinson

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

1969 Marvin Minsky

獲獎原因：不祥

1968 Richard Hamming

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

1967 Maurice V. Wilkes

獲獎原因：由于設計和制造了第一臺內(nèi)部存儲程序的計算機EDSAC。

1966 A.J. Perlis

獲獎原因：由于其在先進編程技術和編譯架構方面的貢獻。

參考資料

A.M. Turing Award

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

陳懷臨

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

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

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

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

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

圖靈獎獲得者最高學位分布：
博士學位：39
碩士學位：3
學士學位：5
無法了解: 3

圖靈獎獲得者獲獎時年齡分布：

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

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

獲獎科學家研究方向分布：

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

程序設計語言(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計
Peter Naur(2005) -- ALGOL60以及編譯設計

形式語言, 程序語言語義 (4)
Robert W. Floyd (1978) -- 編程語言語義，自動程序驗證
C. Antony R. Hoare (1980) -- Hoare Logic, CSP
Robin Milner (1991) -- LCF，ML，CCS，PI-calculus
Amir Pnueli (1996) -- 時序邏輯和系統(tǒng)驗證

算法設計 (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é)構和算法設計
William (Velvel) Morton Kahan (1989) -- 浮點運算
姚期智(Andrew Chi-Chih Yao) (2000) -- 偽隨機數(shù)復雜性，密碼系統(tǒng)和通訊復雜
性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公鑰密碼技術 --RSA


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

人工智能 (6)
Marvin Lee Minsky (1969) -- 神經(jīng)元網(wǎng)絡
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) -- 分時系統(tǒng)
Frederick P. Brooks(1999) -- IBM System360 操作系統(tǒng)

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

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

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

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

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

靈芯

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

硬件
Maurice V. Wilkes (1967) -- 第一臺具有內(nèi)部存儲程序的計算機EDSAC
John Cocke (1987) -- RISC & 編譯優(yōu)化
Vinton Gray Cerf (2004) -- Internet基礎通訊協(xié)議

程序語言設計與實現(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計
Peter Naur(2005) -- ALGOL60以及編譯設計

算法
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é)構和算法設計
William (Velvel) Morton Kahan (1989) -- 浮點運算IEEE標準主要設計師
姚期智(Andrew Chi-Chih Yao) (2000) -- 偽隨機數(shù)復雜性，密碼系統(tǒng)和通訊復雜
性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公鑰密碼技術

自動機和可計算性
Dana Stewart Scott (1976) -- 自動機
Michael Oser Rabin (1976) -- 自動機
Stephen Arthur Cook (1982) -- NP完全性
Richard Manning Karp (1985) -- 證明一個問題是否是屬于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) -- 計算復雜性
Manuel Blum (1995) -- 計算復雜性，密碼系統(tǒng)和程序檢查驗證

人工智能
Marvin Lee Minsky (1969) -- 神經(jīng)元網(wǎng)絡
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) -- 分時系統(tǒng)
Frederick P. Brooks(1999) -- IBM System360 操作系統(tǒng)

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

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

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

幾點分析
1。圖靈獎所獎勵的研究工作通常是10到30年前的研究成果；
2。算法，復雜性，以及程序語言是獲獎最多的領域；
3。大部分獲獎者來自學校和研究所，通過工業(yè)界的成就獲獎的人有：
John Cocke，
Charles W. Bachman，
James N. Gray，
Frederick P. Brooks，
Dennis MacAlistair Ritchie，Ken Thompson。