圖靈獎是計算機界最負盛名的獎項,有“計算機界諾貝爾獎”之稱。圖靈獎對獲獎者的要求極高,評獎程序也極嚴,壹般每年只獎勵壹名計算機科學家,只有極少數年度有兩名以上在同壹方向上做出貢獻的科學家同時獲獎。目前圖靈獎由英特爾公司贊助,獎金為100,000美元。
每年,美國計算機協會將要求提名人推薦本年度的圖靈獎候選人,並附加壹份200到500字的文章,說明被提名者為什麽應獲此獎。任何人都可成為提名人。美國計算機協會將組成評選委員會對被提名者進行嚴格的評審,並最終確定當年的獲獎者。
截止至2005年,獲此殊榮的華人僅有壹位,他是2000年圖靈獎得主姚期智。
圖靈獎對獲獎者的要求極高,評獎程序極嚴,壹般每年只獎勵壹名計算機科學家,只有極少數年度有兩名在同壹方向上做出貢獻的科學家同時獲獎。因此,盡管“圖靈”的獎金數額不算高,但它卻是計算機界最負盛名的獎項,有“計算機界 諾貝爾獎 ”之稱。
每年,美國計算機協會將要求提名人推薦本年度的圖靈獎候選人,並附加壹份200到500字的文章,說明被提名者為什麽應獲此獎。任何人都可成為提名人。美國計算機協會將組成評選委員會對被提名者進行嚴格的評審,並最終確定當年的獲獎者。
圖靈獎獲得者:
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
獲獎原因:由於其在先進編程技術和編譯架構方面的貢獻。