複製鏈接
請複製以下鏈接發送給好友

圖靈獎

鎖定
圖靈獎(Turing Award),全稱A.M.圖靈獎(ACM A.M Turing Award),是由美國計算機協會(ACM)於1966年設立的計算機獎項,名稱取自艾倫·麥席森·圖靈(Alan M. Turing),旨在獎勵對計算機事業作出重要貢獻的個人 。圖靈獎對獲獎條件要求極高,評獎程序極嚴,一般每年僅授予一名計算機科學家。圖靈獎是計算機領域的國際最高獎項,被譽為“計算機界的諾貝爾獎
圖靈獎一般在每年3月下旬頒發。從1966年至2020年,圖靈獎共授予74名獲獎者,以美國、歐洲科學家為主。2000年,中國科學家姚期智獲圖靈獎,這是中國人首次獲得圖靈獎。2022年3月30日,美國計算機協會(ACM)公佈了2021年度圖靈獎獲獎者。美國田納西大學電氣工程和計算機科學系教授Jack J. Dongarra因對數字算法和庫的開創性貢獻摘得這一榮譽。 [15] 
截至2021年4月,世界各高校的圖靈獎獲獎人數依次為美國斯坦福大學(29位)、美國麻省理工學院(26位)、美國加利福尼亞大學伯克利分校(25位)、美國普林斯頓大學(16位)、美國哈佛大學(14位)。
中文名
圖靈獎
外文名
A.M. Turing Award
別    名
A.M. 圖靈獎(A.M. Turing Award)
獎項性質
計算機領域的國際最高獎項
創辦時間
1966年
評選機構
美國計算機協會(ACM)
獎勵對象
對計算機事業作出重要貢獻的個人
設立機構
美國計算機協會(ACM)

圖靈獎獎項介紹

圖靈獎(Turing Award),全稱A.M.圖靈獎(A.M Turing Award),是由美國計算機協會(ACM)於1966年設立的計算機獎項,名稱取自艾倫·麥席森·圖靈(Alan M. Turing),旨在獎勵對計算機事業作出重要貢獻的個人 。圖靈獎對獲獎條件要求極高,評獎程序極嚴,一般每年僅授予一名計算機科學家。圖靈獎是計算機領域的國際最高獎項,被譽為“計算機界的諾貝爾獎
圖靈獎的獎金在設獎初期為20萬美元,1989年起增到25萬美元。獎金通常由計算機界的一些大企業提供(通過與ACM簽訂協議)。圖靈獎獎金由Google公司贊助,為1,000,000美元。

圖靈獎評審制度

每年,美國計算機協會將要求領域內專家提名本年度的圖靈獎候選人,並在附加的推薦信中説明推薦理由。任何人都可成為提名人。美國計算機協會將組成評選委員會,對被提名者進行嚴格的評審,並最終確定當年的獲獎者。 [2] 

圖靈獎獲獎名單

