图灵奖
图灵奖获得者

| 年份 | 姓名 | 贡献领域 |
| --- | --- | --- |
| 1966年 | 艾伦·佩利 | 高级程序设计技巧，编译器构造 |
| 1967年 | 莫里斯·威尔克斯 | 存储程序式计算机EDSAC，EDSAC 2，程序库 |
| 1968年 | 理查德·衛斯里·漢明 | 数值方法，自动编码系统，错误检测和纠错码 |
| 1969年 | 马文·闵斯基 | 人工智能 |
| 1970年 | 詹姆斯·维尔金森 | 数值分析，线性代数，倒退错误分析 |
| 1971年 | 约翰·麦卡锡 | 人工智能 |
| 1972年 | 艾兹赫尔·戴克斯特拉 | 程序设计语言的科学与艺术 |
| 1973年 | 查理士·巴赫曼 | 数据库技术 |
| 1974年 | 高德纳 | 算法分析、程序设计语言的设计、程序设计 |
| 1975年 | 艾伦·纽厄尔 | 人工智能，人类认知心理学和列表处理（list processing） |
| 1975年 | 赫伯特·西蒙 | 人工智能，人类认知心理学和列表处理（list processing） |
| 1976年 | 迈克尔·拉宾 | 非确定性自动机 |
| 1976年 | 达纳·斯科特 | 非确定性自动机 |
| 1977年 | 约翰·巴克斯 | 高级编程系统，程序设计语言规范的形式化定义 |
| 1978年 | 罗伯特·弗洛伊德 | 设计高效可靠软件的方法学 |
| 1979年 | 肯尼斯·艾佛森 | 程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践 |
| 1980年 | 東尼·霍爾 | 程序设计语言的定义与设计 |
| 1981年 | 埃德加·科德 | 数据库系统，尤其是关系型数据库 |
| 1982年 | 史蒂芬·库克 | 计算复杂度 |
| 1983年 | 肯·汤普逊 | UNIX操作系统和C语言 |
| 1983年 | 丹尼斯·里奇 | UNIX操作系统和C语言 |
| 1984年 | 尼克劳斯·维尔特 | 程序设计语言设计、程序设计 |
| 1985年 | 理查德·卡普 | 算法理论，尤其是NP-完全性理论 |
| 1986年 | 約翰·霍普克洛夫特 | 算法和数据结构的设计与分析 |
| 1986年 | 罗伯特·塔扬 | 算法和数据结构的设计与分析 |
| 1987年 | 约翰·科克 | 编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发 |
| 1988年 | 伊凡·苏泽兰 | 计算机图形学 |
| 1989年 | 威廉·卡韓 | 数值分析 |
| 1990年 | 费尔南多·考巴托 | CTSS和Multics |
| 1991年 | 罗宾·米尔纳 | LCF，ML語言，CCS |
| 1992年 | 巴特勒·蘭普森 | 分布式，个人计算环境 |
| 1993年 | 尤里斯·哈特马尼斯 | 计算复杂度理论 |
| 1993年 | 理查德·斯特恩斯 | 计算复杂度理论 |
| 1994年 | 爱德华·费根鲍姆 | 大规模人工智能系统 |
| 1994年 | 拉吉·瑞迪 | 大规模人工智能系统 |
| 1995年 | 曼纽尔·布卢姆 | 计算复杂度理论，及其在密码学和程序校验上的应用 |
| 1996年 | 阿米尔·伯努利 | 时序逻辑，程序与系统验证 |
| 1997年 | 道格拉斯·恩格尔巴特 | 互动计算 |
| 1998年 | 詹姆斯·尼古拉·格雷 | 数据库与事务处理 |
| 1999年 | 弗雷德里克·布鲁克斯 | 计算机体系结构，操作系统，软件工程 |
| 2000年 | 姚期智 | 计算理论，包括伪随机数生成，密码学与通信复杂度 |
| 2001年 | 奥利-约翰·达尔 | 面向对象编程 |
| 2001年 | 克利斯登·奈加特 | 面向对象编程 |
| 2002年 | 罗纳德·李维斯特 | 公钥密码学（RSA加密演算法） |
| 2002年 | 阿迪·萨莫尔 | 公钥密码学（RSA加密演算法） |
| 2002年 | 伦纳德·阿德曼 | 公钥密码学（RSA加密演算法） |
| 2003年 | 艾伦·凯 | 面向对象编程 |
| 2004年 | 文特·瑟夫 | TCP/IP协议 |
| 2004年 | 罗伯特·卡恩 | TCP/IP协议 |
| 2005年 | 彼得·诺尔 | ALGOL 60语言 |
| 2006年 | 法蘭西斯·艾倫 | 優化編譯器 |
| 2007年  | 爱德蒙·克拉克 | 开发自动化方法检测计算机硬件和软件中的设计错误 |
| 2007年  | 艾伦·爱默生 | 开发自动化方法检测计算机硬件和软件中的设计错误 |
| 2007年  | 约瑟夫·斯发基斯 | 开发自动化方法检测计算机硬件和软件中的设计错误 |
| 2008年 | 芭芭拉·利斯科夫 | 编程语言和系统设计的实践与理论 |
| 2009年 | 查尔斯·萨克尔 | 帮助设计、制造第一款现代PC |
| 2010年 | 莱斯利·瓦伦特 | 对众多计算理论所做的变革性的贡献 |
| 2011年 | 朱迪亚·珀尔 | 通过概率论和因果推理（英语：）对人工智能领域作出的根本性贡献 |
| 2012年 | 莎菲·戈德瓦塞尔 | 在密碼科學領域裡，於複雜理論的基礎之上，做出變革性工作；並領先發展出新的具有數學可證明性的有效驗證機制 |
| 2012年 | 希爾維奧·米卡利 | 在密碼科學領域裡，於複雜理論的基礎之上，做出變革性工作；並領先發展出新的具有數學可證明性的有效驗證機制 |
| 2013年 | 萊斯利·蘭波特 | 對於分散式及並形系統的理論與實踐具有基礎性貢獻，尤其是諸如因果邏輯時序（）、安全性與存活度（）、複製狀態機（）及循序一致性（英语：）（）等理論概念的發明 |
| 2014年 | 迈克尔·斯通布雷克 | 对现代数据库的概念和实践作出的根本性贡献 |
| 2015年 | 惠特菲爾德·迪菲 | 發明迪菲-赫爾曼密鑰交換，對公開密鑰加密技術有重大貢獻 |
| 2015年 | 馬丁·赫爾曼 | 發明迪菲-赫爾曼密鑰交換，對公開密鑰加密技術有重大貢獻 |
| 2016年 | 蒂姆·伯纳斯-李 | 发明了万维网、第一个浏览器和使得万维网得以扩展的基础协议及算法 |
| 2017年 | 約翰·軒尼詩 | 开创了一种系统的、定量的方法来设计和评价计算机体系结构，并对微处理器行业产生了持久的影响。 |
| 2017年 | 大衛·帕特森 | 开创了一种系统的、定量的方法来设计和评价计算机体系结构，并对微处理器行业产生了持久的影响。 |
| 2018年 | 约书亚·本希奥 | 深度学习 |
| 2018年 | 杰弗里·辛顿 | 深度学习 |
| 2018年 | 杨立昆 | 深度学习 |
| 2019年 | 艾德文·卡特姆 | 对于3D计算机图形学的基本贡献，以及这些技术对电影制作和其他应用中的计算机生成图像（CGI）的革命性影响。 |
| 2019年 | 帕特里克·汉拉恩 | 对于3D计算机图形学的基本贡献，以及这些技术对电影制作和其他应用中的计算机生成图像（CGI）的革命性影响。 |
| 2020年 | 阿尔佛雷德·艾侯 | 对程序语言实现的基础性算法和理论的贡献。 |
| 2020年 | 杰弗瑞·乌尔曼 | 对程序语言实现的基础性算法和理论的贡献。 |
| 2021年 | 杰克·唐加拉 | 对数值算法和库的开创性贡献，使高性能计算软件在40多年来跟上了指数级硬件改进的步伐。 |
| 2022年 | 羅伯特·梅特卡夫 | 發明，標準化以及商業化以太網。 |
| 2023年 | 阿維·威格森 | 計算理論，尤其於隨機性以及理論計算機科學多年的前沿知識貢獻。 |
| 2024年 | 安德魯·巴托 | 發展強化學習的概念和演算法基礎 |
| 2024年 | 理查德·S·薩頓（英语：） | 發展強化學習的概念和演算法基礎 |