圖靈獎----中國科學院軟件研究所

圖靈獎

文章來源： | 發布時間：2009-08-12 | 【打印】【關閉】

　　圖靈獎設立于1966年，是美國計算機協會（ACM）在計算機技術方面所授予的最高獎項，被喻為計算機界的諾貝爾獎。它是以英國數學家Alan Turing先生的名字命名的。圖靈獎主要授予在計算機技術領域做出突出貢獻的個人，而這些貢獻必須對計算機業有長遠而重要的影響。目前圖靈獎由英特爾和Google贊助，獎金為250,000美元。

歷屆圖靈獎獲得者

年度	姓名	獲獎原因	所在機構
1966	Alan J. Perlis 艾倫·佩利	因在程序設計和編譯領域的貢獻而獲獎。	CarnegieMellon University 卡內基梅隆大學
1967	Maurice Vincent Wilkes 莫里斯·威爾克斯	世界上第一臺具有內部存儲程序的計算機EDSAC的研制者。	Universityof Cambridge 劍橋大學
1968	Richard Hamming 理查德·哈明	因在數字方法、自動編碼系統和錯誤檢測和錯誤糾正編碼領域的杰出貢獻而獲獎。	BellLabs 貝爾實驗室
1969	Marvin Lee Minsky 馬文·明斯基	因在人工智能研究領域的杰出成就而獲獎。	Massachusetts Institute of Technology 麻省理工學院
1970	James Hardy Wilkinson 詹姆斯·威爾金森	因在數值分析研究領域的杰出貢獻而獲獎。	National Physical Laboratory of UK 英國國家物理實驗室
1971	John McCarthy 約翰·麥卡錫	因在人工智能研究方面的杰出貢獻而獲獎。	StanfordUniversity 斯坦福大學
1972	Edsger Wybe Dijkstra 埃德斯加·狄克斯特拉	因最早指出“goto是有害的”以及首創結構化程序設計而獲獎。	EindhovenUniversityof Technology 埃因霍溫技術大學
1973	Charles W. Bachman 查爾斯·巴赫曼	因數據庫技術方面的杰出貢獻而獲獎，網狀數據庫之父。	Honeywell International Inc. 霍尼韋爾公司
1974	Donald Ervin Knuth 唐納德·克努特	因在算法分析和程序語言設計領域的杰出貢獻而獲獎，特別是其著名的“Art of Computer Programming”系列叢書。	StanfordUniversity 斯坦福大學
1975	Allen Newell 艾倫·紐厄爾	因在人工智能、認知科學、編目處理方面作出的基礎性貢獻而獲獎。	CarnegieMellon University 卡內基梅隆大學
1975	Herbert A. Simon 赫伯特·西蒙	因在人工智能、認知科學、編目處理方面作出的基礎性貢獻而獲獎。	CarnegieMellon University 卡內基梅隆大學
1976	Michael Oser Rabin 米凱爾·拉賓	因他們合寫的論文“有限自動機及其判定問題”而獲獎。	The Hebrew University of Jerusalem 以色列希伯來大學
1976	Dana S. Scott 達納·斯科特	因他們合寫的論文“有限自動機及其判定問題”而獲獎。	Universityof Oxford 牛津大學
1977	John Backus 約翰·巴克斯	FORTRAN語言和BNF范式的發明者。	IBM
1978	Robert W Floyd 羅伯特·弗洛伊德	因在分析理論、程序設計語言的邏輯與語義、自動程序驗證、自動程序綜合、算法分析以及編譯器方面的貢獻而獲獎。	StanfordUniversity 斯坦福大學
1979	Kenneth Eugene Iverson 肯尼思·艾弗森	因其在APL程序語言和數學符號方面的先驅性的工作而獲獎。	IBM
1980	Charles Antony Richard Hoare (Tony Hoare) 托尼·霍爾	因在程序語言定義與設計領域的基礎性貢獻而獲獎。	Universityof Oxford 牛津大學
1981	Edgar Frank Codd 埃德加·科德	因在數椐庫管理系統的理論和實踐方面的巨大貢獻而獲獎，關系數據庫之父。	IBM
1982	Stephen Arthur Cook 斯蒂芬·庫克	因在計算復雜性理論方面的卓越貢獻而獲獎。	Universityof Toronto 加拿大多倫多大學
1983	Dennis MacAlistair Ritchie 丹尼斯·里奇	C語言和Unix操作系統的發明者。	BellLabs 貝爾實驗室
1983	Kenneth Lane Thompson 肯尼思·湯普森	C語言和Unix操作系統的發明者。	BellLabs 貝爾實驗室
1984	Niklaus Wirth 尼克勞斯·沃思	因開發了EULER、ALGOL-W、MODULA和PASCAL等一系列程序設計語言，以及提出結構化程序設計這一革命性概念而獲獎。	ETH Zürich 蘇黎世聯邦理工學院
1985	Richard M. Karp 理查德·卡普	因算法理論方面的貢獻而獲獎。	Universityof California, Berkeley 加州大學伯克利分校
1986	John E. Hopcroft 約翰·霍普克羅夫特	因在數據結構和算法設計與分析領域的基礎性貢獻而獲獎。	CornellUniversity 康乃爾大學
1986	Robert E. Tarjan 羅伯特·陶爾揚	因在數據結構和算法設計與分析領域的基礎性貢獻而獲獎。	PrincetonUniversity 普林斯頓大學
1987	John Cocke 約翰·科克	因在編譯、高性能計算機體系結構以及RISC的開發等方面的重要貢獻而獲獎。	IBM
1988	Ivan Edward Sutherland 伊萬·薩瑟蘭	因在計算機圖形學領域的杰出貢獻而獲獎。	Sun Microsystems, Inc.
1989	William Kahan 威廉·卡亨	因在數值分析領域基礎性的貢獻而獲獎。	Universityof California, Berkeley 加州大學伯克利分校
1990	Fernando José Corbató 費爾南多·考巴脫	因在開發第一個分時系統CTSS以及Multics操作系統方面的先驅性貢獻而獲獎。	Massachusetts Institute of Technology 麻省理工學院
1991	Robin Milner 羅賓·米爾納	因三個領域的杰出成就而獲獎：1)形式化邏輯系統的一個數學模型LCF，2）多態類型的元語言ML，3）CCS,一個并發系統的綜合理論。	The University of Edinburgh 愛丁堡大學
1992	ButlerW. Lampson 巴特勒·蘭普森	因在分布式計算環境、個人計算環境的發展和實現技術上的貢獻而獲獎，其中包括：工作站，網絡，操作系統，程序語言，顯示，安全和文檔排版處理等。	Digital Equipment Corporation DEC公司（1998年被康柏收購，2001年與惠普合并）
1993	Juris Hartmanis 尤里斯·哈特馬尼斯	計算復雜性理論的主要奠基人。	CornellUniversity 康乃爾大學
1993	Richard Edwin Stearns 理查德·斯特恩斯	計算復雜性理論的主要奠基人。	University at Albany, State University of New York 紐約州立大學奧爾巴尼分校
1994	Edward Feigenbaum 愛德華·費根鮑姆	因在大型人工智能系統領域的先驅性的貢獻而獲獎。	StanfordUniversity 斯坦福大學
1994	Raj Reddy 勞伊·雷迪	因在大型人工智能系統領域的先驅性的貢獻而獲獎。	CarnegieMellon University 卡內基梅隆大學
1995	Manuel Blum 曼紐爾·布盧姆	因在計算復雜性理論、密碼系統和程序驗證方面的卓越貢獻而獲獎。	Universityof California, Berkeley 加州大學伯克利分校
1996	Amir Pnueli 阿米爾·伯努利	因把時序邏輯引入計算機科學的開創性工作，和在編程語言和系統驗證方面的突出貢獻而獲獎。	Weizmann Institute of Science 以色列魏茨曼科學研究所
1997	Douglas Engelbart 道格拉斯·恩格爾巴特	因提出交互式計算領域的卓越貢獻而獲獎，鼠標器的發明者和超文本研究的先驅。	Bootstrap Institute
1998	Jim(James)N. Gray 詹姆士·格雷	因在數據庫和事務處理研究領域的突出貢獻而獲獎。	Microsoft Corporation 微軟
1999	Frederick P. Brooks 弗雷德里克·布魯克斯	因在計算機體系結構，操作系統和軟件工程領域的卓越貢獻而獲獎。	Universityof North Carolina at Chapel Hill 北卡羅來納大學
2000	Andrew Chi-Chih Yao 姚期智	因在計算理論領域的卓越貢獻而獲獎。	PrincetonUniversity 普林斯頓大學
2001	Ole-Johan Dahl 奧爾-約翰·戴爾	面向對象技術的奠基人。	Universityof Oslo 挪威奧斯陸大學
2001	Kristen Nygaard 克利斯登·奈加特	面向對象技術的奠基人。	Universityof Oslo 挪威奧斯陸大學
2002	Leonard M. Adleman 倫納德·阿德勒曼	因他們在公鑰密碼技術方面的杰出貢獻而獲獎。公鑰密碼算法RSA的發明人。	Universityof Southern California 南加州大學
	Ronald Linn Rivest 羅納德·里韋斯特		Massachusetts Institute of Technology 麻省理工學院
	Adi Shamir 阿迪·沙米爾		Weizmann Institute of Science 以色列魏茨曼科學研究所
