圖靈獎

圖靈獎

圖靈獎(A.M. Turing Award,又譯"杜林獎"),由美國電腦協會(ACM)于1966年設立,又叫"A.M. 圖靈獎",專門獎勵那些對電腦事業作出重要貢獻的個人。其名稱取自電腦科學的先驅、英國科學家阿蘭·麥席森·圖靈。由于圖靈獎對獲獎條件要求極高,評獎程式又是極嚴,一般每年隻獎勵一名電腦科學家,隻有極少數年度有兩名合作者或在同一方向作出貢獻的科學家共享此獎。因此它是電腦界最負盛名、最崇高的一個獎項,有"電腦界的諾貝爾獎"之稱。

從1966年到2014年,49屆,共62名得主,按國籍分,美國學者最多,歐洲學者偶見之,華人學者目僅有2000年圖靈獎得主姚期智(現在清華大學)。

  • 中文名稱
    圖靈獎
  • 外文名稱
    A.M. Turing Award
  • 設立時間
    1966年
  • 獎勵對象
    對電腦事業作出重要貢獻的個人
  • 獎    金
    250,000美元
  • 美    稱
    電腦界的諾貝爾獎

歷史沿革

圖靈獎是美國電腦協會于1966年設立的,又叫"A.M.圖靈獎",專門獎勵那些對電腦事業作出重要貢獻的個人。其名稱取自電腦科學的先驅、英國科學家艾倫·圖靈,這個獎設立目的之一是紀念這位科學家。

圖靈獎對獲獎者的要求極高,評獎程式極嚴,一般每年隻獎勵一名電腦科學家,隻有極少數年度有兩名在同一方向上做出貢獻的科學家同時獲獎。因此,盡管"圖靈"的獎金數額不算高,但它卻是電腦界最負盛名的獎項,有"電腦界諾貝爾獎"之稱。

從1966年到2013年的48屆圖靈獎,總計有61名科學家獲此殊榮,其中美國學者最多,此外還有英國、瑞士、荷蘭、以色列等國少數學者。

截止至2013年,獲此殊榮的華人僅有一位,他是2000年圖靈獎得主姚期智

獲獎條件

由于圖靈獎對獲獎條件要求極高,評獎程式又是極嚴,一般每年隻獎勵一名電腦科學家,隻有極少數年度有兩名合作者或在同一方向作出貢獻的科學家共享此獎。因此它是電腦界最負盛名、最崇高的一個獎項,有"電腦界的諾貝爾獎"之稱。

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

獎金金額

獎金金額不算太高,設獎初期為2萬美元,1989年起增到2萬5千美元,獎金通常由電腦界的一些大企業提供(通過與ACM簽訂協定)。目前圖靈獎由英特爾公司和Google公司贊助,獎金為1,000,000美元。

歷屆得主

從1966年到2014年,49屆,共62名得主,按國籍分,美國學者最多,歐洲學者偶見之,華人學者目僅有2000年圖靈獎得主姚期智(現在清華大學)。

62名得主分布在幾十個小領域,排在前六的領域有:編譯原理、程式語言,計算復雜性理論,人工智慧,密碼學,以及資料庫(4名)。在某種意義上,可大致認為,前三個領域與電腦科學本身更密切一些,後三個領域與軍民套用更密切一些。

年份

中文譯名

姓名

貢獻領域

1966年

艾倫·佩利

Alan J. Perlis

高級程式設計技巧,編譯器構造

1967年

莫裏斯·威爾克斯

Maurice V. Wilkes

存儲程式式電腦EDSAC,程式庫

1968年

理查德·衛斯裏·漢明

Richard Hamming

數值方法,自動編碼系統,錯誤檢測和糾錯碼

1969年

馬文·閔斯基

Marvin Minsky

人工智慧

1970年

詹姆斯·維爾金森

James H. Wilkinson

數值分析,線性代數,倒退錯誤分析

1971年

約翰·麥卡錫

John McCarthy

人工智慧

1972年

艾茲格·迪科斯徹

Edsger Dijkstra

程式語言的科學與藝術

1973年

查理士·巴赫曼

Charles W. Bachman

資料庫技術

1974年

高德納

Donald E. Knuth

演算法分析、程式語言的設計、程式設計

1975年

艾倫·紐厄爾

赫伯特·西蒙

Allen Newell

Herbert A. Simon

人工智慧,人類認知心理學和列表處理 (list processing)

1976年

邁克爾·拉賓

達納·斯科特

Michael O. Rabin

Dana S. Scott

非確定性自動機

1977年

約翰·巴克斯

John Backus

高級編程系統,程式語言規範的形式化定義

1978年

羅伯特·弗洛伊德

Robert W. Floyd

設計高效可靠軟體的方法學

1979年

肯尼斯·艾佛森

Kenneth E. Iverson

程式語言和數學符號,互動系統的設計,運用 APL進行教學,程式語言的理論與實踐

1980年

東尼·霍爾

C. Antony R. Hoare

程式語言的定義與設計

1981年

埃德加·科德

Edgar F. Codd

資料庫系統,尤其是關系型資料庫

1982年

史提芬·古克

Stephen A. Cook

計算復雜度

1983年

肯·湯普遜

丹尼斯·裏奇

Ken Thompson

Dennis M. Ritchie

UNⅨ作業系統和C語言

1984年

尼古拉斯·沃斯

Niklaus Wirth

程式語言設計、程式設計

1985年

理查德·卡普

Richard M. Karp

演算法理論,尤其是NP-完全性理論

1986年

