-
圖靈獎
鎖定
圖靈獎(Turing Award),全稱A.M.圖靈獎(ACM A.M Turing Award),是由美國計算機協會(ACM)於1966年設立的計算機獎項,名稱取自艾倫·麥席森·圖靈(Alan M. Turing),旨在獎勵對計算機事業作出重要貢獻的個人 。圖靈獎對獲獎條件要求極高,評獎程序極嚴,一般每年僅授予一名計算機科學家。圖靈獎是計算機領域的國際最高獎項,被譽為“計算機界的諾貝爾獎”。
- 中文名
- 圖靈獎
- 外文名
- A.M. Turing Award
- 別 名
- A.M. 圖靈獎(A.M. Turing Award)
- 獎項性質
- 計算機領域的國際最高獎項
圖靈獎獎項介紹
圖靈獎(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 | ||
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年 | |||
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 | 為引領大眾進入超級連接時代所做的貢獻 |
Avi Wigderson | 增強了人類對計算中隨機性和偽隨機性作用的理解。 | ||
圖靈獎高校獲獎
截至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人 | |
圖靈獎創始人物
艾倫·麥席森·圖靈(Alan Mathison Turing,1912年6月23日-1954年6月7日),英國數學家、邏輯學家,被稱為計算機之父、人工智能之父。1931年,圖靈進入劍橋大學國王學院,畢業後到美國普林斯頓大學攻讀博士學位。二戰爆發後,回到劍橋大學,後曾協助軍方破解德國的著名密碼系統Enigma,幫助盟軍取得了二戰的勝利。圖靈對於人工智能的發展有諸多貢獻,提出了一種用於判定機器是否具有智能的試驗方法,即圖靈試驗。每年都有試驗的比賽。此外,圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。
直到2013年12月24日,英國司法部長宣佈:圖靈當時受到的判決“不公,有歧視”,現已獲得女王伊麗莎白二世的赦免,稱“女王的赦免是對這位優秀人物的獻禮”。同時,英國前首相卡梅倫表示:“圖靈在二戰時破解德軍密碼、拯救國家上發揮了關鍵作用,是一個了不起的人”。
- 參考資料
-
- 1. Turing Award .ACM 官網[引用日期2017-04-04]
- 2. Shafi Goldwasser .美國計算機協會官網[引用日期2016-01-12]
- 3. 2019年圖靈獎授予兩位皮克斯動畫室元老 .新浪網[引用日期2020-03-18]
- 4. Silvio Micali .美國計算機協會官網[引用日期2016-01-12]
- 5. ACM TURING AWARD GOES TO PIONEER WHO ADVANCED RELIABILITY AND CONSISTENCY OF COMPUTING SYSTEMS .圖靈獎官方網站.2014-03-18[引用日期2014-03-20]
- 6. Turing award 2014 .Turing award 2014.2015-03-25[引用日期2015-04-26]
- 7. Tim Berners-Lee .麻省理工學院官網[引用日期2017-04-04]
- 8. 兩名芯片專家獲圖靈獎:將平分谷歌百萬美元獎金 .新浪科技[引用日期2018-03-22]
- 9. 三名深度學習技術科學家獲“計算機界諾獎”圖靈獎 .新華網[引用日期2019-03-28]
- 10. 三位深度學習之父共獲2019年圖靈獎 .新浪科技綜合.2019-03-27[引用日期2019-09-17]
- 11. 2020 Turing Award .國際計算機學會官網[引用日期2021-04-01]
- 12. 2020圖靈獎出爐,龍書《編譯原理》作者獲獎 .騰訊網[引用日期2021-04-04]
- 13. 圖靈獎花落高性能計算:72歲美國田納西大學教授唐加拉獲獎 .澎湃新聞[引用日期2022-03-30]
- 14. Jack Dongarra獲2021年圖靈獎 .鈦媒體[引用日期2022-03-31]
- 15. 落高性能計算!2021年度圖靈獎公佈 .光明網[引用日期2022-04-02]
- 16. 圖靈獎獲得者邁克爾·斯通布雷克確定出席2022數博會線上活動 .百家號[引用日期2022-04-30]
- 17. 以太網發明者鮑勃·梅特卡夫獲圖靈獎,稱人類現在已緊密連接 .澎湃新聞.2023-03-22[引用日期2023-03-22]
- 18. 圖靈獎正式揭曉!史上首位數學和計算機最高獎“雙料王”誕生 .快科技[引用日期2024-04-11]
- 19. Avi Wigderson .A.M. Turing Award Laureate[引用日期2024-04-12]
- 收起