1、精品 doc歷屆圖靈獎獲得者(1966-2010)圖靈獎最早設立于 1966 年，是美國計算機協(xié)會在計算機技術方面所 授予的最高獎項，被喻為計算機界的諾貝爾獎它是以英國數(shù)學天才 AlanTuring先生的名字命名的，AlanTuring 先生對早期計算的理論 和實踐做出了突出的貢獻.圖靈獎主要授予在計算機技術領域做出突 出貢獻的個人.而這些貢獻必須對計算機業(yè)有長遠而重要的影響.圖靈獎被稱為“計算科學界的諾貝爾獎”，它創(chuàng)立于 1960 年，現(xiàn)在的I獎金 10 萬美元，由 In tel 公司贊助。歷屆圖靈獎獲得者名單：1966A.J.Perlis-PhD,MIT;Prof, Yale(wasPro

2、fatCMU)(deceased)因在新一代編程技術和編譯架構方面的貢獻而獲獎.1967MauriceV.Wilkes-PhD,Cambridge;Prof,Cambridge因設計出第一臺程序實現(xiàn)完全內存的計算機而獲獎.1968RichardW.Hamming-PhD,UIUC;Prof,NavalPostgraduateSchool(wasatBell)(deceased) x I Ih z-JX X因在計數(shù)方法、自動編碼系統(tǒng)、檢測及糾正錯碼方面的貢獻被授予圖靈獎.1969MarvinMinsky-PhD,Pri nceto n,Prof,MIT因對人工智能的貢獻被授予圖靈獎.精品 doc

3、1970J.H.Wilkinson-BS,Cambridge;staff,Natio nalPhysicalLabo ratory,London因在利用數(shù)值分析方法來促進高速數(shù)字計算機的應用方面的研究而獲獎.1971JohnMcCarthy-PhD,Pri nceto n;Prof,Sta nford因對人工智能的貢獻被授予圖靈獎.1972EdsgerW.Dijkstra-PhD,UAmsterdam;Prof,UTAustin因在編程語言方面的出眾表現(xiàn)而獲獎.1973CharlesW.Bachman-staff,H on eywell因在數(shù)據(jù)庫方面的杰出貢獻而獲獎.1974DonaldE.K

4、nuth-PhD,Caltech;Prof,Sta nford因設計和完成 TEX(一種創(chuàng)新的具有很高排版質量的文檔制作工具)而 被授予該獎.1975AllenNewell-PhD,Sta nford;Prof,CMU(deceased)和 HerbertA.Simon-PhD,Chicago;Prof,CMU(deceased)因在人工智能、人類識別心理和表處理的基礎研究而獲獎.1976MichaeIO.Rabin-PhD,Pri nceto n;Prof,Harvard和 DanaS.Scott-PhD,Princeton;Prof,CMU、 I I :.XMT jjT嚴因他們的論文有限自

5、動機與它們的決策問題中所提出的非決定性精品 doc機器這一很有價值的概念而獲獎.1977JohnBackus-BS,Columbia;staff,IBM因對可用的高級編程系統(tǒng)設計有深遠和重大的影響而獲獎1978RobertW.Floyd-BS,Chicago;Prof,Sta nford因其在軟件編程的算法方面的影響，并開創(chuàng)了包括剖析理論、編程語言的語義、自動程序檢驗、自動程序合成和算法分析在內的多項計算機子學科而被授予該獎.1979Ke nn ethE.lvers on因對程序設計語言理論、互動式系統(tǒng)及APL 的貢獻被授予該獎.1980C.AnthonyR.Hoare-Prof,Oxford

6、( no watMicrosoft)因對程序設計語言的定義和設計所做的貢獻而獲獎快速排序算法發(fā)明人1981EdgarF.Codd-PhD,Michiga n;staff,IBMI因在數(shù)據(jù)庫管理系統(tǒng)的理論和實踐方面的貢獻而獲獎.1982StevenA.Cook-PhD,Harvard;Prof,UToro nto因奠定了 NP-Completeness 理論的基礎而獲獎.1983KenThompson-MS,Berkeley;staff,Bell-Labs和 DennisM.Ritchie-PhD,Harvard;staff,Bell-Labs精品 doc因在類屬操作系統(tǒng)理論，特別是 UNIX

7、操作系統(tǒng)的推廣而獲獎.1984NiklausWirth-PhD,Berkeley;Prof,ETHZurich因開發(fā)了 EULER ALGOL-WMODUL 和 PASCAI 一系列嶄新的計算語言 X I JX X二一而獲獎.提出了程序二算法+數(shù)據(jù)結構1985RichardM.Karp-PhD,Harvard;Prof,Berkeley因對算法理論的貢獻而獲獎.1986JohnE.Hopcroft-PhD,Sta nford;Prof,CornellandRobertE.Tarjan-PhD,Sta nford;Prof,Pri ncet on因在算法及數(shù)據(jù)結構的設計和分析中所取得的決定性成果

