圖靈獎和美國計算機協會
---- 圖靈獎最早設立于1966年,是美國計算機協會在計算機技術方面所授予的最高獎項,被喻為計算機界的諾貝爾獎。它是以美國數學天才Alan Turing先生的名字命名的,Alan Turing先生對早期計算的理論和實踐做出了突出的貢獻。圖靈獎主要授予在計算機技術領域做出突出貢獻的個人。而這些貢獻必須對計算機業有長遠而重要的影響。迄今為止已有34位在計算機領域做出突出貢獻的科學家獲此殊榮。1966年,A. J. Perlis因其在新一代編程技術和編譯架構方面的貢獻成為圖靈獎的第一個得主。
?
---- 每年,美國計算機協會將要求提名人推薦本年度的圖靈獎候選人,并附加一份200到5000字的文章,說明被提名者為什么應獲此獎。任何人都可成為提名人。美國計算機協會將組成評選委員會對被提名者進行嚴格的審核,并最終確定當年的獲獎者。
---- 歷屆圖靈獎獲得者名單:
---- 1966 A. J. Perlis因在新一代編程技術和編譯架構方面的貢獻而獲獎
---- 1967 Maurice V. Wilkes因設計出第一臺具有內置存儲程序的計算機而獲獎
---- 1968 Richard W. Hamming因在計數方法、自動編碼系統、檢測及糾正錯碼方面的貢獻被授予圖靈獎
---- 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因在開發大型多功能、可實現時間和資源共享的計算系統和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因在數據庫和事務處理方面的突出貢獻而獲獎