历届图灵奖 (Turing award)得奖名单

一、总结

一句话总结：各个方面都有。

二、历届图灵奖 (Turing award)得奖名单

Turing奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人，而这些贡献必须对计算机科学与技术有长远而重要的影响。1966年，A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人，美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。

1966 A. J. Perlis因在新一代编程技术和编译架构方面的贡献而获奖
1967 Maurice V. Wilkes因设计出第一台具有内置存储程序的计算机而获奖
1968 Richard W. Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖
1969 Marvin Minsky 因对人工智能的贡献被授予图灵奖
1970 J. H. Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖
1971 John McCarthy因对人工智能的贡献被授予图灵奖
1972 Edsger W. Dijkstra因在编程语言方面的出众表现而获奖
1973 Charles W. Bachman因在数据库方面的杰出贡献而获奖
1974 Donald E. Knuth因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖
1975 Allen Newell和Herbert A.Simon因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖
1976 Michael O. Robin和Dana S. Scott因他们的论文”有限自动机与它们的决策问题”中所提出的非确定性机器这一很有价值的概念而获奖
1977 John Backus因对可用的高级编程系统设计有深远和重大的影响而获奖
1978 Robert W. F编程的算法方面的深远影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖
1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖
1980 C. Anthony R. Hoare因对程序设计语言的定义和设计所做的贡献而获奖
1981 Edgar F. Codd因在数据库管理系统的理论和实践方面的贡献而获
1982 Steven A. Cook因奠定了NP-Completeness理论的基础而获奖
1983 Ken Thompson和Dennis M. Ritchie因在通用操作系统理论方面的突出贡献, 特别是对UNIX操作系统的推广的贡献而获奖
1984 Niklaus Wirth因开发了EULER, ALGOL-W, MODULA和PASCAL一系列崭新的计算语言而获奖
1985 Richard M. Karp因对算法理论的贡献而获奖
1986 John E. Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而获奖
1987 John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖
1988 Ivan E. Sutherland因在计算机图形学方面的贡献而获奖
1989 William V.Kahan因在数值分析方面的贡献而获奖
1990 Fernando J.Corbato因在开发大型多功能，可实现时间和资源共享的计算系统，如CTSS和Multics方面的贡献而获奖
1991 Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖
1992 Butler Lampson因在个人分布式计算机系统方面的贡献而获奖
1993 Jurlis Hartmanis和Richard E. Stearns因奠定了计算复杂性理论的基础而获奖
1994 Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖
1995 Manuel Blum因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖
1996 Amir Pnueli因在中引入临时逻辑和对程序及系统检验的贡献而获奖
1997 Douglas Engelbart因提出交互计算概念并创造出实现这一概念的重要技术而获奖
1998 James Gray因在数据库和事务处理方面的突出贡献而获奖
1999 Frederick P. Brooks, Jr. 由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。《人月神话》的作者
2000 Andrew Chi-Chih Yao(姚期智) 由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性
2001 Ole-Johan Dahl, Kristen Nygaard 由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中
2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman 由于在公共密钥理论和实践方面的基础性工作而获奖
2003 Alan Kay 由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。至理名言：预测未来的最好方法是创造它
2004 Vinton G. Cerf, Robert E. Kahn 由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导
2005 Naur Peter 因他在设计Algol 60语言于其定义的清晰性，Algol 60成为了许多现代程序设计语言的原型。在语法描述中广泛使用的BNF范式，其中的“N”便是来自Peter Naur的名字
2006 Frances E. Allen因其在编译器优化理论和实践方面做出的开创性贡献而获奖。Allen是该奖项创立40年来的第一位女性得主。
2007 Edmund M. Clarke，Allen Emerson和Joseph Sifakis因为“在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献”而荣获该奖
2008 Barbara Liskov因在计算机软件更加可靠、安全和更具一致性方面的贡献而获奖。她也成为历史上第二位获得图灵奖的女性
2009 Chuck Thacker以表彰他对第一台现代个人计算机——施乐帕克（Xerox PARC）Alto的先驱性设计，以及在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的杰出成就与贡献。他是以太局域网的发明者之一，也是世界是第一台激光打印机发明者之一
2010 Leslie G. Valiant因对众多的计算理论，包括PAC学习、枚举复杂性和代数计算和并行与分布式计算所做的变革性的贡献而获奖
2011 Judea Pearl因在人工智能领域的基础性工作获奖，他提出的概率和因果性推理演算法，彻底改变了人工智能当初基于规则和推理的方向