2003	Alan Kay 阿倫·凱	面向對象語言SmallTalk的發明者、第一個具有圖形用戶界面的個人計算機Alto的開發者。	HP
2004	Vinton Gray Cerf 溫頓·瑟夫	因在互聯網領域的先驅性貢獻而獲獎，TCP/IP協議的發明者。	MCI Inc.
2004	Robert E. Kahn 羅伯特·卡恩	因在互聯網領域的先驅性貢獻而獲獎，TCP/IP協議的發明者。	Corporation for National Research Initiatives CNRI公司
2005	Peter Naur 彼得·諾爾	因在定義Algol 60程序設計語言方面的先驅性工作，對編譯器設計的貢獻、以及在計算機程序設計方面的貢獻而獲獎。	K?benhavns Universitet 丹麥哥本哈根大學
2006	Frances E Allen 弗朗西斯·阿倫	因為在編譯器優化的理論和實踐方面做出的開創性貢獻而獲獎。她的工作奠定了現代優化編譯器和自動并行化執行的基礎。	IBM
2007	Edmund M. Clarke	表彰他們開發模型檢測技術，并使之成為一個廣泛應用在硬件和軟件工業中非常有效的算法驗證技術所做的奠基性貢獻。	CarnegieMellon University 卡內基梅隆大學
	E Allen Emerson		The University of Texas at Austin 德克薩斯大學奧斯汀分校
	Joseph Sifakis		Centre National de la Recherche Scientifique at the VERIMAG laboratory 法國國家科學研究中心
2008	Barbara H Liskov	表彰她在提高計算機軟件的可靠性、安全性和易用性方面的杰出貢獻。	Massachusetts Institute of Technology 麻省理工學院