計算機名人堂(歷屆圖靈獎獲得者)
摘自 溫研的專欄
圖靈獎最早設立於1966年,是美國計算機協會在計算機技術方面所授予的最高獎項,被喻爲計算機界的諾貝爾獎.它是以英國數學天才Alan Turing先生的名字命名的,Alan Turing先生對早期計算的理論和實踐做出了突出的貢獻.圖靈獎主要授予在計算機技術領域做出突出貢獻的個人.而這些貢獻必須對計算機業有長遠而重要的影響.迄今爲止已有34位在計算機領域做出突出貢獻的科學家獲此殊榮.
1966年,A. J. Perlis因其在新一代編程技術和編譯架構方面的貢獻成爲圖靈獎的第一個得主.
圖靈獎被稱爲“計算科學界的諾貝爾獎”，它創立於1960年，現在的獎金10萬美元，由Intel公司贊助。
1966 A.J.Perlis因在新一代編程技術和編譯架構方面的貢獻而獲獎
1967 Maurice V.Wilkes因設計出第一臺具有內置存儲程序的計算機而獲獎
1968 Richard W.Hamming因在計數方法、自動編碼系統、檢測及糾正錯碼方面的貢獻被授予圖靈獎
1969 Marvin Minsky(資料空缺)
1970 J.H.Wilkinson因在利用數值分析方法來促進高速數字計算機的應用方面的研 究而獲獎
1971 John McCarthy因對人工智能的貢獻被授予圖靈獎
1972 Edsger W.Dijkstra因在編程語言方面的出衆表現而獲獎
1973 Charles W.Bachman因在數據庫方面的傑出貢獻而獲獎
1974 Donald E.Knuth因設計和完成TEX(一種創新的具有很高排版質量的文檔製作工具)而被授予該獎
1975 Allen Newell和Herbert A.Simon因在人工智能、人類心理識別和列表處理等 方面進行的基礎研究而獲獎
1976 Michael O.Robin和Dana S.Scott因他們的論文“有限自動機與它們的決策問 題”中所提出的非決定性機器這一很有價值的概念而獲獎
1977 John Backus因對可用的高級編程系統設計有深遠和重大的影響而獲將1978 Robert W.Floyd因其在軟件編程的算法方面的深遠影響，並開創了包括剖析 理論、編程語言的語義、自動程序檢驗、自動程序合成和算法分析在內的多項計算機子學科而被授予該獎
1979 Kenneth E.Iverson因對程序設計語言理論、互動式系統及APL的貢獻被授予該獎
1980 C.Anthony R.hoare因對程序設計語言的定義和設計所做的貢獻而獲獎
1981 Edgar F.Codd因在數據庫管理系統的理論和實踐方面的貢獻而獲獎
1982 Steven A.Cook因奠定了NP-Completeness理論的基礎而獲獎
1983 Ken Thompson和Dennis M.Ritchie因在通用操作系統理論方面的突出貢獻， 特別是對UNIX操作系統的推廣的貢獻而獲獎
1984 Niklaus Wirth因開發了EULER、ALGOL-W、MODULA和PASCAL一系列嶄新的計算語言而獲獎
1985 Richard M.Karp因對算法理論的貢獻而獲獎
1986 John E.Hopcroft因在算法及數據結構的設計和分析中所取得的決定性成果而 獲獎
1987 John Cocke因在面向對象的編程語言和相關的編程技巧方面的貢獻而獲獎
1988 Ivan E.Sutherland因在計算機圖形學方面的貢獻而獲獎
1989 William V.Kahan因在數值分析方面的貢獻而獲獎
1990 Fernando J.Corbato因在開發大型多功能、可實現時間和資源共享的計算系統，如CTSS和Multics方面的貢獻而獲獎
1991 Robin Milner因在可計算的函數邏輯(LCF)、ML和並行理論(CCS)這三個方面的貢獻而獲獎
1992 Butler Lampson因在個人分佈式計算機系統方面的貢獻而獲獎
1993 Jurlis Hartmanis和Richard E.Stearns因奠定了計算複雜性理論的基礎而獲 獎
1994 Raj Reddy和Edward Feigenbaum因對大型人工智能系統的開拓性研究而獲獎
1995 Manuel Blum因奠定了計算複雜性理論的基礎和在密碼術及程序校驗方面的貢獻而獲獎
1996 Amir Pnueli因在中引入臨時邏輯和對程序及系統檢驗的貢獻而獲獎
1997 Douglas Engelbart因提出交互計算概念並創造出實現這一概念的重要技術而獲獎
1998 James Gray因在數據庫和事務處理方面的突出貢獻而獲獎
1999 Frederick P.和Brooks ,Jr.因對計算機體系結構和操作系統以及軟件工程做出了里程碑式的貢獻. 人月神話的作者。
2000 Yao, Andrew Chi-Chih (姚期智)由於在計算理論方面的貢獻而獲獎，包括僞隨機數的生成算法、加密算法和通訊複雜性。
2001 Dahl, Ole-Johan和Nygaard, Kristen 因他們在設計編程語言SIMULA I 和 SIMULA 67時產生的基礎性想法,這些想法是面向對象技術的肇始.
2002 Rivest, Ronald L.和Shamir, 和Adi Adleman, Leonard M.國際上最具影響力的公鑰密碼算法“RSA”的創始人
2003 Kay, Alan 因發明第一個完全面向對象的動態計算機程序設計語言Smalltalk. 至理名言：預測未來的最好方法是創造它。
2004 Cerf, Vinton G.和Kahn, Robert E.(TCP/IP協議發明人)由於在互聯網方面開創性的工作，這包括設計和實現了互聯網的基礎通訊協議，TCP/IP，以及在網絡方面卓越的領導。
2005 Naur, Peter ACM（美國計算機學會）決定將2005年圖靈獎頒發給Peter Naur， 以表彰他在設計Algol 60語言上的貢獻。由於其定義的清晰性，Algol 60成爲了許多現代程序設計語言的原型。在語法描述中廣泛使用的BNF範式，其中的 “N”便是來自Peter Naur的名字。
摘要：( 授 予 Fernando Jose Corbato 圖 靈 獎 以 表 彰 其 )先驅性的在組織和綜合概念和領導開發通用大規模，分時系統，資源共享計算機系統，如CTSS和Multics。 ——點擊此處閱讀全文
摘要：( 授 予 William (Velvel) Kahan圖 靈 獎 以 表 彰 其 )在數值分析領域基礎性的貢獻。William Kahan是關於浮點運算方面最重要的科學家之一。Kahan一直致力於“使得這個世界在數值計算方面更加安全” ——點擊此處閱讀全文
摘要：( 授 予Ivan Sutherland 圖 靈 獎 以 表 彰 其在) 從Sketchpad開始在計算機圖形學領域先驅性的和遠見性的貢獻。雖然Sketchpad是Ivan Sutherland二十五年前的工作，但Sketchpad中的許多技術對目前仍然是非常重要的。這其中包括屏幕刷新的文件顯示，對圖形對象(Object)的遞歸掃描的層次結構，對幾何轉換的遞歸方法和麪向對象(Object Oriented)的編程模式。Ivan Sutherland在Sketchpad之後的發明還包括用來顯示立體和彩色圖像的"Lorgnette"技術，和一系列(圖形圖像)算法：registering digitized views, clipping polygons,和representing surfaces with hidden lines(用隱含的線來表達一個圖形的表面)。 ——點擊此處閱讀全文
摘要：( 授 予John Cocke 圖 靈 獎 以 表 彰 其在)編譯理論與實踐領域的重要貢獻，大型系統的體系結構，精簡指令集(RISC)的開發，和發現與系統化被用在優化編譯領域的許多基本的變換理論，例如：reduction of operator strength, elimination of common subexpressons, register allocation, constant propagation, and dead code elimination。 ——點擊此處閱讀全文
摘要：( 授 予 Robert E. Tarjan圖 靈 獎 以 表 彰 其在) 數據結構和算法設計與分析領域的重要的基礎性的貢獻。 ——點擊此處閱讀全文
摘要：( 授 予 John E. Hopcroft圖 靈 獎 以 表 彰 其在) 數據結構和算法設計與分析領域的重要的基礎性的貢獻。 ——點擊此處閱讀全文
摘要：( 授 予 Richard M. Karp圖 靈 獎 以 表 彰 其在) 算法理論方面的持續性的貢獻，其中包括在網絡流(network flow) 和其他組合優化問題領域的高效算法的研究，在多項式時間可計算性算法方面，特別是對NP完全理論的貢獻。Karp引入了現已經成爲標準方法的用來證明一個問題是否是屬於NP完全。Karp的方法使得許多理論和實際問題被確認爲從可計算性角度而言是複雜的或困難的。 ——點擊此處閱讀全文
摘要： ( 授 予Niklaus Wirth 圖 靈 獎 以 表 彰 其 ) 開發了一系列的計算機程序語言，EULER, ALGOL-W, MODULEA和PASCAL。PASCAL語言 被用在計算機程序語言教學上具有重要的意義，併爲將來的計算機語言，系統和結構設計提供了一個基礎。 ——點擊此處閱讀全文
摘要：( 授 予Dennis Ritchie和Ken Thompson 圖 靈 獎 以 表 彰 其 在)通用操作系統理論領域的貢獻，特別是Unix操作系統的開發與實現。 ——點擊此處閱讀全文
摘要：( 授 予Dennis Ritchie和Ken Thompson 圖 靈 獎 以 表 彰 其 在)通用操作系統理論領域的貢獻，特別是Unix操作系統的開發與實現。 ——點擊此處閱讀全文
摘要：( 授 予 Stephen A. Cook 圖 靈 獎 以 表 彰 其 ) 對我們深刻理解計算複雜性的開創性的貢獻。Cook的開創性文章，1971年發表在ACM SIGACT Symposium on the Theory of Computing, "The Complexity of Theorem Proving Procedures", 揭開了計算複雜性中NP完全性的研究。在此基礎上的關於NP完全性問題的本質和邊界的研究與探討 成爲過去十年來計算機科學最活躍和重要的研究領域之一。 ——點擊此處閱讀全文
摘要： 授 予 Edgar F. Codd圖 靈 獎 以 表 彰 其) 在數據庫管理系統的理論與實踐領域的根本性的，持續的貢獻。開始於1970年，Edgar發表了一系列的研究文章關於關係數據模型的數據庫管理。其中，他的“A Relational Model of Data for Large Shared Data Banks” 一文是數據庫系統研究領域的開創性文章。Codd博士在數據庫領域的基礎性工作爲其他相關領域的廣泛研究提供了動力，比如數據庫語言，查詢子系統，數據庫語義，鎖和恢復，推理系統等等。 ——點擊此處閱讀全文
摘要： ( 授 予 C. Antony R. Hoar圖 靈 獎 以 表 彰 其在) 程序語言定義與設計領域的根本性的貢獻。 ——點擊此處閱讀全文
摘要：( 授 予 Kenneth E. Iverson 圖 靈 獎 以 表 彰 其 ) 在APL程序語言和(計算機)數學符號方面的先驅性的工作；表彰其在教育和普及APL語言和程序語言理論和實踐方面的交互式系統的實現工作。 ——點擊此處閱讀全文
摘要：( 授 予 Robert W. Floyd 圖 靈 獎 以 表 彰 其 ) 在高效和可靠性軟件設計方法學領域的顯著影響；表彰其在下列計算機科學重要分支的奠基性的貢獻：(詞法)分析理論，編程語言語義，自動程序驗證，自動程序綜合生成和算法分析。 ——點擊此處閱讀全文
摘要：( 授 予John Backus 圖 靈 獎 以表 彰其在) 可實用高級編程系統設計，特別是其在FORTRAN語言方面的設計，以及其在編程語言規約的形式化描述方面的，深奧的，傑出影響力的和持續的貢獻。 ——點擊此處閱讀全文
摘要： ( 授 予 Michael O. Rabin圖 靈 獎 以 表 彰 其 )( 與Dana Steward Scott合作撰寫的研究論文)” 有限自動機與其判定性問題“。在該研究論文中，提出了非確定性(自動機)機器的觀點。(在計算理論科學研究中，)非確定性被證明是一個非常重要的概念。Rabin和Scott的這篇經典文章成爲這個領域後續研究的基石。 ——點擊此處閱讀全文
摘要：( 授 予 Dana S. Scott圖 靈 獎 以 表 彰 其 )( (與Michael O. Rabin合作撰寫的研究論文)” 有限自動機與其判定性問題“。在該研究論文中，提出了非確定性(自動機)機器的觀點。(在計算理論科學研究中，)非確定性被證明是一個非常重要的概念。Scott和Rabin的這篇經典文章成爲這個領域後續研究的基石。 ——點擊此處閱讀全文
摘要：( 授 予 Herbert Simon 圖 靈 獎 以 表 彰 其 在)開始於與在RAND(蘭德)公司的J. C. Shaw的合作，然後與Carnegie-Mellon Unviersity(CMU)的衆多教授和學生的合作的二十多年的科學生涯中，他們在人工智能，認知科學，編目處理方面作出了(卓越的)基礎研究。 ——點擊此處閱讀全文
摘要： ( 授 予 Allen Newell 圖 靈 獎 以 表 彰 其 在)開始於與在RAND(蘭德)公司的J. C. Shaw的合作，然後與Carnegie-Mellon Unviersity (CMU) 的衆多教授和學生的合作的二十多年的科學生涯中，他們在人工智能，認知科學，編目處理方面作出了(卓越的)基礎研究。 ——點擊此處閱讀全文
摘要：( 授 予 Donald E. Knuth 圖 靈 獎 以 表 彰 其 在 ) 算法分析和程序語言設計領域的傑出貢獻，特別是其著名的“Art of Computer Programming"系列叢書。 ——點擊此處閱讀全文
摘要：( 授 予 Charles W. Bachman 圖 靈 獎 以 表 彰 其 在 )數據庫技術方面的傑出貢獻。 ——點擊此處閱讀全文
摘要：Edsger Dijkstra是1950年代ALGOL語言的一個主要貢獻者。ALGOL高級編程語言已經成爲結構清晰，數學基礎嚴謹的一個典範。E. W. Dijkstra是現代編程語言的主要貢獻者之一，爲我們理解程序語言的結構，表示方法與實現做出了巨大的貢獻。E. W. Dijkstra 15年的學術著作覆蓋了圖論的理論工作，教育手冊，解釋文章和編程語言領域的哲學思考。 ——點擊此處閱讀全文
摘要：( 授 予 John MacCarthy圖 靈 獎 ) MacCarthy博士的”人工智能研究的現狀“一文充分體現了其在人工智能領域有目共睹的傑出的貢獻。 ——點擊此處閱讀全文
摘要：授予 James H. Wilkinson 圖靈獎以表彰其在數值分析(numberical analysis)研究領域的傑出貢獻。其工作加速了數字計算機(在科學計算中)的使用。Wilkinson在線性代數和向後誤差分析(backward error analysis)的創造性工作也獲得了非常大的成功。 ——點擊此處閱讀全文
摘要：Marvin Minsky是通過其在人工智能研究方面的傑出成就而獲得1969年的圖靈獎的。 ——點擊此處閱讀全文
摘要：授予 Richard Hamming 圖靈獎以表彰其在數字方法，自動編碼系統和錯誤檢測和錯誤糾正編碼領域的傑出貢獻。 ——點擊此處閱讀全文
摘要：Wikes 教授以設計和實現了第一臺具有內部存儲程序的計算機EDSAC而聞名。 ——點擊此處閱讀全文
摘要：” ( 授 予 Alan J. Perlis 圖 靈 獎 以 表 彰 其 在 ) 高 級 編 程 技 術 及 其 編 譯 器 構 造 領 域 的 影 響 。 “ ——點擊此處閱讀全文