歷屆圖靈獎獲得者
資料來源:Yat-sen Channel
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因在數據庫和事務處理方面的突出貢獻而獲獎
2000 姚期智(Andrew C.Yao)因為對計算理論做出了諸多“根本性的、意義重大的”貢獻而獲獎