關於圖靈獎

2．圖靈獎簡介圖靈獎最先設立於1966年，是美國計算機協會在計算機技術方面所授予的最高獎項，被喻爲計算機界的諾貝爾獎。它是以英國數學天才Alan Turing先生的名字命名的，Alan Turing先生對早期計算的理論和實踐作出了突出的貢獻。圖靈獎主要授予在計算機技術領域作出突出貢獻的我的。而這些貢獻必須對計算機業有長遠而重要的影響。迄今爲止已有34位在計算機領域作出突出貢獻的科學家獲此殊榮。1966年，A. J. Perlis因其在新一代編程技術和編譯架構方面的貢獻成爲圖靈獎的第一個得主。每一年，美國計算機協會將要求提名人推薦本年度的圖靈獎候選人，並附加一份200到500字的文章，說明被提名者爲何應獲此獎。任何人均可成爲提名人。美國計算機協會將組成評選委員會對被提名者進行嚴格的審覈，並最終肯定當年的獲獎者。3．歷屆圖靈獎得到者1．1966年圖靈獎得到者：艾倫•佩利（A. J. Perlis）PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)——  ALCOL語言和計算機科學的「催生者」 2．1967年圖靈獎得到者：莫里斯•威爾克斯（Maurice V. Wilkes）PhD, Cambridge; Prof, Cambridge——  世界上第一臺存儲程序式計算機EDSAC的研製者3．1968年圖靈獎得到者：理查德•哈明（Richard W. Hammin）Prof, Naval Postgraduate School (was at Bell) (deceased)——  發明糾錯碼的大數學家和信息學專家4．1969年圖靈獎得到者：馬文•明斯基（Marvin Minsky）PhD, Princeton, Prof, MIT——  「人工智能之父」和框架理論的創立者5．1970年圖靈獎得到者：詹姆斯•威爾金森（J.H. Wilkinson）BS, Cambridge; staff, National Physical Laboratory, London——  數值分析專家和研製ACE計算機的功臣6．1971年圖靈獎得到者：約翰•麥卡錫 （John McCarthy）PhD, Princeton; Prof, Stanford ——  「人工智能之父」和LISP語言的發明人7．1972年圖靈獎得到者：埃德斯加•狄克斯特拉（Edsger W. Dijkstra）PhD, U Amsterdam; Prof, UT Austin——  最早察覺「goto有害」的計算機科學大師8．1973年圖靈獎得到者：查爾斯•巴赫曼 （Charles W. Bachman）staff, Honeywell   ——  「網狀數據庫之父」9．1974年圖靈獎得到者：唐納德•克努（Donald E. Knuth）PhD, Caltech; Prof, Stanford—— 經典鉅著《計算機程序設計的藝術》的年輕做者10．1975年圖靈獎得到者：赫伯特•西蒙和艾倫•紐厄爾Allen Newell --- PhD, Stanford; Prof, CMU (deceased)   Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)   ——  人工智能符號主義學派的創始人11．1976年圖靈獎得到者：米凱爾•拉賓和達納•斯科特Michael O. Rabin --- PhD, Princeton; Prof, Harvard   Dana S. Scott --- PhD, Princeton; Prof, CMU——  非肯定性有限狀態自動機理論的開創者12．1977年圖靈獎得到者：約翰•巴克斯（John Backus）BS, Columbia; staff, IBM  ——  FORTRAN和BNF的發明者13．1978年圖靈獎得到者：羅伯特•弗洛伊德（Robert W. Floyd）  BS, Chicago; Prof, Stanford——  先後斷言法的創始人14．1979年圖靈獎得到者：肯尼思•艾弗森（Kenneth E. Iverson）  ——  大器晚成的科學家，APL的發明人15．1980年圖靈獎得到者：查爾斯•霍爾（C. Anthony R. Hoare）  Prof, Oxford(now at Microsoft)——  從QUICKSORT、CASE到程序設計語言的公理化16．1981年圖靈獎得到者：埃德加•科德（Edgar F. Codd）  PhD, Michigan; staff, IBM——  「關係數據庫之父」17．1982年圖靈獎得到者：斯蒂芬•庫克（Steven A. Cook）PhD, Harvard; Prof, U Toronto ——  NP徹底性理論的奠定人18．1983年圖靈獎得到者：肯尼思•湯普森和丹尼斯•裏奇Ken Thompson --- MS, Berkeley; staff, Bell-Labs   Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs——  C和UNIX的發明者19．1984年圖靈獎得到者：尼克勞斯•沃思（Niklaus Wirth）PhD, Berkeley; Prof, ETH Zurich——  PASCAL之父及結構化程序設計的獨創者20．1985年圖靈獎得到者：理查德•卡普（Richard M. Karp）PhD, Harvard; Prof, Berkeley——  發明「分枝限界法」的三棲學者21．1986年圖靈獎得到者：約翰•霍普克洛夫特和羅伯特•陶爾揚John E. Hopcroft --- PhD, Stanford; Prof, Cornell   Robert E. Tarjan --- PhD, Stanford; Prof, Princeton  ——  碩果累累的算法設計大師22．1987年圖靈獎得到者：約翰•科克（John Cocke）staff, IBM  ——  RISC概念的獨創者23．1988年圖靈獎得到者：伊萬•薩瑟蘭（Ivan E. Sutherland）IPhD, MIT; staff, Sun  ——  計算機圖形學之父24．1989年圖靈獎得到者：威廉•卡亨（William V. Kahan）  PhD, U Toronto; Prof, Berkeley——  浮點計算的先驅25．1991年圖靈獎得到者：羅賓•米爾納（Robin Milner）Prof, Cambridge (was at U Edinburgh)PhD, MIT; Prof, MIT—— 標準元語言ML的開發者26．1992年圖靈獎得到者：巴特勒•蘭普森（Butler Lampson）PhD, Berkeley; staff, Microsoft ——  從Alto系統的首席科學家到微軟的首席技術官27．1993年圖靈獎得到者：尤里斯•哈特馬尼斯和理查德•斯特恩斯PhD, Caltech; Prof, Cornell   Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany   ——  計算複雜性理論的主要奠定人28．1994年圖靈獎得到者：愛德華•費根鮑姆和勞伊•雷迪Raj Reddy --- PhD, Stanford; Prof, CMU   Edward Feigenbaum (PhD, CMU; Prof, Stanford)  ——  大型人工智能系統的開拓者29．1995年圖靈獎得到者：曼紐爾•布盧姆（ Manuel Blum）PhD, MIT; Prof, Berkeley——  計算複雜性理論的主要奠定人之一30．1996年圖靈獎得到者：阿米爾•伯努利（Amir Pnueli）PhD, Weizmann Institute; Prof, NYU  ——  把時態邏輯引入計算機科學31．1997年圖靈獎得到者：道格拉斯•恩格爾巴特（Douglas Engelbart）  PhD, Berkeley; staff, SRI——  鼠標器的發明人和超文本研究的先驅32．1998年圖靈獎得到者：詹姆斯•格雷（James Gray）PhD, Berkeley; staff, Microsoft——  數據庫技術和「事務處理」專家33．1999年圖靈獎得到者：弗雷德裏克•布魯克斯（Frederick P. Brooks, Jr.）  PhD, Harvard; Prof, UNC——  IBM 360系列計算機的總設計師和總指揮34．2000年圖靈獎得到者：姚期智（Andrew Chi-Chih Yao）PhD, UIUC; Prof, Princeton (now at 清華)——  對計算理論作出了諸多「根本性的、意義重大的」貢獻圖靈獎自創立以來得到該獎項的首位華裔學者  35．2001年圖靈獎得到者：Ole-Johan DahlKristen Nygaard --- Profs, U Oslo   ——  在設計編程語言SIMULA I 和SIMULA 67時產生的基礎性想法是面向對象技術的肇始。36．2002年圖靈獎得到者：Ronald L. Rivest --- PhD, Stanford; MIT  Adi Shamir --- PhD, Weizmann; Weizmann   Leonard M. Adelman --- PhD, Berkeley; USC——  在公共密匙算法上所作的傑出貢獻(RSA算法是當前在互聯網傳輸、銀行以及信用卡產業中被普遍使用的安全基本機制)。   37．2003年圖靈獎得到者：Alan KayPhD, Utah; HP Labs (was at Xerox PARC)   ——  發明第一個徹底面向對象的動態計算機程序設計語言Smalltalk.38．2004年圖靈獎得到者：Vinton G. Cerf和Robert E. Kahn——  在計算機網絡領域的先鋒性工做,包括設計和實現了TCP/IP協議棧