历年图灵奖获奖者
图灵奖（Turing Award），全称A.M.图灵奖（ACM A.M Turing Award），是由美国计算机协会（ACM）于1966年设立的计算机奖项，名称取自艾伦·麦席森·图灵（Alan M. Turing），旨在奖励对计算机事业作出重要贡献的个人 。
图灵奖对获奖条件要求极高，评奖程序极严，一般每年仅授予一名计算机科学家。图灵奖是计算机领域的国际最高奖项，被誉为“计算机界的诺贝尔奖”。
图灵奖一般在每年3月下旬颁发。从1966年至2023年，图灵奖共授予了77名获奖者。本文为大家分享1966年至2023年完整的图灵奖获奖名单。
获奖名单
1966年图灵奖得主
艾伦·佩利（Alan J.Perlis，1922年4月1日-1990年2月7日）
贡献领域：高级程序设计技巧，编译器构造。
由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育，使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
1967年图灵奖得主
莫里斯·威尔克斯（Maurice V. Wilkes，1913年6月26日-2010年11月29日）
贡献领域：存储程序式计算机EDSAC，程序库。
第二届(1967年)的图灵奖授予英国皇家科学院院士、计算技术的先驱莫里斯·威尔克斯(Maurice Vincent Wilkes)，以表彰他在设计与制造出世界上第一台存储程序式电子计算机EDSAC（延迟存储电子自动计算器）以及其他许多方面的杰出贡献。
1968年图灵奖得主
理查德·卫斯里·汉明（Richard Wesley Hamming，1915年2月11日-1998年1月7日）
贡献领域：数值方法，自动编码系统，错误检测和纠错码。
他是美国计算机协会（ACM）的创立人之一，曾任该组织的主席。在曼哈顿计划中负责编写电脑程式，计算物理学家所提供方程的解，来为核弹实验提供可靠的计算依据。以理查德·卫斯里·汉明命名的“汉明距离”和“汉明重量”广泛应用在信息论、编码理论、密码学等多个领域。
1969年图灵奖得主
马文·明斯基（Marvin Minsky，1927年8月9日-2016年1月24日）
贡献领域：人工智能。
明斯基是人工智能的奠基人之一，是达特茅斯会议的组织者，1956年，和麦卡锡(John McCarthy)一起发起“达特茅斯会议”并提出人工智能(Artificial Intelligence)概念。同时也是框架理论的创立者。
1970年图灵奖得主
詹姆斯·维尔金森（James H. Wilkinson，1919年9月27日-1986年10月5日）（又译詹姆斯·威尔金森）
贡献领域：数值分析，线性代数，倒退错误分析。
威尔金森的主要贡献是在数值计算领域，尤其是在数值线性代数方面，发现很多有意义的算法。1960年，他在研究矩阵计算误差时而提出“向后误差分析法”(backward error analysis)，目前是计算机上各种数值计算最常用的误差分析手段。
图灵奖颁奖词：因其在数值计算领域的研究，他在线性代数计算与向后误差分析法方面的工作，获得广泛赞誉，促进了高速数字计算机的应用。
1971年图灵奖得主
约翰·麦卡锡（John McCarthy，1927年9月4日-2011年10月24日）
贡献领域：人工智能。
他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的“达特茅斯会议”上提出了“人工智能”这个概念，被称为“人工智能之父”。
1972年图灵奖得主
艾兹格·迪科斯彻（Edsger Wybe Dijkstra，1930年5月11日-2002年8月6日）
贡献领域：程序设计语言的科学与艺术。
他是计算机先驱之一，他开发了程序设计的框架结构。 被西方学术界称为“结构程序设计之父”和“先知先觉”（Oracle），他一生致力于把程序设计发展成一门科学。
1973年图灵奖得主
查理士·巴赫曼（Charles William Bachman，1924年12月11日-）
贡献领域：数据库技术。
20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并从而极大地推动了计算机的普及与应用。因此，1973年的图灵奖授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼。
1974年图灵奖得主
高德纳（Donald Ervin Knuth，1938年1月10日-）（又译唐纳德·克努特）
贡献领域：算法分析、程序设计语言的设计、程序设计。
《计算机程序设计的艺术》（The Art of Computer Programming）堪称计算机科学理论与技术的经典巨著，有评论认为其作用与地位可与数学史上欧几里得的《几何原本》相比。本书作者高德纳（Donald Ervin Knuth）因而荣获1974年度的图灵奖。
1975年图灵奖得主
艾伦·纽厄尔（Allen Newell，1927年3月19日-1992年7月19日）
赫伯特·西蒙（Herbert Alexander Simon，1916年6月15日—2001年2月9日）
贡献领域：人工智能，人类认知心理学和列表处理（list processing）。
艾伦·纽厄尔是信息处理语言（IPL）的发明者之一，并写了该语言最早的两个AI程序，合作开发了逻辑理论家（Logic Theorist 1956年）和通用问题求解器General Problem Solver。1975年和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。
1976年图灵奖得主
迈克尔·拉宾（Michael O. Rabin，1931年9月1日-）
达纳·斯科特（Dana Stewart Scott，1932年10月11日-）
贡献领域：非确定性自动机。
达纳·斯科特与合作者迈克尔·拉宾共同发表了论文《有限自动机和他们的决策问题》（Finite Automata and their Decision Problem），介绍了不确定性机器的概念，与标准图灵机不同，不确定性机器可以在程序的每一步执行几个不同的可能的“指令”，提出的不确定性机器的概念在研究领域被证明是有效的。
1977年图灵奖得主
约翰·巴克斯（John Warner Backus，1924年12月3日-2007年3月17日）
贡献领域: 高级编程系统，程序设计语言规范的形式化定义。
约翰·巴克斯创建了第一个高级编程语言FORTRAN，该程序由超过25000行机器语言组成，约翰·巴克斯和他的团队继续改进FORTRAN程序——称之为编译器，直到它最终达到了一定程度的稳定性和正确性，FORTRAN几十年来一直是科学应用程序的主要编程语言。约翰·巴克斯为函数式编程创造了一种新的语言，FP（函数式编程），他的工作使函数式编程变得更容易理解，从而引发了对该主题研究的复兴。
图灵奖颁奖词：（约翰·巴克斯）对实用的高级编程系统的设计做出了深刻的、有影响力的和持久的贡献。
1978年图灵奖得主
罗伯特·弗洛伊德（Robert W. Floyd，1936年6月8日-）
贡献领域：设计高效可靠软件的方法学。
1967年，在美国数学会AMS举行的应用数学讨论会上，弗洛伊德发表了那篇引起轰动并产生了深远影响的论文，即“如何确定程序的意义”（Assigning Meanings to Programs）。这篇论文在程序逻辑研究的历史上，是继麦卡锡（J．McCarthy，1971年图灵奖获得者）在1963年提出用递归函数作为程序的模型这一方法以后最重大的一个进展。
1979年图灵奖得主
肯尼斯·艾佛森（Kenneth Iverson，1920年12月17日-2004年10月19日）
贡献领域：程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践。
肯尼斯·艾佛森在编程语言和数学符号方面的工作，致使计算领域的APL语言的产生，他对交互式系统的实现、APL的教育用途以及编程语言理论和实践方面也做了一些工作。肯尼斯·艾佛森与合作者一起制作了一个简短的解释器原型，后来成为了J语言的种子，它是APL的一个变种。
图灵奖颁奖词：他（肯尼斯·艾佛森）在编程语言和数学方面做出了开创性努力。
1980年图灵奖得主
托尼·霍尔（Tony Hoare，1934年1月11日-）（又译东尼·霍尔）
贡献领域：程序设计语言的定义与设计。
托尼·霍尔的“计算机程序设计的公理基础”是程序设计理论中最有影响力的论文之一，他抛弃了流程图，并开发了一个逻辑系统，用于使用语句行为规范对程序进行推理，这种规范后来被称为霍尔三元组。
图灵奖颁奖词：他（托尼·霍尔）对编程语言的定义和设计做出了基础性贡献。
1981年图灵奖得主
埃德加·科德（Edgar Frank Codd，1923年8月19日-2003年4月18日）
贡献领域：数据库系统，尤其是关系型数据库。
埃德加·弗兰克·科德是“关系模型”的发明者，关系模型被广泛认为是20世纪最伟大的技术成就之一，它彻底改变了人们对数据库的看法，它将整个数据库领域转变为一门受人尊敬的科学学科，更具体地说，它提供了一个理论框架，在这个框架内，可以以科学的方式解决各种重要的数据库问题，所有正在使用或正在开发的数据库基本上都是基于埃德加·弗兰克·科德的思想。
图灵奖颁奖词：他（埃德加·弗兰克·科德）对数据库管理系统理论和实践做出了基础性和持续性贡献。
1982年图灵奖得主
史提芬·古克（Stephen A. Cook，1939年12月14日-）
贡献领域：计算复杂度。
史提芬·古克在1971年ACM SIGACT计算理论研讨会上发表的开创性论文“The Complexity of Theorem Proving Procedures”（定理证明过程的复杂性）为np完备性理论奠定了基础，后来对np完全类问题的边界和性质的探索是过去计算机科学中活跃和重要的研究活动之一。
图灵奖颁奖词：他（史提芬·古克）以一种重要而深刻的方式推进了我们对计算复杂性的理解。
1983年图灵奖得主
肯尼斯·汤普逊（Kenneth Lane Thompson，1943年2月4日-）
丹尼斯·里奇（Dennis MacAlistair Ritchie，1941年9月9日-2011年10月12日）
贡献领域：UNⅨ操作系统和C语言。
肯尼斯·汤普森于1969年编写了第一个版本的Unix操作系统，这是第一个可移植操作系统，它为计算领域的网络范式奠定了基础，当时使用的是运行在GECOS上的交叉汇编程序，Unix为用户提供交互式远程终端计算和共享文件系统，他与丹尼斯·里奇用C语言重写了Unix的大部分，这使得进一步的开发和移植到其他平台变得更加容易，Unix后来被设计成可以在从大型机到个人电脑的设备上运行，在学术环境和互联网服务器上广泛使用。
1984年图灵奖得主
尼古拉斯·沃斯（Niklaus Wirth，1934年2月15日-2024年1月1日）
贡献领域：程序设计语言设计、程序设计。
尼古拉斯·沃斯通过创造两种计算机语言奠定了他在计算机科学领域的早期地位：Euler和系统编程语言PL360（用于IBM System/360系列计算机），这项早期的工作在语法和语义的正式分离、新颖的实现技术以及使用特定解析方法进行有效实现的精心语言设计方面开辟了新路。
图灵奖颁奖词：他（尼古拉斯·沃斯）一生都在追求简单、优雅和高效的系统。
1985年图灵奖得主
理查德·卡普（Richard Karp，1935年1月3日-）
贡献领域：算法理论，尤其是NP-完全性理论。
查德·卡普对算法理论做出了持续贡献，开发了网络流和其他组合优化问题的有效算法，用算法效率的直观概念识别多项式时间可计算性。对np完备性理论的贡献：引入了标准的方法来证明问题是np完全的，致使较多理论和实际问题得以识别。
1986年图灵奖得主
约翰·霍普克罗夫特（John Edward Hopcroft，1939年10月7日-）
罗伯特·塔扬（Robert Tarjan，1948年4月30日-）
贡献领域：算法和数据结构的设计与分析。
他们在算法及数据结构设计和分析方面做出了成就。探索并指出计算机科学的前瞻发展方向，在机器学习、并行计算和社会复杂网络方面做出一系列贡献。
1987年图灵奖得主
约翰·科克（John Cocke，1925年5月30日-2002年7月16日）
贡献领域：编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发。
约翰·科克在编译器的设计和理论、大型系统的体系结构和精简指令集计算机（RISC）的发展方面做出了贡献。发现并系统化了用于优化编译器的许多基本转换，包括降低运算符强度、消除公共子表达式、寄存器分配、常量传播和消除死代码。
图灵奖颁奖词：（约翰·科克）对高性能计算机的架构和优化编译器的设计做出了根本性的贡献。约翰·科克以广博的才智、充沛的精力、敏锐的洞察力以及与众不同的工作方法而闻名。约翰·科克是计算机科学研究领域真正的“复兴者”，他对该领域的影响既源于他自己的技术贡献，也源于他对他人的影响。
1988年图灵奖得主
伊凡·苏泽兰（Ivan Edward Sutherland，1938年5月16日-）
贡献领域：计算机图形学。
他先后办过两个公司，主要从事计算机图形学方面的产品开发和市场营销。
1989年图灵奖得主
威廉·卡亨（William Morton Kahan，1933年6月-）
贡献领域：数值分析。
在Intel工作期间，主持设计与开发了8087芯片，成功地实现了高速、高效的浮点运算部件。目前，以80×86为CPU的计算机，若需完成科学与工程计算方面的课题，必须同时配置8087这种数学协处理器。一些著名的数学软件包，如Mathematica，也必须在配有8087数学协处理器的机器上才能运行。由于有这样的背景，卡亨受命主持制定了二进制的、与基数无关的浮点运算标准。
1990年图灵奖得主
费尔南多·考巴脱（Fernando J. Corbató，1926年7月1日-2019年7月19日）
贡献领域：CTSS和Multics。
他领导了世界上最早的操作系统之一的开发，研发的“兼容分时系统”（CTSS）允许多人同时使用一台计算机，提高了程序员的工作速度，它也被广泛认为是第一个使用密码的计算机系统。在CTSS之后，他领导了一个名为Multics的分时系统，它直接启发了Linux等操作系统，并为现代计算的许多方面奠定了基础。
1991年图灵奖得主
罗宾·米尔纳（Robin Milner，1934年1月13日-2010年3月20日）
贡献领域：LCF，ML语言，CCS。
罗宾·米尔纳与合作者实现了LCF，即设计出了允许用户交互地生成关于各种领域的可计算函数和函数的正式证明，包括计算机科学家感兴趣的领域，例如整数、列表和计算机程序及其语义。罗宾·米尔纳开发实现了一种语言，被设计成一种元语言（因此得名ML），用于实现一个名为爱丁堡LCF的新证明助手，ML影响了许多实用语言，包括Java、Scala和微软的f#。1980年出版了《Calculus of communication Systems，CCS》（通信系统演算）。
1992年图灵奖得主
巴特勒·兰普森（Butler W. Lampson，1943年12月-）（又译巴特勒·拉姆泼逊）
贡献领域：分布式，个人计算环境。
兰普森在解决计算机文件系统和分布式系统的技术问题上有许多突出的贡献。例如，70年代中期，拉姆泼逊在设计一个文件系统时就提出了“原子事务”(atomic transaction)的概念。在1979年举行的一次可靠分布计算会议上，兰普森提出了采用“三明治式的提交协议”(sandwich commit protocol)提高系统可靠性的方案。
1993年图灵奖得主
尤里斯·哈特马尼斯（Juris Hartmanis，1928年7月5日-2022年7月29日）
理查德·斯特恩斯（Richard E. Stearns，1936年7月5日-）
贡献领域：计算复杂度理论。
尤里斯·哈特马尼斯与理查德·斯特恩斯在他们的论文“On the Computational Complexity of Algorithms”（论算法的计算复杂度）中，对图灵机上的计算时间所定义的复杂度给出了一个精确的定义，并发展了复杂度类的理论。
1994年图灵奖得主
爱德华·费根鲍姆（Edward Feigenbaum，1936年1月20日-）
拉吉·瑞迪（Raj Reddy，1937年6月-）（又译罗杰·瑞迪）
贡献领域：大规模人工智能系统。
爱德华·费根鲍姆和罗杰·瑞迪在定义应用人工智能这一新兴领域并展示其技术意义方面一直是开创性的领导者。他在教学、研究、学术、商业和公共服务方面的活动对技术、商业和政府社区产生了持久的影响。
1995年图灵奖得主
曼纽尔·布卢姆（Manuel Blum，1938年4月26日-）
贡献领域：计算复杂度理论，及其在密码学和程序校验上的应用。
在他的博士论文中，提出了一种与机器无关的复杂性理论，为所有可能的复杂性研究奠定了基础。他假定资源是任何具有两个基本属性的函数（从那时起被称为Blum公理），本质上说明运行在特定输入上的程序所消耗的资源量是可以计算的——除非计算不能停止，在这种情况下它是未定义的。
图灵奖颁奖词：他（曼纽尔·布卢姆）对计算复杂性理论的基础及其在密码学和程序检查中的应用做出了贡献。
1996年图灵奖得主
阿米尔·伯努利（Amir Pnueli，1941年4月22日-2009年11月2日）
贡献领域：时序逻辑，程序与系统验证。
阿米尔·伯努利于1977年发表论文“The Temporal Logic of Programs”（程序的时间逻辑），彻底改变了计算机程序的分析方式，论文引入了程序作为执行路径的推理概念，为程序验证领域注入了新的活力。
图灵奖颁奖词：（阿米尔·伯努利）将时间逻辑引入计算科学做出了开创性工作，以及对程序和系统验证做出了杰出贡献。
1997年图灵奖得主
道格拉斯·恩格尔巴特（Douglas Engelbart，1925年1月30日-2013年7月2日）
贡献领域：互动计算。
道格拉斯·恩格尔巴特的首创技术包括鼠标、显示编辑、窗口、跨文件编辑、大纲处理、超媒体和群件，鼠标允许在计算机环境中直接操作元素，从而跨越了人与计算机之间的物理边界，它使界面成为人类行为的延伸，而不是人与机器之间的中介，扩展或增强了一项非常基本的人类能力，即二维手部运动，使其能够操纵数字媒体。开创了被称为协作超媒体、知识管理、社区网络和组织转型的概念。
1998年图灵奖得主
詹姆斯·尼古拉·格雷（James Nicholas Gray，1944年1月12日-2012年1月28日）
贡献领域：数据库与事务处理。
詹姆斯·尼古拉·格雷参与了IBM公司的System-R项目，他将自己的经验与系统和理论相结合，创建了一种统一的方法来解决并发控制和崩溃恢复等相关问题，开发的技术允许并发和执行多项事务，以及在崩溃后重新启动，同时保持数据库的一致性，这项工作是他获得图灵奖的基础。
图灵奖颁奖词：（詹姆斯·尼古拉·格雷）在数据库和事务处理研究方面做出了开创性贡献，在系统操作方面发挥了技术领导作用。
1999年图灵奖得主
弗雷德里克·布鲁克斯（Frederick Phillips Brooks，1931年4月19日—2022年11月17日）
贡献领域：计算机体系结构，操作系统，软件工程。
在IBM公司工作期间，弗雷德里克·布鲁克斯参加了Harvest和STRETCH计算机的开发，在程序中断系统的设计中，他和同事提出了“可屏蔽中断”的概念，使用户击键时字符显示在屏幕上，而计算机的运行却不会混乱，并申请了专利，该系统被广泛采用为计算机的基本机制。创造了“计算机体系结构”这个术语来表示计算机处理器和相关设备的结构和行为，与特定硬件实现的细节分开。
图灵奖颁奖词：（弗雷德里克·布鲁克斯）对计算机体系结构、操作系统和软件工程做出了里程碑式的贡献。
2000年图灵奖得主
姚期智（Andrew Chi-Chih Yao，1946年12月24日-）（截至2024年唯一华人获奖者）
贡献领域：计算理论，包括伪随机数生成，密码学与通信复杂度。
姚期智长期从事计算机科学和量子信息科学研究，专注研究计算理论及其应用，包括密码学、通信、算法经济学、量子计算等，主要包括三个方面：第一，创建理论计算机科学的重要次领域，通讯复杂性和伪随机数生成计算理论；第二，奠定现代密码学基础，在基于复杂性的密码学和安全形式化方法方面有根本性贡献；第三，解决线路复杂性、计算几何、数据结构及量子计算等领域的开放性问题并建立典范。
图灵奖颁奖词：姚期智在计算理论研究方面作出大量的根本性的、意义重大的贡献。
2001年图灵奖得主
奥利-约翰·达尔（Ole-Johan Dahl，1931年10月12日-2002年6月29日）
克利斯登·奈加特（Kristen Nygaard，1926年8月27日-2002年8月10日）
贡献领域：面向对象编程。
奥利-约翰·达尔与克利斯登·奈加特发明了离散事件模拟语言Simula I和通用编程语言Simula 67，明确建立了面向对象编程的基础，为相关想法的实现提供了逻辑和符号基础。奥利-约翰·达尔塑造并加速了面向对象程序设计和相关学科如管理科学的出现。奥利-约翰·达尔与合作者最早提出类、子类、继承、动态对象创建等概念，他们的工作从根本上改变了软件系统的设计和编程方式，从而产生了可重用的、可靠的、可扩展的应用程序，这些应用程序简化了编写软件代码的过程，并促进了软件编程。
图灵奖颁奖词：奥利-约翰·达尔与克利斯登·奈加特一起通过他们设计的编程语言Simula I和Simula 67，为面向对象编程的出现提供基础思想做出了杰出贡献。
2002年图灵奖得主
罗纳德·李维斯特（Ronald L. Rivest，1947年-）
阿迪·萨莫尔（Adi Shamir，1952年7月6日-）
伦纳德·阿德曼（Leonard Max Adleman，1945年12月31日-）
贡献领域：公钥密码学（RSA加密算法）。
由于私有消息的发送方和接收方避免需要共享密钥这一需求没有实际方法，罗纳德·李维斯特等人在他们1977年的论文“A method for obtaining digital signatures and public-key cryptosystems”（获取数字签名和公钥密码系统的方法）中提出了实际的实现方法，展示了如何对消息进行编码，发送给接收者，并在几乎没有机会被看到它的第三方解码的情况下对其进行解码。
图灵奖颁奖词：罗纳德·李维斯特等人对公钥密码学在实践中发挥作用做出了独创性的贡献。
2003年图灵奖得主
艾伦·凯（Alan Curtis Kay，1940年5月17日-）
贡献领域：面向对象编程。
艾伦·凯提出了“Dynabook”的概念，笔记本电脑和平板电脑都起源于“Dynabook”的早期概念。为了找出一种与新的计算机媒介互动的方法，艾伦·凯与合作者创建了图形界面和Smalltalk编程语言，Smalltalk后来成为一个完整的集成编程环境，具有调试器、面向对象的虚拟内存、编辑器、屏幕管理和用户界面，是第一个动态的面向对象编程语言。
图灵奖颁奖词：（艾伦·凯）在面向对象编程语言的基础上开创了许多思想，领导了开发Smalltalk的团队，并对个人计算做出了根本性的贡献。
2004年图灵奖得主
文特·瑟夫（Vinton G. Cerf，1943年6月23日-）（又译温顿·瑟夫）
罗伯特·卡恩（Robert E. Kahn，1938年12月23日-）
贡献领域：TCP/IP协议。
温顿·瑟夫与罗伯特·卡恩领导了传输控制协议和互联网协议（TCP/IP）的设计和实现。他们制定了网络的基本设计原则，制定了TCP/IP来满足这些需求，建立了TCP/IP原型，并协调了几个早期的TCP/IP实现。温顿·瑟夫与罗伯特·卡恩开发了一个网络互联系统——这个系统最终被称为“互联网”。他们于1974年的一篇开创性论文“a Protocol for Packet Network Intercommunication”（分组网络互联协议）中概述了由此产生的互联网架构。
图灵奖颁奖词：在互联网方面做出了开创性工作，包括互联网基本通信协议TCP/IP的设计和实现，以及在网络方面发挥了鼓舞人心的领导作用。
2005年图灵奖得主
彼得·诺尔（Peter Naur，1928年10月25日-2016年1月3日）
贡献领域：Algol 60语言。
彼得·诺尔参与了编程语言的开发，这种语言后来被称为ALGOL（算法语言），他的主要贡献在于选择正确的描述形式来定义语言。彼得·诺尔在让哥本哈根计算中心Regnecentralen将关注点从编译器设计转移到ALGOL实现的运行时系统方面发挥了关键作用。20世纪80年代，彼得·诺尔写了一篇名为“Programming as Theory Building”的论文，这篇论文是敏捷软件开发运动的起点。
图灵奖颁奖词：（彼得·诺尔）对编程语言的设计和Algol 60的定义、编译器的设计、计算机编程的理论和实践做出了根本性的贡献。
2006年图灵奖得主
法兰西斯·艾伦（Frances Elizabeth Allen，1932年8月4日-2020年8月4日）（第一位获图灵奖的女性）
贡献领域：优化编译器。
法兰西斯·艾伦的并行翻译器（PTRAN）项目是一个编译Fortran程序的系统，面对在并行计算机体系结构上执行时，并没有特别考虑到并行性的问题，于是她开发了从顺序代码中提取并行性的新算法，PTRAN引入了程序依赖图的概念，这是许多并行编译器使用的一种表示。
图灵奖颁奖词：（法兰西斯·艾伦）对优化编译器技术的理论和实践做出了开创性贡献，为现代优化编译器和自动并行执行奠定了基础。
2007年图灵奖得主
爱德蒙·克拉克（Edmund Melson Clarke，1945年7月27日-2020年12月22日）
艾伦·爱默生（Allen Emerson，1954年6月2日-）
约瑟夫·斯发基斯（Joseph Sifakis，1946年12月-）
贡献领域：开发自动化方法检测计算机硬件和软件中的设计错误。
爱德蒙·克拉克与艾伦·爱默生和约瑟夫·斯发基斯共同开发了一种自动检测计算机硬件和软件设计错误的方法，它被称为模型检查，被广泛使用，有助于提高复杂计算机芯片、系统和网络的可靠性。
2008年图灵奖得主
芭芭拉·利斯科夫（Barbara Liskov，1939年11月7日-）
贡献领域：编程语言和系统设计的实践与理论。
芭芭拉·利斯科夫对编程语言和系统设计的实践和理论基础作出了贡献：创造了专门用于支持复杂软件构建的“维纳斯计算机”。描述了Algol（算法语言）对Venus操作系统的变量范围划分的影响。领导了CLU编程语言的设计和实现，该语言强调模块化编程、数据抽象和多态性的概念，这些概念是现代计算机语言（如Java和c#）中使用的面向对象编程的基础。
2009年图灵奖得主
查尔斯·萨克尔（Chuck Thacker，1943年2月26日-2017年6月12日）
贡献领域：帮助设计、制造第一款现代PC。
查尔斯·萨克尔开创性地设计和实现了第一台现代个人电脑——施乐帕洛阿尔托研究中心（Xerox PARC）的Alto电脑，并在局域网（包括以太网）、多处理器工作站、窥探缓存一致性协议和平板个人电脑方面作出了开创性的发明。
2010年图灵奖得主
莱斯利·瓦伦特（Leslie Gabriel Valiant，1949年03月28日-）（又译莱斯利·瓦利安特）
贡献领域：对众多计算理论所做的变革性的贡献。
莱斯利·瓦伦特的研究开辟了新的领域，并引发了许多领域的变革。他为人工智能进步提供了理论基础，在改进机器学习方面取得重要成绩，将计算机科学和数学领域的见解及认知理论与其它技术结合后，开创了机器学习和通信的新时代。1984年，他提出概率近似正确学习框架（probably approximately correct （PAC） learning framework）。
图灵奖颁奖词：他（莱斯利·瓦伦特）对计算理论作出了革命性贡献。
2011年图灵奖得主
犹大·伯尔（Judea Pearl，1936年9月4日-）
贡献领域：人工智能。
犹大·伯尔为不确定性下的信息处理创造了表征和计算基础：他发明了贝叶斯网络，这是一种定义复杂概率模型的数学形式，也是这些模型中用于推理的主要算法，这项工作不仅彻底改变了人工智能领域，而且成为许多其他工程和自然科学分支的重要工具，他后来创建了因果推理的数学框架，对社会科学产生了重大影响。
图灵奖颁奖词：（犹大·伯尔）通过发展概率和因果推理的演算，对人工智能作出了基础性贡献。
2012年图灵奖得主
莎菲·戈德瓦塞尔（Shafi Goldwasser，1959年-）
希尔维奥·米卡利（Silvio Micali，1954年10月13日-）
贡献领域：在密码学和复杂理论领域做出创举性工作。
莎菲·戈德瓦塞尔与其合作者一起为密码学奠定了复杂性理论基础，并在此过程中开创了有效验证复杂性理论数学证明的新方法，创建了现代密码学的理论基础，引入零知识交互证明，引入多证明者证明（后来被称为概率可检验证明），发现概率可检验证明与近似问题的难解性之间的联系，展示了如何使用椭圆曲线理论区分素数和复合数，以及启动组合性质测试。
希尔维奥·米卡利是概率加密、零知识证明、可验证随机函数和许多作为现代密码学基础的协议的共同发明者。希尔维奥·米卡利创立了Algorand——这是一个完全分散、安全、可扩展的区块链，为无国界经济提供了一个构建产品和服务的通用平台。
图灵奖颁奖词：希尔维奥·米卡利和莎菲·戈德瓦塞尔的独创性和远见是鼓舞人心的，他们的工作为最严格的数学标准提供了计算证明。他们把一代学生和同事培养得同样大胆和有创造力。
2013年图灵奖得主
莱斯利·兰伯特（Leslie Lamport，1941年-）
贡献领域：在提升计算机系统的可靠性及稳定性领域的杰出贡献。
莱斯利·兰伯特对分布式和并发系统的理论和实践作出了基础性贡献，发明了因果关系和逻辑时钟、安全性和活动性、复制状态机和顺序一致性等概念。研究的算法已经成为容错分布式系统的标准工程实践，开发了关于并发系统的正式规范和验证的工作，并为应用这些方法的自动化工具的开发作出了贡献。具体贡献包括互斥解和面包房算法、并发编程的基础、分布式系统基础、容错和状态机复制、程序的正式说明和验证、LaTeX等。
图灵奖颁奖词：（莱斯利·兰伯特）对分布式和并发系统的理论和实践作出了基础性贡献。
2014年图灵奖得主
迈克尔·斯通布雷克（Michael Stonebraker，1943年10月11日-）
贡献领域：对现代数据库系统底层的概念与实践所做出的基础性贡献。
迈克尔·斯通布雷克在加州大学伯克利分校开发了两个系统——Ingres和Postgres，催生出数个数据库产品，包括IBM的Informix和EMC的Greenplum。Ingres成为最早的关系数据库之一，它提供了一种更有组织的方式来存储多种实体，成为了业务存储的行业标准。而Postgres将Ingres的思想与面向对象编程相结合，使用户能够将对象及其属性本地映射到数据库中，这种“对象-关系”数据库的新概念可用于表示和操作复杂的数据，如计算机辅助设计、地理空间数据和时间序列。
图灵奖颁奖词：迈克尔·斯通布雷克对数据库管理技术的改进和推广的贡献怎么强调都不为过。
2015年图灵奖得主
惠特菲尔德·迪菲（Whitfield Diffie，1944年6月5日-）
马丁·赫尔曼（Martin Hellman，1945年-）
贡献领域：非对称加密的创始人。
惠特菲尔德·迪菲创造了“公钥加密”的概念，与马丁·赫尔曼共同创建了公开密钥加密算法和数字签名机制，“Diffie Hellman”就是以他及马丁·赫尔曼的名字命名的史上第一个基于公开密钥加密的密钥交换机制。公开密钥加密成为了现代密码学的基础核心算法，连同数字签名成为支撑当前加密系统和安全协议的基石。
2016年图灵奖得主
蒂姆·伯纳斯·李（Tim Berners-Lee，1955年6月8日-）
贡献领域：万维网的发明者。
1980年，伯纳斯-李在欧洲核子物理实验室工作时建议建立一个以超文本系统为基础的项目来使得科学家之间能够分享和更新他们的研究结果。他与罗勃·卡力奥一起建立了一个叫做ENQUIRE的原型系统。1984年，伯纳斯-李重返欧洲核子物理实验室，这次作为正式成员，他恢复了他过去的工作创造了万维网，为此他写了世界上第一个网页浏览器和第一个网页服务器。1994年，伯纳斯-李在麻省理工学院创立了万维网联盟，它由不同的原意建立万维网标准和提高万维网质量的公司组成。
2017年图灵奖得主
约翰·轩尼诗（John LeRoy Hennessy，1952年9月22日-）
大卫·帕特森（David Patterson，1947年11月16日-）
贡献领域：开发了RISC微处理器并且让这一概念流行起来的工程。
1983年，在IBM John Cocke的精简指令集计算机（RISC——Reduced Instruction Set Computer）基础上，约翰·轩尼诗团队开发了一个名为MIPS（无连锁流水线级的微处理器）的原型芯片，第一款MIPS芯片使用了25000个晶体管，运行速度比伯克利的RISC-2芯片（40760个晶体管）更快，后来MIPS芯片处理器与斯坦福大学詹姆斯·克拉克（James Clark）开发的定制图形相结合，为20世纪80年代末和90年代好莱坞所依赖的高性能图形工作站提供了动力。
大卫·帕特森领导了加州大学伯克利分校和ARPA VLSI联合的合作项目——RISC-II芯片项目，设计出了40760根晶体管的芯片，速度是RISC-1的三倍，尺寸是RISC-1的一半，成为Sun微系统公司SPARC微架构的基础。
图灵奖颁奖词：他们（轩尼诗和大卫·帕特森）基于RISC（精简指令集）的高能效处理器的贡献使得移动和物联网革命成为可能。与此同时，在过去的25年里，他们开创性的教科书影响了一代又一代的工程师和计算机体系结构设计师，推动了整个行业的创新步伐。
2018年图灵奖得主
约舒亚·本希奥（Yoshua Bengio，1964年3月5日-）（又译约书亚·本吉奥）
杰弗里·欣顿（Geoffrey Hinton，1947年12月6日-）（又译杰夫·辛顿）
杨立昆（Yann LeCun，1960年-）（又译扬·莱坎）
贡献领域：在人工智能深度学习方面的贡献。
2000年，约书亚·本吉奥发表了一篇名为“神经概率语言模型”一文，论文引入高维单词嵌入作为词义的表示，让网络识别新短语与训练集中包含的短语之间的相似性，这种方法致使机器翻译和自然语言理解系统的重大转变，本吉奥团队通过将神经词嵌入和“注意力”机制结合起来，进一步提高了机器翻译系统的性能。
约书亚·本吉奥和Ian Goodfellow一起提出了“生成对抗性网络”的概念，生成性网络学习生成与训练集中难以区分的对象，该技术是“对抗性的”，它已被广泛用于生成图像，例如自动生成高度逼真的不存在的人或物体的照片。
辛顿与合作者在1986年发表的两篇具有里程碑意义的论文中推广了被称为“反向传播”的算法，这个术语反映了一个阶段，在这个阶段中，算法通过神经元反向传播网络猜测产生的误差测量，从直接连接到输出的神经元开始，这使得在输入层和输出层之间具有中间“隐藏”神经元的网络能够有效地学习，它支撑着如今几乎所有的神经网络，从计算机视觉系统到大型语言模型。
杨立昆为卷积神经网络和图像识别领域做出了重要贡献，以手写字体识别、图像压缩和人工智能硬件等主题发表过190多份论文，研发了很多关于深度学习的项目。
2019年图灵奖得主
帕特里克·汉拉汗（Patrick M. Hanrahan，1955年-）
艾德文·卡特姆（Edwin Earl Catmull，1945年3月31日-）
贡献领域：对3D计算机图形学的贡献，以及这些技术对电影制作和计算机生成图像（CGI）等应用的革命性影响。
帕特里克·汉拉汗，斯坦福大学计算机图形实验室计算机科学与电机工程学教授，主要研究渲染算法、图形处理器及科学插画与可视化，因渲染和计算机图形研究获得三个奥斯卡金像奖。
艾德文·卡特姆，迪士尼动画工作室和皮克斯动画工作室现任总裁，皮克斯的创始人之一。
2020年图灵奖得主
杰弗里·戴维·乌尔曼（Jeffrey David Ullman，1942年11月22日-）
阿尔佛雷德·艾侯（Alfred Aho，1941年8月9日-）
贡献领域：创造了全球数百万编程人员使用的工具和教材，推进编程语言实现的基础算法和理论，并在极具影响力的书籍中综述了这些研究成果。
杰弗里·戴维·乌尔曼致力于计算机科学的许多核心理论问题。二十世纪七十年代他研究了一些最基本的计算操作的算法，如排序，并将语言理论应用于编程语言解析器的设计。他的想法构成了解析器生成器YACC的基础，YACC一直是为编程语言构建解析器的首选工具。
阿尔佛雷德·艾侯及其合作者在编译器方面做了基础性工作，这些工作对于将高级编程语言转换成低级代码至关重要。帮助人们理解了算法的理论基础，并为编译器和编程语言设计的研究和实践制定了路线，开发了分析和翻译编程语言的有效算法。
图灵奖颁奖词：杰弗里·戴维·乌尔曼与阿尔佛雷德·艾侯一起，在编程语言实现的基础算法和理论方面，以及在他们极具影响力的书籍中所总结的工作结果，影响教育了几代计算机科学家。
2021年图灵奖得主
杰克·唐加拉（Jack J. Dongarra，1950年-）
贡献领域：通过对线性代数运算的高效数值算法、并行计算编程机制和性能评估工具的贡献，引领了高性能计算的世界。
杰克·唐加拉创建了使用线性代数作为中间语言的开源软件库和标准。他的库还引入了重要的创新，例如自动调整、混合精度算术和批处理计算。对数值算法和库的开创性贡献，使高性能计算软件在40多年来跟上了指数级硬件改进的步伐。专注于线性代数、并行计算、高级计算机体系结构的使用、编程方法，和并行计算机工具的数值算法。
2022年图灵奖得主
鲍勃·梅特卡夫（Bob Metcalfe，1946年-）
贡献领域：为引领大众进入超级连接时代所做的贡献。
Metcalfe 共同发明了以太网，共同创立了 3Com，并提出了Metcalfe 定律，该定律描述了电信网络的效应。
2023年图灵奖得主
艾维·维格森（Avi Wigderson，1956年9月9日-）
贡献领域：增强了人类对计算中随机性和伪随机性作用的理解。
艾维·维格森主要致力于复杂性理论的研究。
参考文档：
百度百科，历年图灵奖获奖名单及各人物介绍。
📢欢迎 点赞👍 收藏⭐ 评论📝 关注❤ 如有错误敬请指正！
☟ 学Python，点击下方名片关注我。☟
