圖靈獎是計算機界最負盛名的獎項,有“計算機界諾貝爾獎”之稱。圖靈獎對獲獎者的要求極高,評獎程式也極嚴,一般每年只獎勵一名計算機科學家,只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。
每年,美國計算機協會將要求提名人推薦本年度的圖靈獎候選人,並附加一份200到500字的文章,說明被提名者為什麼應獲此獎。任何人都可成為提名人。美國計算機協會將組成評選委員會對被提名者進行嚴格的評審,並最終確定當年的獲獎者。
截止至2008年,獲此殊榮的華人僅有一位,他是2000年圖靈獎得主姚期智。
歷年圖靈獎獲得者
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis
獲獎原因:在將模型檢查發展為被硬體和軟體業中所廣泛採納的高效驗證技術上的貢獻。而DDJ則將三人的貢獻稱為“在發現計算機硬體和軟體中設計錯誤的自動化方法方面的工作”。
2006 Fran Allen
獲獎原因:對於最佳化編譯器技術的理論和實踐做出的先驅性貢獻,這些技術為現代最佳化編譯器和自動並行執行打下了基礎。
2005 Peter Naur
獲獎原因:由於在設計ALGOL60程式設計語言上的貢獻。ALGOL60語言定義清晰,是許多現代程式設計語言的原型。
2004 Vinton G. Cerf、Robert E. Kahn
獲獎原因:由於在網際網路方面開創性的工作,這包括設計和實現了網際網路的基礎通訊協定,TCP/IP,以及在網路方面卓越的領導。
2003 Alan Kay
獲獎原因:由於在面向對象語言方面原創性思想,領導了Smalltalk的開發團隊,以及對PC的基礎性貢獻。
至理名言:預測未來的最好方法是創造它。
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman
獲獎原因:由於在公共密鑰理論和實踐方面的基礎性工作。
2001 Ole-Johan Dahl、Kristen Nygaard
獲獎原因:由於面向對象編程始發於他們基礎性的構想,這些構想集中體現在他們所設計的程式語言simula I 和SIMULA 67中。
2000 Andrew Chi-Chih Yao(姚期智)
獲獎原因:由於在計算理論方面的貢獻而獲獎,包括偽隨機數的生成算法、加密算法和通訊複雜性。
1999 Frederick P. Brooks, Jr.
獲獎原因:由於在計算機體系架構、作業系統以及軟體工程方面所做出的具有里程碑式意義的貢獻。人月神話的作者。
1998 James Gray
獲獎原因:由於在資料庫、事務處理研究和相關係統實現的技術領導工作。
1997 Douglas Engelbart
獲獎原因:由於提出了激動人心的互動式計算機未來構想,以及發明了實現這一構想的關鍵技術。
1996 Amir Pnueli
獲獎原因:由於在計算科學中引入temporal邏輯以及對編程和系統認證方面的傑出貢獻。
1995 Manuel Blum
獲獎原因:由於在計算複雜性理論、密碼學以及程式校驗方面的基礎性貢獻。
1994 Edward Feigenbaum、Raj Reddy
獲獎原因:由於他們所設計和建造的大規模人工智慧系統,證明了人工智慧技術的重要性和其潛在的商業價值。
1993 Juris Hartmanis、Richard E. Stearns
獲獎原因:由於他們的論文奠定了計算複雜性理論的基礎。
1992 Butler W. Lampson
獲獎原因:由於在個人分散式計算機系統及其實現技術上的貢獻,這包括:工作站、網路、作業系統、編程系統、顯示、安全和文檔發布。
1991 Robin Milner
獲獎原因:由於在可計算函式邏輯(LCF)、ML和並行理論(CCS)這三個方面突出和完美的貢獻。
1990 Fernando J. Corbato'
獲獎原因:由於組織和領導了多功能、大規模、時間和資源共享的計算機系統的開發。
1989 William (Velvel) Kahan
獲獎原因:由於在數值分析方面的基礎性貢獻。
1988 Ivan Sutherland
獲獎原因:由於在計算機圖形學方面開創性和遠見性的貢獻,其所建立的技術歷經二、三十年依然有效。
1987 John Cocke
獲獎原因:由於在編譯器設計和理論、大規模系統架構以及開發RISC等方面的重要貢獻。
1986 John Hopcroft、Robert tarjan
獲獎原因:由於在算法及數據結構設計和分析方面的基礎性成就。
1985 Richard M. Karp
獲獎原因:由於在算法理論方面,特別是NP-completeness理論方面,連續不斷的貢獻。
1984 Niklaus Wirth
獲獎原因:由於開發了EULER、 ALGOL-W、 MODULA和PASCAL一系列嶄新的計算語言。
1983 Ken Thompson、Dennis M. Ritchie
獲獎原因:由於在通用作業系統理論研究,特別是UNIX作業系統的實現上的貢獻。
1982 Stephen A. Cook
獲獎原因:由於其於1971年發表的論文,奠定了NP-Completeness理論的基礎。
1981 Edgar F. Codd
獲獎原因:由於在數椐庫管理系統的理論和實踐方面基礎性和連續不斷的貢獻,關係資料庫之父。
1980 C. Antony R. Hoare
獲獎原因:由於在程式語言的定義和設計方面的基礎性貢獻。
1979 Kenneth E. Iverson
獲獎原因:由於在程式語言的理論和實踐方面,特別是APL,所進行的開創性的工作。
1978 Robert W. Floyd
獲獎原因:由於在如何開發高效、可靠的軟體方法論方面的貢獻,這包括:建立分析理論、程式語言的語義學、自動程式檢驗、自動程式綜合和算法分析在內的多項
計算機子學科。
1977 John Backus
獲獎原因:由於在高級語言方面所做出的具有廣泛和深遠意義的貢獻,特別是其在Fortran語言方面。
1976 Michael O. Rabin、Dana S. Scott
獲獎原因:由於他們的論文"有限自動機與它們的決策問題",被證明具有巨大的價值。
1975 Allen Newell、Herbert A. Simon
獲獎原因:由於在人工智慧、人類識別心理和表處理的基礎貢獻。
1974 Donald E. Knuth
獲獎原因:由於在算法分析和程式語言設計方面的重要貢獻,電腦程式設計藝術的作者。
1973 Charles W. Bachman
獲獎原因:由於在資料庫方面的傑出貢獻。
1972 E.W. Dijkstra
獲獎原因:由於對開發ALGOL做出了原理性貢獻。
1971 John McCarthy
獲獎原因:由於其講稿"The Present State of Research on Artificial
Intellegence",對人工智慧領域的貢獻。
1970 J.H. Wilkinson
獲獎原因:由於其在數值分析方面的研究工作。
1969 Marvin Minsky
獲獎原因:不祥
1968 Richard Hamming
獲獎原因:由於其在計數方法、自動編碼系統、檢測及糾正錯碼方面的工作。
1967 Maurice V. Wilkes
獲獎原因:由於設計和製造了第一台內部存儲程式的計算機EDSAC。
1966 A.J. Perlis
獲獎原因:由於其在先進編程技術和編譯架構方面的貢獻。