歷史沿革
圖靈獎是美國電腦協會于1966年設立的，又叫"A.M.圖靈獎"，專門獎勵那些對電腦事業作出重要貢獻的個人。其名稱取自電腦科學的先驅、英國科學家艾倫·圖靈，這個獎設立目的之一是紀念這位科學家。
圖靈獎對獲獎者的要求極高，評獎程式極嚴，一般每年隻獎勵一名電腦科學家，隻有極少數年度有兩名在同一方向上做出貢獻的科學家同時獲獎。因此，盡管"圖靈"的獎金數額不算高，但它卻是電腦界最負盛名的獎項，有"電腦界諾貝爾獎"之稱。
從1966年到2013年的48屆圖靈獎，總計有61名科學家獲此殊榮，其中美國學者最多，此外還有英國、瑞士、荷蘭、以色列等國少數學者。
截止至2013年，獲此殊榮的華人僅有一位，他是2000年圖靈獎得主姚期智。
獲獎條件
由于圖靈獎對獲獎條件要求極高，評獎程式又是極嚴，一般每年隻獎勵一名電腦科學家，隻有極少數年度有兩名合作者或在同一方向作出貢獻的科學家共享此獎。因此它是電腦界最負盛名、最崇高的一個獎項，有"電腦界的諾貝爾獎"之稱。
每年，美國電腦協會將要求提名人推薦本年度的圖靈獎候選人，並附加一份200到500字的文章，說明被提名者為什麽應獲此獎。任何人都可成為提名人。美國電腦協會將組成評選委員會對被提名者進行嚴格的評審，並最終確定當年的獲獎者。
獎金金額
獎金金額不算太高，設獎初期為2萬美元，1989年起增到2萬5千美元，獎金通常由電腦界的一些大企業提供(通過與ACM簽訂協定)。目前圖靈獎由英特爾公司和Google公司贊助，獎金為1,000,000美元。
歷屆得主
從1966年到2014年，49屆，共62名得主，按國籍分，美國學者最多，歐洲學者偶見之，華人學者目僅有2000年圖靈獎得主姚期智(現在清華大學)。
62名得主分布在幾十個小領域，排在前六的領域有:編譯原理、程式語言，計算復雜性理論，人工智慧，密碼學，以及資料庫(4名)。在某種意義上，可大致認為，前三個領域與電腦科學本身更密切一些，後三個領域與軍民套用更密切一些。
年份 | 中文譯名 | 姓名 | 貢獻領域 |
|---|---|---|---|
1966年 | Alan J. Perlis | 高級程式設計技巧，編譯器構造 | |
1967年 | Maurice V. Wilkes | 存儲程式式電腦EDSAC，程式庫 | |
1968年 | Richard Hamming | 數值方法，自動編碼系統，錯誤檢測和糾錯碼 | |
1969年 | Marvin Minsky | 人工智慧 | |
1970年 | James H. Wilkinson | 數值分析，線性代數，倒退錯誤分析 | |
1971年 | 約翰·麥卡錫 | John McCarthy | 人工智慧 |
1972年 | 艾茲格·迪科斯徹 | Edsger Dijkstra | 程式語言的科學與藝術 |
1973年 | Charles W. Bachman | 資料庫技術 | |
1974年 | 高德納 | Donald E. Knuth | 演算法分析、程式語言的設計、程式設計 |
1975年 | Herbert A. Simon | 人工智慧，人類認知心理學和列表處理 (list processing) | |
1976年 | 邁克爾·拉賓 | Michael O. Rabin Dana S. Scott | 非確定性自動機 |
1977年 | 約翰·巴克斯 | John Backus | 高級編程系統，程式語言規範的形式化定義 |
1978年 | Robert W. Floyd | 設計高效可靠軟體的方法學 | |
1979年 | Kenneth E. Iverson | 程式語言和數學符號，互動系統的設計，運用 APL進行教學，程式語言的理論與實踐 | |
1980年 | 東尼·霍爾 | C. Antony R. Hoare | 程式語言的定義與設計 |
1981年 | Edgar F. Codd | 資料庫系統，尤其是關系型資料庫 | |
1982年 | 史提芬·古克 | Stephen A. Cook | 計算復雜度 |
1983年 | 肯·湯普遜 丹尼斯·裏奇 | Ken Thompson Dennis M. Ritchie | UNⅨ作業系統和C語言 |
1984年 | Niklaus Wirth | 程式語言設計、程式設計 | |
1985年 | Richard M. Karp | 演算法理論，尤其是NP-完全性理論 | |
1986年 | Robert Tarjan | 演算法和資料結構的設計與分析 | |
1987年 | John Cocke | 編譯理論，大型系統的體系結構，及精簡指令集(RISC)電腦的開發 | |
1988年 | Ivan Sutherland | 電腦圖形學 | |
1989年 | William Morton Kahan | 數值分析 | |
1990年 | 費爾南多·考巴托 | Fernando J. Corbató | CTSS和Multics |
1991年 | Robin Milner | ||
1992年 | 巴特勒·蘭普森 | Butler W. Lampson | 分散式，個人計算環境 |
1993年 | 理查德·斯特恩斯 | Juris Hartmanis Richard E. Stearns | 計算復雜度理論 |
1994年 | Edward Feigenbaum Raj Reddy | 大規模人工智慧系統 | |
1995年 | 曼紐爾·布盧姆 | Manuel Blum | 計算復雜度理論，及其在密碼學和程式校驗上的套用 |
1996年 | Amir Pnueli | 時序邏輯，程式與系統驗證 | |
1997年 | 互動計算 | ||
1998年 | 詹姆斯·尼古拉·格雷 | James Gray | 資料庫與事務處理 |
1999年 | Frederick P. Brooks,Jr. | 電腦體系結構，作業系統，軟體工程 | |
2000年 | Andrew Chi-Chih Yao | 計算理論，包括偽亂數生成，密碼學與通信復雜度 | |
2001年 | Ole-Johan Dahl Kristen Nygaard | 面向對象編程 | |
2002年 | 阿迪·薩莫爾 | Ronald L. Rivest | 公鑰密碼學(RSA加密演算法) |
2003年 | 面向對象編程 | ||
2004年 | Vinton G. Cerf | TCP/IP協定 | |
2005年 | Peter Naur | Algol 60語言 | |
2006年 | 最佳化編譯器 | ||
2007年 | Edmund M. Clarke Allen Emerson Joseph Sifakis | 開發自動化方法檢測電腦硬體和軟體中的設計錯誤 | |
2008年 | 芭芭拉·利斯科夫 | 程式語言和系統設計的實踐與理論 | |
2009年 | Charles Thacker | 幫助設計、製造第一款現代PC | |
2010年 | 萊斯利·瓦倫特 | 對眾多計算理論所做的變革性的貢獻 | |
2011年 | 猶大·伯爾 | Judea Pearl | 人工智慧 |
| 2012年 | 沙菲·戈德瓦塞爾 西爾維·奧麥克林 | Shafi Goldwasser Silvio Micali | 由于在密碼學和復雜理論領域做出創舉性工作 |
| 2013年 | 萊斯利·蘭伯特 | Leslie Lamport | 在提升電腦系統的可靠性及穩定性領域的傑出貢獻 |
| 2014年 | Michael Stonebraker | Michael Stonebraker | 對現代資料庫系統底層的概念與實踐所做出的基礎性貢獻 |
圖靈簡介
艾倫·麥席森·圖靈(Alan Mathison Turing，1912年6月23日-1954年6月7日)，英國數學家、邏輯學家，被稱為電腦之父，人工智慧之父。1931年圖靈進入劍橋大學國王學院，畢業後到美國普林斯頓大學攻讀博士學位，二戰爆發後回到劍橋，後曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。圖靈對于人工智慧的發展有諸多貢獻，提出了一種用于判定機器是否具有智慧型的試驗方法，即圖靈試驗，至今，每年都有試驗的比賽。此外，圖靈提出的著名的圖靈機模型為現代電腦的邏輯工作方式奠定了基礎。
二戰結束後，圖靈因同性戀傾向在當時的英國遭受歧視，被政府定罪，被迫接受"治療"，職業生涯結束，1954年6月7日，圖靈被發現死于家中的床上，床頭放著一個被咬了一口的蘋果，其中含有氰化物，警方調查後結論為服毒自殺。直到2013年12月24日，英國法務部長宣布:圖靈當時受到的判決"不公，有歧視"，現已獲得女王伊莉莎白二世的赦免，稱"女王的赦免是對這位優秀人物的獻禮"。同時，英國首相卡梅倫表示:圖靈在二戰時破解德軍密碼、拯救國家上發揮了關鍵作用，是一個"了不起的人"。
著作
⒈《論可計算數及其在判定問題上的套用》(On Computable Numbers,with an Application to the Entscheidungsproblem)(1936年5月28日)
⒉超計算(hypercomputation)的概念
⒊《形態發生的化學基礎》(The Chemical Basis of Morphogenesis)(1952年)
⒋一九八三年另一位同性戀的牛津數學家安德魯.哈吉斯(Andrew Hodges)，替他寫了一本膾炙人口的傳記《謎樣的圖靈》(Alan Turing: The Enigma)，
⒌圖靈死後--1992年《艾倫·圖靈選集》
