關於圖靈獎

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 Dahl
Kristen 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 Kay
PhD, Utah; HP Labs (was at Xerox PARC)   
——  發明第一個完全面向對象的動態計算機程序設計語言Smalltalk.
38．2004年圖靈獎獲得者：Vinton G. Cerf和Robert E. Kahn
——  在計算機網絡領域的先鋒性工作,包括設計和實現了TCP/IP協議棧