历届图灵奖获得者及其获奖原因
历届图灵奖获奖者
阿迪·萨莫尔（Adi Shamir），2002年图灵奖获得者、以色列魏兹 曼科学研究所教授、美国外籍科学院院士、现代密码学奠基人之一。
Adi Shamir早年在以色列魏茨曼科学研究所获得硕士、博士学位， 1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文章， 获得了多项奖励，如美国计算机学院 Kannelakis奖、以色列数学协会 Erdos奖、IEEE W.r奖、UAP科学奖、梵蒂冈PUIS XI金奖以及 IEEE Koji Kobayashi计算机与通信奖等等。
大卫·帕特森（David Patterson），1947年11月16日出生于美国伊 利诺伊州，2017年图灵奖得主，美国国家科学院院士，美国国家工程院院 士，美国艺术与科学院院士，ACM Fellow，IEEE Fellow，美国科学促进 会会士。
大卫·帕特森于1969年获得加州大学洛杉矶分校数学专业学士学位； 1970年获得加州大学洛杉矶分校计算机科学专业硕士学位；1976年获得加 州大学洛杉矶分校计算机科学专业博士学位；1977年受聘为加州大学伯克 利分校助理教授；1990年当选为IEEE Fellow；1993年当选为美国国家工 程院院士；1994年当选为ACM Fellow；2006年当选为美国国家科学院院 士和美国艺术与科学院院士；2007年当选为美国科学促进会会士；2016年 受聘为谷歌杰出工程师；2017年获得ACM图灵奖。
历届图灵奖获得者
历届图灵奖获得者(1966-2010)图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项, 被喻为计算机界的诺贝尔奖. 它是以英国数学天才Alan Turing先生的名字命名的, Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人. 而这些贡献必须对计算机业有长远而重要的影响.图灵奖被称为“计算科学界的诺贝尔奖”，它创立于1960年，现在的奖金10万美元，由Intel公司赞助。
历届图灵奖获得者名单:1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) 因在新一代编程技术和编译架构方面的贡献而获奖.1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge因设计出第一台程序实现完全内存的计算机而获奖.1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖. 1969 Marvin Minsky --- PhD, Princeton, Prof, MIT因对人工智能的贡献被授予图灵奖.1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.1971 John McCarthy --- PhD, Princeton; Prof, Stanford因对人工智能的贡献被授予图灵奖.1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin因在编程语言方面的出众表现而获奖.1973 Charles W. Bachman --- staff, Honeywell因在数据库方面的杰出贡献而获奖.1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)因在人工智能、人类识别心理和表处理的基础研究而获奖.1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard和Dana S. Scott --- PhD, Princeton; Prof, CMU因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概念而获奖.1977 John Backus --- BS, Columbia; staff, IBM因对可用的高级编程系统设计有深远和重大的影响而获奖.1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)因对程序设计语言的定义和设计所做的贡献而获奖. 快速排序算法发明人1981 Edgar F. Codd --- PhD, Michigan; staff, IBM因在数椐库管理系统的理论和实践方面的贡献而获奖.1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto因奠定了NP-Completeness理论的基础而获奖.1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs因在类属操作系统理论，特别是UNIX操作系统的推广而获奖.1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖. 提出了程序 = 算法 + 数据结构1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley因对算法理论的贡献而获奖.1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornelland Robert E. Tarjan --- PhD, Stanford; Prof, Princeton因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.1987 John Cocke --- staff, IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun因在计算机图形学方面的贡献而获奖.1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面的贡献而获奖.1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖. 1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft因在个人分布式计算机系统（包括操作系统）方面的贡献而获奖.1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell和 Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany因奠定了计算复杂性理论的基础而获奖.1994 Raj Reddy --- PhD, Stanford; Prof, CMU和 Edward Feigenbaum (PhD, CMU; Prof, Stanford)因对大型人工智能系统的开拓性研究而获奖.1995 Manuel Blum --- PhD, MIT; Prof, Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖. 1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.1998 James Gray --- PhD, Berkeley; staff, Microsoft因在数据库和事务处理方面的突出贡献而获奖.1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献. 2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at 清华)因对计算理论做出了诸多根本性的重大贡献. (图灵奖自创立以来获得该奖项的首位华裔学者,全球华人的骄傲)2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman-Ronald L. Rivest: PhD, Stanford; MIT Adi Shamir: PhD, Weizmann; WeizmannLeonard M. Adelman: PhD, Berkeley; USC 因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004 Vinton G. Cerf、Robert E. Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
历届图灵奖得主
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主1966年图灵奖获得者美国科学家艾伦佩利Alan J.Perlis：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Synthesis of Algorithmic System）。
1967年图灵奖获得者英国科学家莫里斯威尔克斯Maurice V.Wilkes：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（Computer Then and Now）。
1968年图灵奖获得者美国科学家理查德汉明Richard W.Hamming：发明了纠错码——汉明码（Hamming Code）。
获奖演说“对计算机科学的看法”（On Man’s View of Computer Science）。
图灵奖得主1969年图灵奖获得者美国科学家马文明斯基Marvin L.Minsky：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
获奖演说“计算机科学的形式和内容” 。
1970年图灵奖获得者英国科学家詹姆斯威尔金森James H.Wilkinson：数值分析专家和研制ACE计算机（第一台商业计算机）的功臣。
获奖演说“一个数值分析家的若干意见” 。
1971年图灵奖获得者美国科学家约翰麦卡锡John MacCarthy：“人工智能之父”，LISP语言的发明者。
获奖演说“人工智能研究的现状” 。
图灵奖得主1972年图灵奖获得者荷兰科学家埃德斯加狄克斯特拉Edsgar W.Dijkstra：最早指出“goto”语句有害，著名的最短路径Dijkstra算法，现代操作系统的奠基者之一。
获奖演说“智力低下的程序员” 。
1973年图灵奖获得者美国科学家查尔斯巴赫曼Charles W.Bachman：网状数据库之父、推动与促成数据库标准的制订。
获奖演说“作为导航员的程序员” 。
1974年图灵奖获得者美国科学家唐纳德克努特Donad E.Knuth：经典巨著《计算机程序设计的艺术》The Art of Computer Programming的作者，排版软件的先驱（TEX）。
图灵奖资料——精选推荐
图灵奖资料原著：Y at-sen Channel 翻译：王茜2002年12月8日图灵奖“图灵奖”最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被誉为“计算机界的诺贝尔奖”，主要授予那些在计算机技术领域做出突出贡献、对计算机产业发展有长远和重要影响的个人。
迄今为止已有36位科学家获此殊荣。
历届图灵奖获得者资料来源：Yat-sen Channel1966 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.Floyd因其在软件编程的算法方面的深远影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖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因在数据库和事务处理方面的突出贡献而获奖2000 姚期智(Andrew C.Yao)因为对计算理论做出了诸多“根本性的、意义重大的”贡献而获奖艾伦·图灵和图灵奖2003-12-22艾伦·麦席森·图灵（Alan Mathison Turing，1912年6月23日- 1954年6月7日），英国数学家。
915416-大学计算机基础第七版-知识拓展9-1：历届图灵奖获奖情况
2005
PeterNaur
彼得·诺尔
因在定义Algol60程序设计语言方面的先驱性工作，对编译器设计的贡献、以及在计算机程序设计方面的贡献而获奖。
KøbenhavnsUniversitet
丹麦哥本哈根大学
2006
FrancesEAllen
弗朗西斯·阿伦
因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。
Stanford University
斯坦福大学
1975
AllenNewell
艾伦·纽厄尔
因在人工智能、认知科学、编目处理方面作出的基础性贡献而获奖。
Carnegie-MellonUniversity
卡内基梅隆大学
HerbertA.Simon
赫伯特·西蒙
1976
MichaelOserRabin
米凯尔·拉宾
CornellUniversity
康乃尔大学
RobertE.Tarjan
罗伯特·陶尔扬
PrincetonUniversity
普林斯顿大学
1987
JohnCocke
约翰·科克
因在编译、高性能计算机体系结构以及RISC的开发等方面的重要贡献而获奖。
IBM
1988
IvanEdwardSutherland
伊万·萨瑟兰
罗伯特·弗洛伊德
因在分析理论、程序设计语言的逻辑与语义、自动程序验证、自动程序综合、算法分析以及编译器方面的贡献而获奖。
StanfordUniversity
斯坦福大学
1979
KennethEugeneIverson
肯尼思·艾弗森
图灵奖历史
图灵奖历史百科名片图灵奖(A.M.Turing Award)，由美国计算机协会(ACM)于1966年设立，又叫"A.M.图灵奖"，有"计算机界诺贝尔奖"之称，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
目录由来概况历年图灵奖获得者图灵简介部分获得者介绍由来概况历年图灵奖获得者图灵简介部分获得者介绍展开编辑本段由来阿兰·麦席森·图灵阿兰·麦席森·图灵(Alan Mathison Turing，1912.6.23-1954.6.7)，是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了"图灵机"和"图灵测试"等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立"图灵奖"。
编辑本段概况图灵奖(又译"杜林奖")是美国计算机协会(ACM)于1966年第一个设立的奖项，专门奖励那些在计算机科学研究中做出创造性贡献、推动了计算机科学技术发展的杰出科学家。
虽然没有明确规定，但从实际执行过程来看，图灵奖偏于在计算机科学理论和软件方面作出贡献的科学家。
奖杯-图灵碗奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有"计算机界的诺贝尔奖"之称。
目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。
图灵奖
图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
第一个：艾伦·佩利(Alan J．Perlis)，（1922-1990）毕业于麻省理工学院，博士。
ALCOL语言和计算机科学的“催生者”，由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育，使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
佩利1973年当选为美国艺术和科学院院士，1976年当选为美国工程院院士。
除了获得图灵奖外，他还在1984年获得AFIPS的教育奖，曾被普渡大学、滑铁卢大学等多所大学授予名誉博士学位。
1966年成为首届图灵奖的获得者，其图灵奖演讲稿为：“The Synthesis of Algorithmic Systems”(算法系统的合成)。
第二个：莫里斯·文森特·威尔克斯爵士，FREng，FRS（Sir Maurice Vincent Wilkes，1913年6月23日－），英国计算机科学家。
设计和制造了世界上第一台存储程序式电子计算机EDSAC，在“工程和软件等计算机领域都有许多开创性成果”。
1956年，他当选为皇家学会院士；英国计算机学会的创始人之一，并担任第一任主席（1957年-1960年）；1977年和1980年先后当选为美国工程院和美国科学院外籍院士；是国际信息处理联盟（IFIP）的主要发起人之一。
历届图灵奖得主
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主1966年图灵奖获得者美国科学家艾伦佩利Alan J.Perlis：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Synthesis of Algorithmic System）。
1967年图灵奖获得者英国科学家莫里斯威尔克斯Maurice V.Wilkes：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（Computer Then and Now）。
1968年图灵奖获得者美国科学家理查德汉明Richard W.Hamming：发明了纠错码——汉明码（Hamming Code）。
获奖演说“对计算机科学的看法”（On Man’s View of Computer Science）。
图灵奖得主1969年图灵奖获得者美国科学家马文明斯基Marvin L.Minsky：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
获奖演说“计算机科学的形式和内容” 。
1970年图灵奖获得者英国科学家詹姆斯威尔金森James H.Wilkinson：数值分析专家和研制ACE计算机（第一台商业计算机）的功臣。
获奖演说“一个数值分析家的若干意见” 。
1971年图灵奖获得者美国科学家约翰麦卡锡John MacCarthy：“人工智能之父”，LISP语言的发明者。
获奖演说“人工智能研究的现状” 。
图灵奖得主1972年图灵奖获得者荷兰科学家埃德斯加狄克斯特拉Edsgar W.Dijkstra：最早指出“goto”语句有害，著名的最短路径Dijkstra算法，现代操作系统的奠基者之一。
获奖演说“智力低下的程序员” 。
1973年图灵奖获得者美国科学家查尔斯巴赫曼Charles W.Bachman：网状数据库之父、推动与促成数据库标准的制订。
获奖演说“作为导航员的程序员” 。
1974年图灵奖获得者美国科学家唐纳德克努特Donad E.Knuth：经典巨著《计算机程序设计的艺术》The Art of Computer Programming的作者，排版软件的先驱（TEX）。
917469-大学计算机基础-图灵奖获得者
1.图灵奖简介图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机业有长远而重要的影响。
迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。
1966年，A.J.Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
2．历届图灵奖获得者1．1966年图灵奖获得者：艾伦•佩利（A.J.Perlis）PhD,MIT;Prof,Yale(was Prof at CMU)(deceased)——ALCOL语言和计算机科学的“催生者”2．1967年图灵奖获得者：莫里斯•威尔克斯（Maurice V.Wilkes）PhD,Cambridge;Prof,Cambridge——世界上第一台存储程序式计算机EDSAC的研制者3．1968年图灵奖获得者：理查德•哈明（Richard W.Hammin）Prof,Naval Postgraduate School(was at Bell)(deceased)——发明纠错码的大数学家和信息学专家4．1969年图灵奖获得者：马文•明斯基（Marvin Minsky）PhD,Princeton,Prof,MIT——“人工智能之父”和框架理论的创立者5．1970年图灵奖获得者：詹姆斯•威尔金森（J.H.Wilkinson）BS,Cambridge;staff,National Physical Laboratory,London——数值分析专家和研制ACE计算机的功臣6．1971年图灵奖获得者：约翰•麦卡锡（John McCarthy）PhD,Princeton;Prof,Stanford——“人工智能之父”和LISP语言的发明人7．1972年图灵奖获得者：埃德斯加•狄克斯特拉（Edsger W.Dijkstra）PhD,U Amsterdam;Prof,UT Austin——最先察觉“goto有害”的计算机科学大师8．1973年图灵奖获得者：查尔斯•巴赫曼（Charles W.Bachman）staff,Honeywell——“网状数据库之父”9．1974年图灵奖获得者：唐纳德•克努（Donald E.Knuth）PhD,Caltech;Prof,Stanford——经典巨著《计算机程序设计的艺术》的年轻作者10．1975年图灵奖获得者：赫伯特•西蒙和艾伦•纽厄尔Allen Newell---PhD,Stanford;Prof,CMU(deceased)Herbert A.Simon---PhD,Chicago;Prof,CMU(deceased)——人工智能符号主义学派的创始人11．1976年图灵奖获得者：米凯尔•拉宾和达纳•斯科特Michael O.Rabin---PhD,Princeton;Prof,HarvardDana S.Scott---PhD,Princeton;Prof,CMU——非确定性有限状态自动机理论的开创者12．1977年图灵奖获得者：约翰•巴克斯（John Backus）BS,Columbia;staff,IBM——FORTRAN和BNF的发明者13．1978年图灵奖获得者：罗伯特•弗洛伊德（Robert W.Floyd）BS,Chicago;Prof,Stanford——前后断言法的创始人14．1979年图灵奖获得者：肯尼思•艾弗森（Kenneth E.Iverson）——大器晚成的科学家，APL的发明人15．1980年图灵奖获得者：查尔斯•霍尔（C.Anthony R.Hoare）Prof,Oxford(now at Microsoft)——从QUICKSORT、CASE到程序设计语言的公理化16．1981年图灵奖获得者：埃德加•科德（Edgar F.Codd）PhD,Michigan;staff,IBM——“关系数据库之父”17．1982年图灵奖获得者：斯蒂芬•库克（Steven A.Cook）PhD,Harvard;Prof,U Toronto——NP完全性理论的奠基人18．1983年图灵奖获得者：肯尼思•汤普森和丹尼斯•里奇Ken Thompson---MS,Berkeley;staff,Bell-LabsDennis M.Ritchie---PhD,Harvard;staff,Bell-Labs——C和UNIX的发明者19．1984年图灵奖获得者：尼克劳斯•沃思（Niklaus Wirth）PhD,Berkeley;Prof,ETH Zurich——PASCAL之父及结构化程序设计的首创者20．1985年图灵奖获得者：理查德•卡普（Richard M.Karp）PhD,Harvard;Prof,Berkeley——发明“分枝限界法”的三栖学者21．1986年图灵奖获得者：约翰•霍普克洛夫特和罗伯特•陶尔扬John E.Hopcroft---PhD,Stanford;Prof,CornellRobert E.Tarjan---PhD,Stanford;Prof,Princeton——硕果累累的算法设计大师22．1987年图灵奖获得者：约翰•科克（John Cocke）staff,IBM——RISC概念的首创者23．1988年图灵奖获得者：伊万•萨瑟兰（Ivan E.Sutherland）IPhD,MIT;staff,Sun——计算机图形学之父24．1989年图灵奖获得者：威廉•卡亨（William V.Kahan）PhD,U Toronto;Prof,Berkeley——浮点计算的先驱25．1991年图灵奖获得者：罗宾•米尔纳（Robin Milner）Prof,Cambridge(was at U Edinburgh)PhD,MIT;Prof,MIT——标准元语言ML的开发者26．1992年图灵奖获得者：巴特勒•兰普森（Butler Lampson）PhD,Berkeley;staff,Microsoft——从Alto系统的首席科学家到微软的首席技术官27．1993年图灵奖获得者：尤里斯•哈特马尼斯和理查德•斯特恩斯PhD,Caltech;Prof,CornellRichard E.Stearns---PhD,Princeton;Prof,SUNY Albany——计算复杂性理论的主要奠基人28．1994年图灵奖获得者：爱德华•费根鲍姆和劳伊•雷迪Raj Reddy---PhD,Stanford;Prof,CMUEdward Feigenbaum(PhD,CMU;Prof,Stanford)——大型人工智能系统的开拓者29．1995年图灵奖获得者：曼纽尔•布卢姆（Manuel Blum）PhD,MIT;Prof,Berkeley——计算复杂性理论的主要奠基人之一30．1996年图灵奖获得者：阿米尔•伯努利（Amir Pnueli）PhD,Weizmann Institute;Prof,NYU——把时态逻辑引入计算机科学31．1997年图灵奖获得者：道格拉斯•恩格尔巴特（Douglas Engelbart）PhD,Berkeley;staff,SRI——鼠标器的发明人和超文本研究的先驱32．1998年图灵奖获得者：詹姆斯•格雷（James Gray）PhD,Berkeley;staff,Microsoft——数据库技术和“事务处理”专家33．1999年图灵奖获得者：弗雷德里克•布鲁克斯（Frederick P.Brooks,Jr.）PhD,Harvard;Prof,UNC——IBM360系列计算机的总设计师和总指挥34．2000年图灵奖获得者：姚期智（Andrew Chi-Chih Yao）PhD,UIUC;Prof,Princeton(now at清华)——对计算理论做出了诸多“根本性的、意义重大的”贡献图灵奖自创立以来获得该奖项的首位华裔学者35．2001年图灵奖获得者：Ole-Johan DahlKristen Nygaard---Profs,U Oslo——在设计编程语言SIMULA I和SIMULA67时产生的基础性想法是面向对象技术的肇始。
图灵奖
图灵奖简介图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者图灵奖对获奖者的要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。
因此，尽管“图灵”的奖金数额不算高，但它却是计算机诺贝尔奖”之称。
美国计算机协会1966年图灵奖获得者美国科学家艾伦·佩利(Alan J.Perlis)：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Sy nthesis of AlgorithmicSy stem）。
1967年图灵奖获得者英国科学家莫里斯·威尔克斯(Maurice V.Wilkes)：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（ComputerThen and Now）。
1968年图灵奖获得者美国科学家理查德·汉明(RichardW.Hamming)：发明了纠错码——汉明码（HammingCode）。
获奖演说“对计算机科学的看法”（On Man‟s View of ComputerScience）。
1969年图灵奖获得者美国科学家马文·明斯基(Marv in L.Minsky)：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
图灵奖获得者简介
约翰 .麦卡锡 (John McCarthy)(2/2)
发明α- β 剪枝算法 1959年开发LISP 开创逻辑程序研究，用于程序验证和自动程序设 计 1971年获得图灵奖
道格拉斯.恩格尔巴特 (Douglas Engelbart)
• • • • 鼠标的发明人 超文本研究的先驱 1925年出生于美国俄勒冈州 60年代提出了计算机是人类智力 的放大器的观点 • 1964年发明鼠标，67申请专利，70年取得专利 • 对超文本技术作出了巨大贡献，以他的名字命名 ACM 超 文本会议最佳论文奖。 • 1997年获得图灵奖。
图灵奖获得者
目录
• • • • • • • • • 阿伦· 图灵 马文.明斯基 约翰 .麦卡锡 赫伯特.西蒙 艾伦.纽厄尔 理查德.卡普 爱德华.费根堡姆 劳伊.雷迪 道格拉斯.恩格尔巴特
阿伦· 图灵 （AlanTuring）
• 1912年出生于伦敦，1954年去世 • 1936年发表论文“论可计算数及其在判定 问题中的应用”，提出图灵机理论 • 1950年发表论文“计算与智能”，阐述了 计算机可以具有智能的想法，提出图灵测 试。 • 1966年为纪念图灵的杰出贡献，ACM设立 图灵奖
爱德华.费根堡姆 (EdwardAlbert Feigenbaum)(1/2) • • • • 知识工程的提出者 大型人工智能的开拓者 1936年出生于美国的新泽西州 通过实验和研究，证明了智能 行为的主要手段是知识 • 1977年提出知识工程，使人工智能从理论转向应 用
图灵及图灵奖
本文内容：1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1．图灵生平阿兰.图灵（Alan Turing）1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准"图灵测试"，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。
在中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。
大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的，因为即使在50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。
在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。
他相信有一个算法可以解决大部分问题，而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的，而且又能顶用，还有一个难点是如何将复杂问题分解为这些指令的问题。
二战时，图灵在英国通信部工作，他运用他的专业技能破译德国密码，这在当时十分不容易，因为德国人开发出一种用于计算的机器称为Enigma，它能够定期将密码改变，让破译者根本摸不到头绪。
图灵奖获得者2000-2011
历届图灵奖获得者
2011年3月7日，2010年的图灵奖获得者揭晓【ACM新闻稿】。
哈佛大学计算机系的Les Valiant荣获此计算科学界的最高殊荣。
Les在计算理论方面最大的贡献是Probably approximately correct learning（PAC）
美国计算机协会宣布2011年度图灵奖得主为加州洛杉矶分校（UCLA）的计算机科学家Judea Pearl教授。
Judea Pearl降生于以色列，本科结业于以色列理工学院，1965年在美国罗格斯大学获物理学硕士学位，同年在布鲁克林理工学院获得机电工程博士学位。
Pearl教授的研究领域是人工智能，他是最早将贝叶斯网络和概率体例引入人工智能的先锋之一，也是在经验科学中数学化因果模型的先锋。
他的研究为iPhone的Siri语音识别和Google的无人驾驶汽车奠基了基础。
历届图灵奖获得者
刘 镇 副教授,1995年毕业于西安交通大学,获硕士学位,现就职于华东船舶工业学院电子与信息系.主要从事计算机网络和多媒体技术的教学和科研工作. 王建华 教授,1982年毕业于哈尔滨理工大学,获工学硕士学位,现就职于华东船舶工业学院.主要研究方向为神经网络和模式识别.正式出版著作3本,发表论文50余篇.历届图灵奖获得者1966 A.J.Perlis 因在新一代编程技术和编译架构方面的贡献而获奖1967 M aurice V.Wilkes 因设计出第一台具有内置存储程序的计算机而获奖1968 Richa rd W.Hamming 因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖1969 M arv in Minsky (资料空缺)1970 J .H.Wilkinso n 因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖1971 John M cCa rthy 因对人工智能的贡献被授予图灵奖1972 Edsg er W.Dijkstr a 因在编程语言方面的出众表现而获奖1973 Cha rles W.Bachman 因在数据库方面的杰出贡献而获奖1974 Do nald E.Knuth 因设计和完成T EX (一种创新的具有很高排版质量的文档制作工具)而被授予该奖1975 Allen N ewell 和Herber t A.Simo n 因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖1976 M icha el O.Robin 和Dana S.Sco tt 因他们的论文“有限自动机与它们的决策问题”中所提出的非决定性机器这一很有价值的概念而获奖1977 John Backus 因对可用的高级编程系统设计有深远和重大的影响而获将1978 Ro bert W.Floy d 因其在软件编程的算法方面的深远影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖1979 K enneth E.Iv er so n 因对程序设计语言理论、互动式系统及A PL 的贡献被授予该奖1980 C.Anthony R.hoa re 因对程序设计语言的定义和设计所做的贡献而获奖1981 Edg ar F.Co dd 因在数据库管理系统的理论和实践方面的贡献而获奖1982 Stev en A.Co ok 因奠定了N P-Co mpleteness 理论的基础而获奖1983 K en T hompson 和Dennis M.Ritchie 因在通用操作系统理论方面的突出贡献,特别是对UN IX 操作系统的推广的贡献而获奖1984 Nikla us Wir th 因开发了EU L ER 、AL GO L-W 、M O DU L A 和PA SCA L 一系列崭新的计算语言而获奖1985 Richa rd M.Kar p 因对算法理论的贡献而获奖1986 John E.Hopcro ft 因在算法及数据结构的设计和分析中所取得的决定性成果而获奖1987 John Co cke 因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖1988 Iva n E.Suth erland 因在计算机图形学方面的贡献而获奖1989 William V.Kaha n 因在数值分析方面的贡献而获奖1990 Fe rnando J .Cor ba to 因在开发大型多功能、可实现时间和资源共享的计算系统,如CT SS 和M ultics 方面的贡献而获奖1991 Ro bin Milner 因在可计算的函数逻辑(LCF)、M L 和并行理论(CCS)这三个方面的贡献而获奖1992 Butler La mpso n 因在个人分布式计算机系统方面的贡献而获奖1993 Jurlis H a rtma nis 和Richar d E.Stear ns 因奠定了计算复杂性理论的基础而获奖1994 Raj Reddy 和Edwa rd Feig enba um 因对大型人工智能系统的开拓性研究而获奖1995 M anuel Blum 因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获将1996 Amir Pnueli 因在中引入临时逻辑和对程序及系统检验的贡献而获奖1997 Do ug la s Eng elbar t 因提出交互计算概念并创造出实现这一概念的重要技术而获奖1998 J a mes Gra y 因在数据库和事务处理方面的突出贡献而获奖157第2期曾芬芳等:基于数据手套的人机交互环境设计。
历届图灵奖获得者及获得原因
获奖原因：程序设计语言的定义与设计。
主要成就：快速排序算法、霍尔逻辑、交谈循序程式。
古典文明研究：1956年，在牛津大学墨顿学院取得西洋古典学学士学位。
6.丹尼斯·里奇(1941-9-9~2011-10-12)美国计算机科学家，C语言之父，UNIX之父，1983年与肯·汤普逊一起获得了图灵奖。
4.肯尼斯·艾佛森（1920-12-17~2004-10-19）美国计算机科学家，1979年获得图灵奖.
获奖原因：程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践。
主要成就：数学表达式和编程语言理论。
哈弗之助教：在哈佛大学当助理教授时，他发展了一套数学表达式来操作阵列，以便教授学生。
人民爱戴：一直活跃于挪威政坛，并曾任威左翼非社会主义政党Venstre的执行委员会成员，该党战略委员会主席。他一生获得无数荣誉，深受挪威人民爱戴。
10.奥利-约翰·达尔（Ole-JohanDahl，1931-10-12~2002-1-29）挪威计算机科学家，2001年与克利斯登·奈加特获得图灵奖。
获奖原因：面向对象编程。
历届图灵奖获得者及获得原因
1.艾兹格·迪科斯彻（1930-5-11~2002-8-6）荷兰计算机科学家，1972年获得图灵奖。
获奖原因：程序设计语言的科学与艺术，
主要成就：提出“goto有害论”，提出信号量和PV原语，解决了“哲学家聚餐”问题，最短路径算法和银行家算法的创造者，第一个Algol60编译器的设计者和实现者，THE操作系统的设计者和开发者。
迪科斯彻的名言：“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入。”“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的。”
历届图灵奖获得者及其获奖原因
历届图灵奖（A.M. Turing Award）获得者及其获奖原因目前图灵奖由英特尔公司和Google公司赞助，奖金为250,000美元。
2010 Leslie Valiant 莱斯利·瓦伦特获奖原因：为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。
在计算科学和数学领域的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。
2009 Charles Thacker获奖原因：对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。
（现代PC之父——盖茨语）2008 Barbara Liskov 利斯科夫获奖原因：在计算机程序语言设计方面的开创性工作。
她的贡献是让计算机软件更加可靠、安全和更具一致性。
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。
而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran Allen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur获奖原因：由于在设计Algol60程序设计语言上的贡献。
Algol60语言定义清晰，是许多现代程序设计语言的原型。
2004 Vinton G. Cerf、Robert E. Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
2003 Alan Kay获奖原因：由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。
历届图灵奖获得者
历届图灵奖获得者(1966-2010)图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖.它是以英国数学天才AlanTuring先生的名字命名的,AlanTuring先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突1969MarvinMinsky---PhD,Princeton,Prof,MIT因对人工智能的贡献被授予图灵奖.1970J.H.Wilkinson---BS,Cambridge;staff,NationalPhysicalLaboratory,London因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.1971JohnMcCarthy---PhD,Princeton;Prof,Stanford因对人工智能的贡献被授予图灵奖.1972EdsgerW.Dijkstra---PhD,UAmsterdam;Prof,UTAustin因在编程语言方面的出众表现而获奖.1977JohnBackus---BS,Columbia;staff,IBM 因对可用的高级编程系统设计有深远和重大的影响而获奖.1978RobertW.Floyd---BS,Chicago;Prof,Stanford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.1979KennethE.Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.1980C.AnthonyR.Hoare---Prof,Oxford(nowatMicrosoft)因对程序设计语言的定义和设计所做的贡献而获奖.快速排序算法发1985RichardM.Karp---PhD,Harvard;Prof,Berkeley因对算法理论的贡献而获奖.1986JohnE.Hopcroft---PhD,Stanford;Prof,CornellandRobertE.Tarjan---PhD,Stanford;Prof,Princeton因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.1987JohnCocke---staff,IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988IvanE.Sutherland---PhD,MIT;staff,Sun因在计算机图形学方面的贡献而获奖.1989WilliamV.Kahan---PhD,UToronto;Prof,Berkeley1994RajReddy---PhD,Stanford;Prof,CMU和EdwardFeigenbaum(PhD,CMU;Prof,Stanford)因对大型人工智能系统的开拓性研究而获奖.1995ManuelBlum---PhD,MIT;Prof,Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.1996AmirPnueli---PhD,WeizmannInstitute;Prof,NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997DouglasEngelbart---PhD,Berkeley;staff,SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.t:PhD,Stanford;MITAdiShamir:PhD,Weizmann;Weizmann LeonardM.Adelman:PhD,Berkeley;USC因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).2003AlanKay---PhD,Utah;HPLabs(wasatXeroxPARC)因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004VintonG.Cerf、RobertE.Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
图灵奖1986-1987
图灵奖-1986
图灵奖引用:
。
For fundamental achievements in the design and analysis of algorithms and data structures.
图灵奖 -1986
( 授予John E. Hopcroft ,Robert E. Tarjan 图灵奖以表彰其在) 数据结构和算法设计与分析领域的重要的基础性的贡献。
（1）深度优先搜索算法
（2）一种新的数据结构------“双堆栈叠(pile of twin stacks)”
(平面图判定)效果数据 (1)使用老算法100个结点需要运行一万亿次。
经
历
(2)使用深度优先搜索900个结点2694条边在IBM 360/67上只需要12s
(3)使用双堆栈叠结构，8000个结点在IBM 370/168 只需要运行8s
1986-1987
汇报人
图灵奖
目录
目录
1986 硕果累累的算法设计大师---约翰.霍普特洛夫特 John Edward.Hopcroft) (10/07/1939-) 罗伯特.陶尔扬 Robert Ender Tarjan(04/30/1948)
1987 RISC概念的首创者---约翰.科克(John Cocke) (05/30/1925-07/16/2002)
但该判断实现起来比较难。对于有100
个结点的图，使用普通的算法计算机需要 1万亿步才能确定它是否是平面图
合作之旅 基于以两个人合作发明了------深度优先搜索算法
无向图的深度优先
第1步：访问A。 第2步：访问(A的邻接点)C。 在第1步之后，应该访问的是A的邻接点，即” C,D,F”中的一个。但在本文，顶点ABCDEFG是 按照顺序存储，C在”D和F”的前面
图灵奖
历届图灵奖获奖者天才科学家詹姆斯-格雷海上神秘失踪如果没有美国科学家詹姆斯·格雷，那么世界大概不会是今天的样子，自动提款机、网上购物、甚至谷歌地图(GoogleEarth)的问世或许都要推迟。
但是这个一生都致力于把人与人连通起来的技术天才却在驾船出海后与所有人失去了联系。
美国海岸警卫队经过几天搜索仍一无所获。
詹姆斯·格雷是图灵奖诞生32年的历史上，继数据库技术的先驱查尔斯·巴赫曼（Charles W．Bachman）和关系数据库之父埃德加·科德（Edgar F．Codd）之后，第3位因在推动数据库技术的发展中做出重大贡献而获此殊荣的学者。
1月28日早上，格雷独自驾驶一条长40英尺的游艇，驶往位于旧金山金门大桥以西25英里的费拉隆岛。
他告诉家人，他要为去年过世的97岁的老母亲撒骨灰，并打算当晚返回。
早上10点左右，他的妻子和女儿接到他的电话，当时一切如常，他赞叹天气很好，有海豚在船周围游来游去，还说接下来有几个小时他将收不到电话信号。
然后，格雷消失了。
到31日为止，海岸警卫队沿着太平洋沿岸，搜索了从蒙特里海湾到俄勒冈的金1.6万平方英里的海域，既没有发现格雷，也没有找到他的船。
令救援人员想不透的是，格雷究竟遭遇了什么？据说，28日天气很好，海上风小浪缓，而且能见度极佳。
格雷的航程来回只有60英里，他从一条商用运河出发，穿过金门大桥后就是宽阔的海面，只需一两小时就能抵达目的地。
如果说他在路上突然出现健康问题，比如心脏病，那么他的船也应该被发现。
如果说游艇遇到水下暗礁或与鲸鱼相撞而翻船沉没，格雷在此前也应该有足够时间发出求救信号，只要附近有一条船在22至23英里的范围内，就能接受到。
然而，格雷就这么消失了，没有留下任何线索。
人物简介：格雷生于1944年，在著名的加州大学伯克利分校计算机科学系获得博士学位。
其博士论文是有关优先文法语法分析理论的。
学成以后，他先后在贝尔实验室、IBM、Tandem、DEC等公司工作。
图灵奖获得者及原因(-2013)
1966A.J. Perlis艾伦·佩里斯1967Maurice V. Wilkes莫里斯·威尔克斯1968Richard Hamming理查德·汉明1969Marvin Minsky马文·明斯基1970 J.H. Wilkinson詹姆斯·威尔金森1971John McCarthy约翰·麦卡锡1972 E.W. Dijkstra埃德斯加·狄克斯特拉1973 Charles W. Bachman查尔斯·巴赫曼1974 Donald E. Knuth唐纳德·克努特1975Allen Newell艾伦· 纽厄尔、Herbert A. Simon赫伯特·西蒙1976Michael O. Rabin迈克尔·拉宾、Dana S. Scott达纳·斯科特1977John Backus约翰·巴克斯1978Robert W. Floyd罗伯特·弗洛伊德1979 Kenneth E. Iverson肯尼斯·艾佛森1980C. Antony R. Hoare查尔斯·霍尔1981 Edgar F. Codd埃德加·科德1982Stephen A. Cook史蒂芬·库克1983Ken Thompson肯尼斯·汤普森、Dennis M. Ritchie丹尼斯·里奇1984 Niklaus Wirth尼克劳斯·沃斯1985 Richard M. Karp理查德·卡普1986 John Hopcroft约翰·霍普克洛夫特、Robert Tarjan罗伯特·陶尔扬 1987John Cocke约翰·科克1988 Ivan Sutherland伊万·萨斯兰德1989William (Velvel) Kahan威廉·卡恩1990 Fernando J. Corbato费尔南多·考巴脱1991 Robin Milner罗宾·米尔纳1992Butler W. Lampson巴特勒·兰普森1993 Juris Hartmanis尤里斯·哈特马尼斯、Richard E. Stearns理查德·斯1994Edward Feigenbaum爱德华·费根鲍姆、Raj Reddy劳伊·雷迪1995Manuel Blum曼纽尔·布卢姆1996 Amir Pnueli阿米尔·伯努利1997 Douglas Engelbart道格拉斯·恩格尔巴特1998 James Gray詹姆斯·格雷1999Frederick P. Brooks, Jr. 弗雷德里克·布鲁克斯2000Andrew Chi-Chih Yao（姚期智）2001 Ole-Johan Dahl达菲、Kristen Nygaard奈加德2002Ronald L. Rivest、Adi Shamir、Leonard M. Adleman2003 Alan Kay2004Vinton G. Cerf、Robert E. Kahn2005Peter Naur2006Fran Allen2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis2008Barbara Liskov 利斯科夫2009 Charles Thacker2010Leslie Valiant 莱斯利·瓦伦特2011 Judea Pearl2012Shafi Goldwasser和Silvio Micali2013莱斯利·兰伯特 Leslie Lamport在先进编程技术和编译架构方面的贡献设计和制造了第一台内部存储程序的计算机EDSAC在计数方法、自动编码系统、检测及纠正错码方面的工作人工智能理论及软件在数值分析方面的研究工作讲稿“The Present State of Research on Artificial Intelligence”，对人工智能领域的贡讲稿“The Prese 对开发ALGOL做出了原理性贡献。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
历届图灵奖（A.M. Turing Award）获得者及其获奖原因目前图灵奖由英特尔公司和Google公司赞助，奖金为250,000美元。
2010 Leslie Valiant 莱斯利·瓦伦特获奖原因：为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。
在计算科学和数学领域的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。
2009 Charles Thacker获奖原因：对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。
（现代PC之父——盖茨语）2008 Barbara Liskov 利斯科夫获奖原因：在计算机程序语言设计方面的开创性工作。
她的贡献是让计算机软件更加可靠、安全和更具一致性。
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。
而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran Allen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur获奖原因：由于在设计Algol60程序设计语言上的贡献。
Algol60语言定义清晰，是许多现代程序设计语言的原型。
2004 Vinton G. Cerf、Robert E. Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
2003 Alan Kay获奖原因：由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。
JA V A至理名言：预测未来的最好方法是创造它。
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman获奖原因：由于在公共密钥理论和实践方面的基础性工作。
2001 Ole-Johan Dahl达菲、Kristen Nygaard奈加德获奖原因：由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。
（面向对象技术的先驱）2000 Andrew Chi-Chih Yao（姚期智）获奖原因：由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。
（唯一的华人）1999 Frederick P. Brooks, Jr.弗雷德里克·布鲁克斯获奖原因：由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。
人月神话的作者。
《人月神话（英文版）》内容源于作者Brooks 在IBM公司任System/360计算机系列以及其庞大的软件系统OS/360项目经理时的实践经验。
在《人月神话（英文版）》中，Brooks为人们管理复杂项目提供了最具洞察力的见解，既有很多发人深省的观点，又有大量软件工程的实践，为每个复杂项目的管理者给出了自己的真知灼见。
人月神话提出了2条著名的法则：1、向一个已经延后的项目中投入更多的人力资源只会让它更延后。
2、没有一种策略，技术或者技巧可以极大地提高程序员的生产力。
1998 James Gray詹姆斯·格雷获奖原因：由于在数据库、事务处理研究和相关系统实现的技术领导工作。
1997 Douglas Engelbart道格拉斯·恩格尔巴特获奖原因：由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。
鼠标的发明者以及超文本研究的先驱。
1996 Amir Pnueli阿米尔·伯努利获奖原因：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。
1995 Manuel Blum曼纽尔·布卢姆获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。
香港城市大学计算机系教授1994 Edward Feigenbaum爱德华·费根鲍姆、Raj Reddy劳伊·雷迪获奖原因：由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。
1993 Juris Hartmanis尤里斯·哈特马尼斯、Richard E. Stearns理查德·斯特恩斯获奖原因：由于他们的论文奠定了计算复杂性理论的基础。
1992 Butler W. Lampson巴特勒·兰普森获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。
微软首席技术官，Alto系统（第一个个人计算机系统，首次实现了图形用户界面）的首席科学家。
1991 Robin Milner罗宾·米尔纳获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。
1990 Fernando J. Corbato费尔南多·考巴脱获奖原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。
1989 William (Velvel) Kahan威廉·卡恩获奖原因：由于在数值分析方面的基础性贡献。
1988 Ivan Sutherland伊万·萨斯兰德获奖原因：由于在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。
计算机图形学之父。
1987 John Cocke约翰·科克获奖原因：由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。
世界上第一个“超级计算机”的设计者、RISC（精简指令集计算）概念的首创者。
1986 John Hopcroft约翰·霍普克洛夫特、Robert Tarjan罗伯特·陶尔扬获奖原因：由于在算法及数据结构设计和分析方面的基础性成就。
两人是师生关系。
1985 Richard M. Karp理查德·卡普获奖原因：由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。
1984 Niklaus Wirth尼克劳斯·沃斯获奖原因：由于开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言。
Pascal语义的发明者和结构化程序设计创始者。
著名公式“程序＝数据结构＋算法”的提出者。
1983 Ken Thompson肯尼斯·汤普森、Dennis M. Ritchie丹尼斯·里奇获奖原因：由于在通用操作系统理论研究，特别是UNIX操作系统的实现上的贡献。
（2011年10月9日，C语言之父，UNIX之父——丹尼斯·里奇去世，享年70岁。
）1982 Stephen A. Cook史蒂芬·库克获奖原因：由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。
1981 Edgar F. Codd埃德加·科德获奖原因：由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。
（关系数据库之父，我们现在学的数据库都拜他所赐）1980 C. Antony R. Hoare查尔斯·霍尔获奖原因：由于在编程语言的定义和设计方面的基础性贡献。
1979 Kenneth E. Iverson肯尼斯·艾佛森获奖原因：由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。
1978 Robert W. Floyd罗伯特·弗洛伊德获奖原因：由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科。
1977 John Backus约翰·巴克斯获奖原因：由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。
Fortran语言以及“巴克斯范式(BNF)”的发明者。
1976 Michael O. Rabin迈克尔·拉宾、Dana S. Scott达纳·斯科特获奖原因：由于他们的论文"有限自动机与它们的决策问题"，被证明具有巨大的价值。
1975 Allen Newell艾伦·纽厄尔、Herbert A. Simon赫伯特·西蒙获奖原因：由于在人工智能、人类识别心理和表处理的基础贡献。
1974 Donald E. Knuth唐纳德·克努特获奖原因：由于在算法分析和程序语言设计方面的重要贡献，计算机程序设计艺术的作者。
1973 Charles W. Bachman查尔斯·巴赫曼获奖原因：由于在数据库方面的杰出贡献。
1972 E.W. Dijkstra埃德斯加·狄克斯特拉获奖原因：由于对开发ALGOL做出了原理性贡献。
最早指出“goto”语句有害，著名的最短路径Dijkstra算法，现代操作系统的奠基者之一。
1971 John McCarthy约翰·麦卡锡获奖原因：由于其讲稿“The Present State of Research on Artificial Intelligence”，对人工智能领域的贡献。
1970 J.H. Wilkinson詹姆斯·威尔金森获奖原因：由于其在数值分析方面的研究工作。
1969 Marvin Minsky马文·明斯基获奖原因：人工智能理论及软件1968 Richard Hamming理查德·汉明获奖原因：由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。
1967 Maurice V. Wilkes莫里斯·威尔克斯获奖原因：由于设计和制造了第一台内部存储程序的计算机EDSAC。
1966 A.J. Perlis艾伦·佩里斯获奖原因：由于其在先进编程技术和编译架构方面的贡献。