8、而獲獎.1987JohnCocke-staff,IBM因在面向對象的編程語言和相關的編程技巧方面的貢獻而獲獎.1988IvanE.Sutherland-PhD,MIT;staff,Sun因在計算機圖形學方面的貢獻而獲獎.1989WilliamV.Kahan-PhD,UToro nto;Prof,Berkeley因在數(shù)值分析方面的貢獻而獲獎，他是是浮點計算領域的專家.1990FernandoJ.Corbato-PhD,MIT;Prof,MIT因在開發(fā)大型多功能、可實現(xiàn)時間和資源共享的計算系統(tǒng)，如CTSS和 Multics 方面的貢獻而獲獎.精品 doc1991RobinMilner-Prof,C

9、ambridge(wasatUEdi nburgh)因在可計算的函數(shù)的邏輯(LCF)、ML 和并行理論(CCS)這三個方面的貢獻而獲獎.1992ButlerLampson-PhD,Berkeley;staff,Microsoft因在個人分布式計算機系統(tǒng)(包括操作系統(tǒng))方面的貢獻而獲獎.1993JurisHartmanis-PhD,Caltech;Prof,Cornell! I I :.XMT jjT嚴和 RichardE.Stearns-PhD,Princeton;Prof,SUNYAIbany因奠定了計算復雜性理論的基礎而獲獎.1994RajReddy-PhD,Sta nford;Prof,

10、CMU和 EdwardFeigenbaum(PhD,CMU;Prof,Stanford)因對大型人工智能系統(tǒng)的開拓性研究而獲獎.1995ManuelBlum-PhD,MIT;Prof,Berkeley因奠定了計算復雜性理論的基礎和在密碼術及程序校驗方面的貢獻而獲獎.1996AmirPnueli-PhD,Weizma nnIn stitute;Prof,N YU因在計算中引入 Temporal 邏輯和對程序及系統(tǒng)檢驗的貢獻被獲獎.1997DouglasEngelbart-PhD,Berkeley;staff,SRI因提出互動式計算概念并創(chuàng)造出實現(xiàn)這一概念的重要技術而獲獎.精品 doc1998Ja

11、mesGray-PhD,Berkeley;staff,Microsoft因在數(shù)據(jù)庫和事務處理方面的突出貢獻而獲獎.I1999FrederickP.Brooks,Jr.-PhD,Harvard;Prof,UNC因對計算機體系結構和操作系統(tǒng)以及軟件工程做出了里程碑式的貢獻.2000AndrewChi-ChihYao-PhD,UIUC;Prof,Pri nceto n（no wat 清華）因對計算理論做出了諸多根本性的重大貢獻.（圖靈獎自創(chuàng)立以來獲得該獎項的首位華裔學者，全球華人的驕傲）20010le-JohanDahl,andKristenNygaard-Profs,UOslo因他們在設計編程語言

12、 SIMULAI 和 SIMULA67 寸產(chǎn)生的基礎性想法，:.這些想法是面向對象技術的肇始.2002Ro naldL.Rivest,AdiShamir,Le on ardM.Adelma n-Ron aldL.Rivest:PhD,Sta nford;MITAdiShamir:PhD,Weizma nn; Weizma nnLeonardM.Adelman:PhD,Berkeley;USC 因他們在公共密匙算法上所做的杰出貢獻（RSA 算法是當前在互聯(lián)網(wǎng)傳輸、銀行以及信用卡產(chǎn)業(yè)中被廣泛使用的安全基本機制）.2003AlanKay-PhD,Utah;HPLabs（wasatXeroxPARC）

13、因發(fā)明第一個完全面向對象的動態(tài)計算機程序設計語言Smalltalk.2004VintonG.Cerf、RobertE.Kahn獲獎原因：由于在互聯(lián)網(wǎng)方面開創(chuàng)性的工作，這包括設計和實現(xiàn)了互精品 doc聯(lián)網(wǎng)的基礎通訊協(xié)議，TCP/IP，以及在網(wǎng)絡方面卓越的領導。2005PeterNaur3 月 1 日，ACM（美國計算機學會）決定將 2005 年圖靈獎頒發(fā)給PeterNaur，以表彰他在設計 Algol60 語言上的貢獻。由于其定義的清晰性，Algol60 成為了許多現(xiàn)代程序設計語言的原型。在語法描述中廣泛使用的 BNF 范式，其中的“ N便是來自 PeterNaur 的名字。2006Fra nA

