專(zhuān)訪圖靈獎(jiǎng)得主瓦利安特：人們應(yīng)更全面地了解人工智能
圖靈獎(jiǎng)得主分布在幾十個(gè)領(lǐng)域，排在前六的領(lǐng)域有：編譯原理、程序設(shè)計(jì)語(yǔ)言、計(jì)算復(fù)雜性理論、人工智能、密碼學(xué)、數(shù)據(jù)庫(kù)。在某種意義上可大致認(rèn)為，前三個(gè)領(lǐng)域與計(jì)算機(jī)科學(xué)本身更密切一些，后三個(gè)領(lǐng)域與軍民應(yīng)用更密切一些。
年份 中文譯名 姓名 貢獻(xiàn)領(lǐng)域/獲獎(jiǎng)理由
1966年 艾倫·佩利 Alan J. Perlis 高級(jí)程序設(shè)計(jì)技巧，編譯器構(gòu)造
1967年 莫里斯·威爾克斯 Maurice V. Wilkes 存儲(chǔ)程序式計(jì)算機(jī)EDSAC，程序庫(kù)
1968年 理查德·衛(wèi)斯里·漢明 Richard Hamming 數(shù)值方法，自動(dòng)編碼系統(tǒng)，錯(cuò)誤檢測(cè)和糾錯(cuò)碼
1969年 馬文·明斯基 Marvin Minsky 人工智能
1970年 詹姆斯·維爾金森 James H. Wilkinson 數(shù)值分析，線(xiàn)性代數(shù)，倒退錯(cuò)誤分析
1971年 約翰·麥卡錫 John McCarthy 人工智能
1972年 艾茲格·迪科斯徹 Edsger Dijkstra 程序設(shè)計(jì)語(yǔ)言的科學(xué)與藝術(shù)
1973年 查理士·巴赫曼 Charles W. Bachman 數(shù)據(jù)庫(kù)技術(shù)
1974年 高德納 Donald E. Knuth 算法分析、程序設(shè)計(jì)語(yǔ)言的設(shè)計(jì)、程序設(shè)計(jì)
1975年 艾倫·紐厄爾 Allen Newell 人工智能，人類(lèi)認(rèn)知心理學(xué)和列表處理（list processing）赫伯特·西蒙 Herbert A. Simon
1976年 邁克爾·拉賓 Michael O. Rabin 非確定性自動(dòng)機(jī)達(dá)納·斯科特 Dana S. Scott
1977年 約翰·巴克斯 John Backus 高級(jí)編程系統(tǒng)，程序設(shè)計(jì)語(yǔ)言規(guī)范的形式化定義
1978年 羅伯特·弗洛伊德 Robert W. Floyd 設(shè)計(jì)高效可靠軟件的方法學(xué)
1979年 肯尼斯·艾佛森 Kenneth E. Iverson 程序設(shè)計(jì)語(yǔ)言和數(shù)學(xué)符號(hào)，互動(dòng)系統(tǒng)的設(shè)計(jì)，運(yùn)用 APL進(jìn)行教學(xué)，程序設(shè)計(jì)語(yǔ)言的理論與實(shí)踐
1980年 東尼·霍爾 C. Antony R. Hoare 程序設(shè)計(jì)語(yǔ)言的定義與設(shè)計(jì)
1981年 埃德加·科德 Edgar F. Codd 數(shù)據(jù)庫(kù)系統(tǒng)，尤其是關(guān)系型數(shù)據(jù)庫(kù)
1982年 史提芬·古克 Stephen A. Cook 計(jì)算復(fù)雜度
1983年 肯·湯普遜 Ken Thompson UNⅨ操作系統(tǒng)和C語(yǔ)言丹尼斯·里奇 Dennis M. Ritchie
1984年 尼古拉斯·沃斯 Niklaus Wirth 程序設(shè)計(jì)語(yǔ)言設(shè)計(jì)、程序設(shè)計(jì)
1985年 理查德·卡普 Richard M. Karp 算法理論，尤其是NP-完全性理論
1986年 約翰·霍普克羅夫特 John Hopcroft 算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析羅伯特·塔揚(yáng) Robert Tarjan
1987年 約翰·科克 John Cocke 編譯理論，大型系統(tǒng)的體系結(jié)構(gòu)，及精簡(jiǎn)指令集（RISC）計(jì)算機(jī)的開(kāi)發(fā)
1988年 伊凡·蘇澤蘭 Ivan Sutherland 計(jì)算機(jī)圖形學(xué)
1989年 威廉·卡亨 William Morton Kahan 數(shù)值分析
1990年 費(fèi)爾南多·考巴脫 Fernando J. Corbató CTSS和Multics
1991年 羅賓·米爾納 Robin Milner LCF，ML語(yǔ)言，CCS
1992年 巴特勒·蘭普森 Butler W. Lampson 分布式，個(gè)人計(jì)算環(huán)境
1993年 尤里斯·哈特馬尼斯 Juris Hartmanis 計(jì)算復(fù)雜度理論
理查德·斯特恩斯 Richard E. Stearns
1994年 愛(ài)德華·費(fèi)根鮑姆 Edward Feigenbaum 大規(guī)模人工智能系統(tǒng)拉吉·瑞迪 Raj Reddy
1995年 曼紐爾·布盧姆 Manuel Blum 計(jì)算復(fù)雜度理論，及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用
1996年 阿米爾·伯努利 Amir Pnueli 時(shí)序邏輯，程序與系統(tǒng)驗(yàn)證
1997年 道格拉斯·恩格爾巴特 Douglas Engelbart 互動(dòng)計(jì)算
1998年 詹姆斯·尼古拉·格雷 James Gray 數(shù)據(jù)庫(kù)與事務(wù)處理
1999年 弗雷德里克·布魯克斯 Frederick Phillips Brooks，Jr． 計(jì)算機(jī)體系結(jié)構(gòu)，操作系統(tǒng)，軟件工程
2000年 姚期智 Andrew Chi-Chih Yao 計(jì)算理論，包括偽隨機(jī)數(shù)生成，密碼學(xué)與通信復(fù)雜度
2001年 奧利-約翰·達(dá)爾 Ole-Johan Dahl 面向?qū)ο缶幊?克利斯登·奈加特 Kristen Nygaard
2002年 羅納德·李維斯特 Ronald L. Rivest 公鑰密碼學(xué)（RSA加密算法）阿迪·薩莫爾 Adi Shamir倫納德·阿德曼 Leonard M. Adleman
2003年 艾倫·凱 Alan Kay 面向?qū)ο缶幊?
2004年 文特·瑟夫 Vinton G. Cerf TCP/IP協(xié)議羅伯特·卡恩 Robert E. Kahn
2005年 彼得·諾爾 Peter Naur Algol 60語(yǔ)言
2006年 法蘭西斯·艾倫 Frances E. Allen 優(yōu)化編譯器
2007年 愛(ài)德蒙·克拉克 Edmund M. Clarke 開(kāi)發(fā)自動(dòng)化方法檢測(cè)計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤 艾倫·愛(ài)默生 Allen Emerson 約瑟夫·斯發(fā)基斯 Joseph Sifakis
2008年 芭芭拉·利斯科夫 Barbara Liskov 編程語(yǔ)言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論
2009年 查爾斯·薩克爾 Charles Thacker 幫助設(shè)計(jì)、制造第一款現(xiàn)代PC
2010年 萊斯利·瓦倫特 Leslie Valiant 對(duì)眾多計(jì)算理論所做的變革性的貢獻(xiàn)
2011年 猶大·伯爾 Judea Pearl 人工智能
2012年 莎菲·戈德瓦塞爾 Shafi Goldwasser 在密碼學(xué)和復(fù)雜理論領(lǐng)域做出創(chuàng)舉性工作 希爾維奧·米卡利 Silvio Micali
2013年 萊斯利·蘭伯特 Leslie Lamport 在提升計(jì)算機(jī)系統(tǒng)的可靠性及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn)
2014年 邁克爾·斯通布雷克 Michael Stonebraker 對(duì)現(xiàn)代數(shù)據(jù)庫(kù)系統(tǒng)底層的概念與實(shí)踐所做出的基礎(chǔ)性貢獻(xiàn)
2015年 惠特菲爾德·迪菲 Whitfield Diffie 非對(duì)稱(chēng)加密的創(chuàng)始人馬丁·赫爾曼 Martin Hellman
2016年 蒂姆·伯納斯·李 Tim Berners-Lee 萬(wàn)維網(wǎng)的發(fā)明者
2017年 約翰·軒尼詩(shī) John Hennessy 開(kāi)發(fā)了RISC微處理器并且讓這一概念流行起來(lái)的工程 大衛(wèi)·帕特森 David Patterson
2018年 約舒亞·本希奧 Yoshua Bengio 在人工智能深度學(xué)習(xí)方面的貢獻(xiàn) 杰弗里·欣頓 Geoffrey Hinton 揚(yáng)·萊坎 Yann LeCun
2019年 帕特里克·漢拉汗 Patrick M. Hanrahan 對(duì)3D計(jì)算機(jī)圖形學(xué)的貢獻(xiàn)，以及這些技術(shù)對(duì)電影制作和計(jì)算機(jī)生成圖像（CGI）等應(yīng)用的革命性影響 艾德文·卡特姆 Edwin E. Catmull
2020年 杰弗里·戴維·烏爾曼 Jeffrey David Ullman 創(chuàng)造了全球數(shù)百萬(wàn)編程人員使用的工具和教材，推進(jìn)編程語(yǔ)言實(shí)現(xiàn)的基礎(chǔ)算法和理論，并在極具影響力的書(shū)籍中綜述了這些研究成果 阿爾佛雷德·艾侯 Alfred Vaino Aho
2021年 杰克·唐加拉 Jack J. Dongarra 通過(guò)對(duì)線(xiàn)性代數(shù)運(yùn)算的高效數(shù)值算法、并行計(jì)算編程機(jī)制和性能評(píng)估工具的貢獻(xiàn)，引領(lǐng)了高性能計(jì)算的世界。
2022年 鮑勃·梅特卡夫 Bob Metcalfe 為引領(lǐng)大眾進(jìn)入超級(jí)連接時(shí)代所做的貢獻(xiàn)
2023年 [19] 艾維·維格森 Avi Wigderson 增強(qiáng)了人類(lèi)對(duì)計(jì)算中隨機(jī)性和偽隨機(jī)性作用的理解。
