圖靈獎(jiǎng)和美國(guó)計(jì)算機(jī)協(xié)會(huì)
---- 圖靈獎(jiǎng)最早設(shè)立于1966年，是美國(guó)計(jì)算機(jī)協(xié)會(huì)在計(jì)算機(jī)技術(shù)方面所授予的最高獎(jiǎng)項(xiàng)，被喻為計(jì)算機(jī)界的諾貝爾獎(jiǎng)。它是以美國(guó)數(shù)學(xué)天才Alan Turing先生的名字命名的，Alan Turing先生對(duì)早期計(jì)算的理論和實(shí)踐做出了突出的貢獻(xiàn)。圖靈獎(jiǎng)主要授予在計(jì)算機(jī)技術(shù)領(lǐng)域做出突出貢獻(xiàn)的個(gè)人。而這些貢獻(xiàn)必須對(duì)計(jì)算機(jī)業(yè)有長(zhǎng)遠(yuǎn)而重要的影響。迄今為止已有34位在計(jì)算機(jī)領(lǐng)域做出突出貢獻(xiàn)的科學(xué)家獲此殊榮。1966年，A. J. Perlis因其在新一代編程技術(shù)和編譯架構(gòu)方面的貢獻(xiàn)成為圖靈獎(jiǎng)的第一個(gè)得主。
?
---- 每年，美國(guó)計(jì)算機(jī)協(xié)會(huì)將要求提名人推薦本年度的圖靈獎(jiǎng)候選人，并附加一份200到5000字的文章，說(shuō)明被提名者為什么應(yīng)獲此獎(jiǎng)。任何人都可成為提名人。美國(guó)計(jì)算機(jī)協(xié)會(huì)將組成評(píng)選委員會(huì)對(duì)被提名者進(jìn)行嚴(yán)格的審核，并最終確定當(dāng)年的獲獎(jiǎng)?wù)摺?
---- 歷屆圖靈獎(jiǎng)獲得者名單：
---- 1966 A. J. Perlis因在新一代編程技術(shù)和編譯架構(gòu)方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1967 Maurice V. Wilkes因設(shè)計(jì)出第一臺(tái)具有內(nèi)置存儲(chǔ)程序的計(jì)算機(jī)而獲獎(jiǎng)
---- 1968 Richard W. Hamming因在計(jì)數(shù)方法、自動(dòng)編碼系統(tǒng)、檢測(cè)及糾正錯(cuò)碼方面的貢獻(xiàn)被授予圖靈獎(jiǎng)
---- 1970 J.H. Wilkinson因在利用數(shù)值分析方法來(lái)促進(jìn)高速數(shù)字計(jì)算機(jī)的應(yīng)用方面的研究 而獲獎(jiǎng)
---- 1971 John McCarthy因?qū)θ斯ぶ悄艿呢暙I(xiàn)被授予圖靈獎(jiǎng)
---- 1972 Edsger W. Dijkstra因在編程語(yǔ)言方面的出眾表現(xiàn)而獲獎(jiǎng)
---- 1973 Charles W. Bachman因在數(shù)據(jù)庫(kù)方面的杰出貢獻(xiàn)而獲獎(jiǎng)
---- 1974 Donald E. Knuth因設(shè)計(jì)和完成TEX（一種創(chuàng)新的具有很高排版質(zhì)量的文擋制作工 具）而被授予該獎(jiǎng)
---- 1975 Allen Newell和Herbert A. Simon因在人工智能、人類(lèi)心理識(shí)別和列表處理等方 面進(jìn)行的基礎(chǔ)研究而獲獎(jiǎng)
---- 1976 Michael O. Robin和Dana S. Scott因他們的論文"有限自動(dòng)機(jī)與它們的決策問(wèn)題?中所提出的非決定性機(jī)器這一很有價(jià)值的概念而獲獎(jiǎng)
---- 1977 John Backus因?qū)捎玫母呒?jí)編程系統(tǒng)設(shè)計(jì)有深遠(yuǎn)和重大的影響而獲獎(jiǎng)
---- 1978 Robert W. Floyd因其在軟件編程的算法方面的深遠(yuǎn)影響，并開(kāi)創(chuàng)了包括剖析理侶 、編程語(yǔ)言的語(yǔ)義、自動(dòng)程序檢驗(yàn)、自動(dòng)程序合成和算法分析在內(nèi)的多項(xiàng)計(jì)算機(jī)子學(xué)科而被授予該獎(jiǎng)
---- 1979 Kenneth E. Iverson因?qū)Τ绦蛟O(shè)計(jì)語(yǔ)言理論、互動(dòng)式系統(tǒng)及APL的貢獻(xiàn)被授予該獎(jiǎng)
---- 1980 C. Anthony R. Hoare因?qū)Τ绦蛟O(shè)計(jì)語(yǔ)言的定義和設(shè)計(jì)所做的貢獻(xiàn)而獲獎(jiǎng)
---- 1981 Edgar F. Codd因在數(shù)椐庫(kù)管理系統(tǒng)的理論和實(shí)踐方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1982 Steven A. Cook因奠定了NP-Completeness理論的基礎(chǔ)而獲獎(jiǎng)
---- 1983 Ken Thompson和Dennis M. Ritchie因在通用操作系統(tǒng)理論方面的突出貢獻(xiàn)，特別是對(duì)UNIX操作系統(tǒng)的推廣的貢獻(xiàn)而獲獎(jiǎng)
---- 1984 Niklaus Wirth因開(kāi)發(fā)了EULER、 ALGOL-W、 MODULA和PASCAL一系列嶄新的計(jì)算佑镅 而獲獎(jiǎng)
---- 1985 Richard M. Karp因?qū)λ惴ɡ碚摰呢暙I(xiàn)而獲獎(jiǎng)
---- 1986 John E. Hopcroft因在算法及數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)和分析中所取得的決定性成果而獲獎(jiǎng)
---- 1987 John Cocke因在面向?qū)ο蟮木幊陶Z(yǔ)言和相關(guān)的編程技巧方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1988 Ivan E. Sutherland因在計(jì)算機(jī)圖形學(xué)方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1989 William V. Kahan因在數(shù)值分析方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1990 Fernando J. Corbato因在開(kāi)發(fā)大型多功能、可實(shí)現(xiàn)時(shí)間和資源共享的計(jì)算系統(tǒng)和Multics方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1991 Robin Milner因在可計(jì)算的函數(shù)邏輯（LCF）、ML和并行理論（CCS）這三個(gè)方面 的貢獻(xiàn)而獲獎(jiǎng)
---- 1992 Butler Lampson 因在個(gè)人分布式計(jì)算機(jī)系統(tǒng)方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1993 Jurlis Hartmanis和Richard E. Stearns因奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)而獲獎(jiǎng)
---- 1994 Raj Reddy和Edward Feigenbaum因?qū)Υ笮腿斯ぶ悄芟到y(tǒng)的開(kāi)拓性研究而獲獎(jiǎng)
---- 1995 Manuel Blum因奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)和在密碼術(shù)及程序校驗(yàn)方面的貢獻(xiàn)而獲獎(jiǎng)
---- 1996 Amir Pnueli因在計(jì)算中引入臨時(shí)邏輯和對(duì)程序及系統(tǒng)檢驗(yàn)的貢獻(xiàn)被獲獎(jiǎng)
---- 1997 Douglas Engelbart因提出交互計(jì)算概念并創(chuàng)造出實(shí)現(xiàn)這一概念的重要技術(shù)而獲獎(jiǎng)
---- 1998 James Gray因在數(shù)據(jù)庫(kù)和事務(wù)處理方面的突出貢獻(xiàn)而獲獎(jiǎng)