14、lle n獲獎原因：對于優(yōu)化編譯器技術的理論和實踐做出的先驅性貢獻，這些技術為現(xiàn)代優(yōu)化編譯器和自動并行執(zhí)行打下了基礎。2007EdmundM.CIarke AllenEmerson 和 JosephSifakis獲獎原因：在將模型檢查發(fā)展為被硬件和軟件業(yè)中所廣泛采納的、 I I :.XjjT嚴高效驗證技術上的貢獻。而 DDJ 則將三人的貢獻稱為“在發(fā)現(xiàn)計算機硬件和軟件中設計錯誤的自動化方法方面的工作”。2008 BarbaraLiskov在計算機程序語言設計方面的開創(chuàng)性工作。她的貢獻是讓機軟件更加可靠、安全和更具一致性。2009CharlesThacker精品 doc對第一臺現(xiàn)代個人計算機 X

15、eroxPARCAIto 的先驅性設計與實現(xiàn)，還有 在局域網(wǎng)（包括以太網(wǎng)）、多處理器工作站、窺探高速緩存一致性協(xié) 議和平板 PC 等方面的重大發(fā)明和貢獻2010LeslieValia nt過去 30 年來，萊斯利瓦倫特為人工智能進步提供了理論基礎，在改進機器學習方面取得驕人成績。他在計算科學和數(shù)學領域的遠見及認知理論與其它技術結合后，開創(chuàng)了機器學習和通信的新時代，如IBM 推出的計算系統(tǒng)已經(jīng)能夠挑戰(zhàn)人類回答問題的能力。2011 年JudeaPearl因其在人工智能領域的卓越貢獻獲獎2012 年ShafiGoldwasserSilvioMicali由于在密碼學和復雜理論領域做出創(chuàng)舉性工作獲獎Kn

16、uth從 31 歲那年起，他開始出版他的歷史性經(jīng)典巨著：TheArtofComputerProgramming 。他計劃共寫 7 卷，然而僅僅出版三卷之后，已經(jīng)震驚世界，使他獲得計算機科學界的最高榮譽TuringAward，此時，他年僅 36 歲。后來，此書與牛頓的 自然哲學 的數(shù)學原理”等一起，被評為世界歷史上最偉大的十種科學著作”之。在計算機科學上，他主要是一位理論家。然而，他在理論以外也精品 doc同樣做出驚人的成就。鼎鼎大名的排版軟件Tex，就是他的作品。此外，還有 Metafont 等，也在世界上得到廣泛使用。他的其它著作和論文難以數(shù)計，其中包括 ConcreteMathematic

17、s 等名著。從 1977 年起，他獲得FletcherJ on esProfessorofComputerScie nee 的頭銜，并且同時兼任ProfessorofElectricalEngineering 。1990 年，斯坦福大學更授予他一 個非同尋常的頭銜 ProfessorofTheArtofComputerScienee ，作為對他 的特殊貢獻的承認！他的其它榮譽數(shù)不勝數(shù)，其中主要的有：美國國家科學院院士，美國藝術與科學院院士，美國工程院院士，法國科學院外籍院士，挪 威科學院外籍院士 ；美國數(shù)學會 Steele 獎，瑞典皇家科學院Adelskold 獎，以色列工學院 Harvey

18、獎，IEEE 馮諾依曼獎，東京高 科技獎共達數(shù)十個之多。同時，他還是牛津大學等二十幾所大學 的榮譽博士。早在 1970 年，他就在國際數(shù)學大會上做過特邀報告。Knuth 獲得圖靈獎時為 36 歲，他是歷史上最年輕的圖靈獎獲得者。相比之下，其他獲得圖靈獎的人當時一般都是五十幾歲或者六十幾 歲，可見Knuth 有多偉大！ Knuth 很早就提前退休，為的是集中精力、.I I * -.把巨著 TheArtofComputerProgramming 寫完。他一生共帶過二十四 個博士生，發(fā)誓不會再帶更多的學生。姚期智（AndrewChi-ChihYao，1946 年 12 月 24 日-），美籍華人，世界著名計算機科學家，2000 年圖靈獎得主，目前是清華大學教授。 姚精品 doc期智祖籍湖北孝感，1946 年平安夜出生于上海，幼年隨父母移 居臺灣。1967 年，姚期智畢業(yè)于臺灣大學，之后赴美國深造。1972年獲哈佛大學物理學博士學位， 1975 年獲伊利諾大學香檳分校（UIUC）計算機科學博士學位。之后，他曾先后在麻省理工學院(1975 1976)、 斯坦福大學(1976 1981 ,1983 1986)、加州大學伯克利分校(1981 1983)等美