圖靈獎得主分佈在幾十個領域,排在前六的領域有:編譯原理、程序設計語言計算複雜性理論、人工智能、密碼學、數據庫。在某種意義上可大致認為,前三個領域與計算機科學本身更密切一些,後三個領域與軍民應用更密切一些。
年份
中文譯名
姓名
貢獻領域/獲獎理由
1966年
Alan J. Perlis
高級程序設計技巧,編譯器構造
1967年
Maurice V. Wilkes
存儲程序式計算機EDSAC程序庫
1968年
Richard Hamming
1969年
1970年
James H. Wilkinson
數值分析線性代數,倒退錯誤分析
1971年
人工智能
1972年
Edsger Dijkstra
程序設計語言的科學與藝術
1973年
Charles W. Bachman
數據庫技術
1974年
高德納
Donald E. Knuth
算法分析、程序設計語言的設計、程序設計
1975年
人工智能,人類認知心理學和列表處理(list processing)
Herbert A. Simon
1976年
Michael O. Rabin
非確定性自動機
Dana S. Scott
1977年
高級編程系統,程序設計語言規範的形式化定義
1978年
Robert W. Floyd
設計高效可靠軟件的方法學
1979年
Kenneth E. Iverson
程序設計語言和數學符號,互動系統的設計,運用 APL進行教學,程序設計語言的理論與實踐
1980年
C. Antony R. Hoare
程序設計語言的定義與設計
1981年
Edgar F. Codd
數據庫系統,尤其是關係型數據庫
1982年
Stephen A. Cook
計算複雜度
1983年
UNⅨ操作系統和C語言
Dennis M. Ritchie
1984年
程序設計語言設計、程序設計
1985年
Richard M. Karp
算法理論,尤其是NP-完全性理論
1986年
John Hopcroft
算法和數據結構的設計與分析
1987年
編譯理論,大型系統的體系結構,及精簡指令集(RISC)計算機的開發
1988年
1989年
William Morton Kahan
1990年
費爾南多·考巴脱
Fernando J. Corbató
1991年
Robin Milner
1992年
Butler W. Lampson
分佈式,個人計算環境
1993年
Juris Hartmanis
計算複雜度理論
理查德·斯特恩斯
1994年
Edward Feigenbaum
大規模人工智能系統
Raj Reddy
1995年
計算複雜度理論,及其在密碼學和程序校驗上的應用
1996年
Amir Pnueli
時序邏輯,程序與系統驗證
1997年
互動計算
1998年
數據庫與事務處理
1999年
Frederick Phillips Brooks,Jr.
2000年
Andrew Chi-Chih Yao
計算理論,包括偽隨機數生成,密碼學與通信複雜度
2001年
Ole-Johan Dahl
Kristen Nygaard
2002年
Adi Shamir
2003年
2004年
文特·瑟夫
TCP/IP協議
2005年
Peter Naur
Algol 60語言
2006年
Frances E. Allen
2007年
Edmund M. Clarke
開發自動化方法檢測計算機硬件和軟件中的設計錯誤
Joseph Sifakis
2008年
編程語言和系統設計的實踐與理論
2009年
Charles Thacker
幫助設計、製造第一款現代PC
2010年
萊斯利·瓦倫特
對眾多計算理論所做的變革性的貢獻
2011年
猶大·伯爾
Judea Pearl
人工智能
2012年
Shafi Goldwasser
在密碼學和複雜理論領域做出創舉性工作
Silvio Micali
2013年
萊斯利·蘭伯特
在提升計算機系統的可靠性及穩定性領域的傑出貢獻
2014年
Michael Stonebraker
對現代數據庫系統底層的概念與實踐所做出的基礎性貢獻
2015年
Whitfield Diffie
非對稱加密的創始人
Martin Hellman
2016年
Tim Berners-Lee
萬維網的發明者
2017年
John Hennessy
開發了RISC微處理器並且讓這一概念流行起來的工程
David Patterson
2018年
Yoshua Bengio
在人工智能深度學習方面的貢獻
Geoffrey Hinton
Yann LeCun
2019年
3D計算機圖形學的貢獻,以及這些技術對電影製作和計算機生成圖像(CGI)等應用的革命性影響
Edwin E. Catmull
2020年
創造了全球數百萬編程人員使用的工具和教材,推進編程語言實現的基礎算法和理論,並在極具影響力的書籍中綜述了這些研究成果
2021年
Jack J. Dongarra
通過對線性代數運算的高效數值算法、並行計算編程機制和性能評估工具的貢獻,引領了高性能計算的世界。
2022年
鮑勃·梅特卡夫
Bob Metcalfe
為引領大眾進入超級連接時代所做的貢獻
2023年 [19] 
Avi Wigderson
增強了人類對計算中隨機性和偽隨機性作用的理解。
參考資料: [3-14]  [16-18] 

圖靈獎高校獲獎

截至2021年4月,按圖靈獎得主數量(校友、教職工以及研究人員),世界前10名高校名單如下:
排名
大學名稱
地區
獲獎人數
1
美國
29人
2
美國
26人
3
美國
25人
4
美國
16人
5
美國
14人
6
美國
13人
7
美國
8人
8
英國
7人
9(並列)
美國
6人
9(並列)
美國
6人
9(並列)
英國
6人
參考資料: [1] 

圖靈獎創始人物

艾倫·麥席森·圖靈(Alan Mathison Turing,1912年6月23日-1954年6月7日),英國數學家、邏輯學家,被稱為計算機之父、人工智能之父。1931年,圖靈進入劍橋大學國王學院,畢業後到美國普林斯頓大學攻讀博士學位。二戰爆發後,回到劍橋大學,後曾協助軍方破解德國的著名密碼系統Enigma,幫助盟軍取得了二戰的勝利。圖靈對於人工智能的發展有諸多貢獻,提出了一種用於判定機器是否具有智能的試驗方法,即圖靈試驗。每年都有試驗的比賽。此外,圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。
艾倫·麥席森·圖靈 艾倫·麥席森·圖靈
二戰結束後,圖靈因同性戀傾向在當時的英國遭受歧視,被政府定罪,被迫接受“治療”,職業生涯結束。1952年,圖靈因同性戀傾向被定為嚴重猥褻罪,職業生涯就此毀掉。1954年,圖靈死亡。
直到2013年12月24日,英國司法部長宣佈:圖靈當時受到的判決“不公,有歧視”,現已獲得女王伊麗莎白二世的赦免,稱“女王的赦免是對這位優秀人物的獻禮”。同時,英國前首相卡梅倫表示:“圖靈在二戰時破解德軍密碼、拯救國家上發揮了關鍵作用,是一個了不起的人”。
參考資料
展開全部 收起