設萬維讀者為首頁 廣告服務 聯繫我們 關於萬維
簡體 繁體 手機版
分類廣告
版主:諍友
萬維讀者網 > 教育學術 > 帖子
歷屆圖靈獎獲得者最新名單
送交者: algol 2005年06月15日11:11:17 於 [教育學術] 發送悄悄話


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
獲獎原因:由於其在先進編程技術和編譯架構方面的貢獻。

0%(0)
標 題 (必選項):
內 容 (選填項):
實用資訊
回國機票$360起 | 商務艙省$200 | 全球最佳航空公司出爐:海航獲五星
海外華人福利!在線看陳建斌《三叉戟》熱血歸回 豪情築夢 高清免費看 無地區限制
一周點擊熱帖 更多>>
一周回復熱帖
歷史上的今天:回復熱帖
2004: 火熱高考與大學畢業生“滯銷”
2004: “讀研究生,讓我心虛!”
2002: 華裔首次獲圖靈獎(計算機界的諾貝爾獎)
2002: 清華當有自己的自信、自負--兼論清華的