設萬維讀者為首頁 廣告服務 技術服務 聯繫我們 關於萬維
簡體 繁體 手機版
分類廣告
版主:諍友
萬維讀者網 > 教育學術 > 帖子
歷屆圖靈獎獲得者(1966-2003)
送交者: cmu 2004年06月30日15:29:56 於 [教育學術] 發送悄悄話

  圖靈獎最早設立於1966年,是美國計算機協會在計算機技術方面所授予的最高獎項, 被喻為計算機界的諾貝爾獎. 它是以英國數學天才Alan Turing先生的名字命名的, Alan Turing先生對早期計算的理論和實踐做出了突出的貢獻.圖靈獎主要授予在計算機技術領域做出突出貢獻的個人. 而這些貢獻必須對計算機業有長遠而重要的影響.

  每年, 美國計算機協會將要求提名人推薦本年度的圖靈獎候選人, 並附加一份200到500字的文章, 說明被提名者為什麼應獲此獎. 任何人都可成為提名人. 美國計算機協會將組成評選委員會對被提名者進行嚴格的審核, 並最終確定當年的獲獎者.


歷屆圖靈獎獲得者名單:

1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)
因在新一代編程技術和編譯架構方面的貢獻而獲獎.

1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge
因設計出第一台程序實現完全內存的計算機而獲獎.

1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)
因在計數方法、自動編碼系統、檢測及糾正錯碼方面的貢獻被授予圖靈獎.

1969 Marvin Minsky --- PhD, Princeton, Prof, MIT
因對人工智能的貢獻被授予圖靈獎.

1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London
因在利用數值分析方法來促進高速數字計算機的應用方面的研究而獲獎.

1971 John McCarthy --- PhD, Princeton; Prof, Stanford
因對人工智能的貢獻被授予圖靈獎.

1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin
因在編程語言方面的出眾表現而獲獎.

1973 Charles W. Bachman --- staff, Honeywell
因在數據庫方面的傑出貢獻而獲獎.

1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因設計和完成TEX(一種創新的具有很高排版質量的文檔製作工具)而被授予該獎.

1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人類識別心理和表處理的基礎研究而獲獎.

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
和Dana S. Scott --- PhD, Princeton; Prof, CMU

因他們的論文"有限自動機與它們的決策問題"中所提出的非決定性機器這一很有價值的概念而獲獎.

1977 John Backus --- BS, Columbia; staff, IBM
因對可用的高級編程系統設計有深遠和重大的影響而獲獎.

1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在軟件編程的算法方面的影響,並開創了包括剖析理論、編程語言的語義、自動程序檢驗、自動程序合成和算法分析在內的多項計算機子學科而被授予該獎.

1979 Kenneth E. Iverson
因對程序設計語言理論、互動式系統及APL的貢獻被授予該獎.

1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)
因對程序設計語言的定義和設計所做的貢獻而獲獎.

1981 Edgar F. Codd --- PhD, Michigan; staff, IBM
因在數椐庫管理系統的理論和實踐方面的貢獻而獲獎.

1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto
因奠定了NP-Completeness理論的基礎而獲獎.

1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs
和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
因在類屬操作系統理論,特別是UNIX操作系統的推廣而獲獎.

1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich
因開發了EULER、 ALGOL-W、 MODULA和PASCAL一系列嶄新的計算語言而獲獎.

1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley
因對算法理論的貢獻而獲獎.

1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell
and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
因在算法及數據結構的設計和分析中所取得的決定性成果而獲獎.

1987 John Cocke --- staff, IBM
因在面向對象的編程語言和相關的編程技巧方面的貢獻而獲獎.

1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun
因在計算機圖形學方面的貢獻而獲獎.

1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley
因在數值分析方面的貢獻而獲獎,他是是浮點計算領域的專家.

1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT
因在開發大型多功能、可實現時間和資源共享的計算系統,如CTSS和Multics方面的貢獻而獲獎.

1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)
因在可計算的函數的邏輯(LCF)、ML和並行理論(CCS)這三個方面的貢獻而獲獎.

1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft
因在個人分布式計算機系統(包括操作系統)方面的貢獻而獲獎.

1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell
和 Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
因奠定了計算複雜性理論的基礎而獲獎.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU
和 Edward Feigenbaum (PhD, CMU; Prof, Stanford)
因對大型人工智能系統的開拓性研究而獲獎.

1995 Manuel Blum --- PhD, MIT; Prof, Berkeley
因奠定了計算複雜性理論的基礎和在密碼術及程序校驗方面的貢獻而獲獎.

1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU
因在計算中引入Temporal邏輯和對程序及系統檢驗的貢獻被獲獎.

1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI
因提出互動式計算概念並創造出實現這一概念的重要技術而獲獎.

1998 James Gray --- PhD, Berkeley; staff, Microsoft
因在數據庫和事務處理方面的突出貢獻而獲獎.

1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC
因對計算機體繫結構和操作系統以及軟件工程做出了里程碑式的貢獻.

2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at 清華)
因對計算理論做出了諸多根本性的重大貢獻. (圖靈獎自創立以來獲得該獎項的首位華裔學者,全球華人的驕傲)

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo
因他們在設計編程語言SIMULA I 和SIMULA 67時產生的基礎性想法,這些想法是面向對象技術的肇始.

2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman ---
Ronald L. Rivest: PhD, Stanford; MIT
Adi Shamir: PhD, Weizmann; Weizmann
Leonard M. Adelman: PhD, Berkeley; USC
因他們在公共密匙算法上所做的傑出貢獻(RSA算法是當前在互聯網傳輸、銀行以及信用卡產業中被廣泛使用的安全基本機制).

2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)
因發明第一個完全面向對象的動態計算機程序設計語言Smalltalk.

0%(0)
0%(0)
標 題 (必選項):
內 容 (選填項):
實用資訊
回國機票$360起 | 商務艙省$200 | 全球最佳航空公司出爐:海航獲五星
海外華人福利!在線看陳建斌《三叉戟》熱血歸回 豪情築夢 高清免費看 無地區限制
一周點擊熱帖 更多>>
一周回復熱帖
歷史上的今天:回復熱帖
2003: 北大究竟想幹什麼?
2003: 中國“科幻小說之父”在落寞孤寂中死去
2002: 中美比較,哪些人適合回到中國
2002: 回國=留學生的大男子主義