約翰·霍普克羅夫特

羅伯特·塔揚

John Hopcroft

Robert Tarjan

演算法和資料結構的設計與分析

1987年

約翰·科克

John Cocke

編譯理論,大型系統的體系結構,及精簡指令集(RISC)電腦的開發

1988年

伊凡·蘇澤蘭

Ivan Sutherland

電腦圖形學

1989年

威廉·卡亨

William Morton Kahan

數值分析

1990年

費爾南多·考巴托

Fernando J. Corbató

CTSS和Multics

1991年

羅賓·米爾納

Robin Milner

LCFML語言,CCS

1992年

巴特勒·蘭普森

Butler W. Lampson

分散式,個人計算環境

1993年

尤裏斯·哈特馬尼斯

理查德·斯特恩斯

Juris Hartmanis

Richard E. Stearns

計算復雜度理論

1994年

愛德華·費根鮑姆

拉吉·瑞迪

Edward Feigenbaum

Raj Reddy

大規模人工智慧系統

1995年

曼紐爾·布盧姆

Manuel Blum

計算復雜度理論,及其在密碼學和程式校驗上的套用

1996年

阿米爾·伯努利

Amir Pnueli

時序邏輯,程式與系統驗證

1997年

道格拉斯·恩格爾巴特

Douglas Engelbart

互動計算

1998年

詹姆斯·尼古拉·格雷

James Gray

資料庫與事務處理

1999年

弗雷德裏克·布魯克斯

Frederick P. Brooks,Jr.

電腦體系結構,作業系統,軟體工程

2000年

姚期智

Andrew Chi-Chih Yao

計算理論,包括偽亂數生成,密碼學與通信復雜度

2001年

奧利-約翰·達爾

克利斯登·奈加特

Ole-Johan Dahl

Kristen Nygaard

面向對象編程

2002年

羅納德·李維斯特

阿迪·薩莫爾

倫納德·阿德曼

Ronald L. Rivest

Adi Shamir

Leonard M. Adleman

公鑰密碼學(RSA加密演算法)

2003年

艾倫·凱

Alan Kay

面向對象編程

2004年

文特·瑟夫

羅伯特·卡恩

Vinton G. Cerf

Robert E. Kahn

TCP/IP協定

2005年

彼得·諾爾

Peter Naur

Algol 60語言

2006年

法蘭西斯·艾倫

Frances E. Allen

最佳化編譯器

2007年

愛德蒙·克拉克

艾倫·愛默生

約瑟夫·斯發基斯

Edmund M. Clarke

Allen Emerson

Joseph Sifakis

開發自動化方法檢測電腦硬體和軟體中的設計錯誤

2008年

芭芭拉·利斯科夫

Barbara Liskov

程式語言和系統設計的實踐與理論

2009年

查爾斯·薩克爾

Charles Thacker

幫助設計、製造第一款現代PC

2010年

萊斯利·瓦倫特

Leslie Valiant

對眾多計算理論所做的變革性的貢獻

2011年

猶大·伯爾

Judea Pearl

人工智慧

2012年

沙菲·戈德瓦塞爾

西爾維·奧麥克林

Shafi Goldwasser

Silvio Micali

由于在密碼學和復雜理論領域做出創舉性工作
2013年
萊斯利·蘭伯特Leslie Lamport在提升電腦系統的可靠性及穩定性領域的傑出貢獻
2014年

Michael Stonebraker

Michael Stonebraker

對現代資料庫系統底層的概念與實踐所做出的基礎性貢獻

圖靈簡介

艾倫·麥席森·圖靈(Alan Mathison Turing,1912年6月23日-1954年6月7日),英國數學家、邏輯學家,被稱為電腦之父,人工智慧之父。1931年圖靈進入劍橋大學國王學院,畢業後到美國普林斯頓大學攻讀博士學位,二戰爆發後回到劍橋,後曾協助軍方破解德國的著名密碼系統Enigma,幫助盟軍取得了二戰的勝利。圖靈對于人工智慧的發展有諸多貢獻,提出了一種用于判定機器是否具有智慧型的試驗方法,即圖靈試驗,至今,每年都有試驗的比賽。此外,圖靈提出的著名的圖靈機模型為現代電腦的邏輯工作方式奠定了基礎。

二戰結束後,圖靈因同性戀傾向在當時的英國遭受歧視,被政府定罪,被迫接受"治療",職業生涯結束,1954年6月7日,圖靈被發現死于家中的床上,床頭放著一個被咬了一口的蘋果,其中含有氰化物,警方調查後結論為服毒自殺。直到2013年12月24日,英國法務部長宣布:圖靈當時受到的判決"不公,有歧視",現已獲得女王伊莉莎白二世的赦免,稱"女王的赦免是對這位優秀人物的獻禮"。同時,英國首相卡梅倫表示:圖靈在二戰時破解德軍密碼、拯救國家上發揮了關鍵作用,是一個"了不起的人"。

圖靈獎

著作

⒈《論可計算數及其在判定問題上的套用》(On Computable Numbers,with an Application to the Entscheidungsproblem)(1936年5月28日)

⒉超計算(hypercomputation)的概念

⒊《形態發生的化學基礎》(The Chemical Basis of Morphogenesis)(1952年)

⒋一九八三年另一位同性戀的牛津數學家安德魯.哈吉斯(Andrew Hodges),替他寫了一本膾炙人口的傳記《謎樣的圖靈》(Alan Turing: The Enigma),

⒌圖靈死後--1992年《艾倫·圖靈選集》

相關詞條

其它詞條