TURING奖获得者分类(1966–2010)

硬件
Maurice V. Wilkes (1967) ——第一台具有内部存储程序的计算机EDSAC
John Cocke (1987) —— RISC & 编译优化
Vinton Gray Cerf (2004) —— Internet基础通讯协议
Chuck Thacke（2009）—— 局域网
Frances E. Allen（2006）—— 编译器优化理论
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型验证

程序语言设计与实现
Alan J. Perlis (1966) ——ALGOL
John McCarthy (1971) —— LISP
Edsger Wybe Dijkstra (1972) —— ALGOL
John W. Backus (1977) —— FORTRAN
Kenneth Eugene Iverson (1979) ——APL程序语言
Niklaus Wirth (1984) —— PASCAL
John Cocke (1987) ——RISC & 编译优化
Ole-Johan Dahl，Kristen Nygaard (2001) —— Simula语言和面向对象概念 (获奖前30年)
Alan Kay(2003) ——SmallTalk语言和面向对象程序设计
Peter Naur(2005) —— ALGOL60以及编译设计
Barbara Liskov(2008) ——数据抽象与分布式计算
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型验证

算法
Richard Hamming (1968) —— 汉明码
James Hardy Wilkinson (1970) —— 数值分析
Donald E. Knuth —— art of computer programming
John E. Hopcroft，Robert Endre. Tarjan (1986) ——数据结构和算法设计
William (Velvel) Morton Kahan (1989) —— 浮点运算IEEE标准主要设计师
Andrew Chi-Chih Yao (姚期智) (2000) ——伪随机数复杂性，密码系统和通讯复杂性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) ——公钥密码技术

自动机和可计算性
Dana Stewart Scott (1976) —— 自动机
Michael Oser Rabin (1976) ——自动机
Stephen Arthur Cook (1982) —— NP完全性
Richard Manning Karp (1985) —— 证明一个问题是否是属于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) —— 计算复杂性
Manuel Blum (1995) —— 计算复杂性，密码系统和程序检查验证
Leslie G. Valiant（2010）——计算复杂性

人工智能
Marvin Lee Minsky (1969) —— 神经元网络
John McCarthy (1971) —— LISP
Allen Newell，Herbert Simon (1975) —— Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) ——专家系统
Leslie G. Valiant（2010）——机器学习
Judea Pearl（2011）—— 概率和因果性推理演算法

操作系统
Dennis MacAlistair Ritchie，Ken Thompson (1983) —— UNIX
Fernando Jose Corbato (1990) ——分时系统
Frederick P. Brooks(1999) —— IBM System360 操作系统

数据库
Charles W. Bachman (1973) —— 数据库
Edgar Frank Codd (1981) ——关系数据模型
James Gray(1998) —— 数据库和事务处理

图像处理和交互式系统
Ivan Edward Sutherland (1988) ——图像处理，CAD
Douglas Engelbart(1998) —— 交互式系统，鼠标发明人

程序语言语义
Dana Stewart Scott (1976) ——自动机
Robert W. Floyd (1978) —— 编程语言语义，自动程序验证
C. Antony R. Hoare (1980) —— Hoare Logic, CSP
Robin Milner (1991) —— LCF，ML，CCS，PI-calculus
Amir Pnueli (1996) —— 时序逻辑和系统验证