下载文档原格式
历届图灵奖（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的基础性贡献。
计算机之父图灵汇报人：2023-12-06•图灵的生平•图灵的贡献•图灵的遗产•图灵的成就与挑战•图灵的影响与启示•图灵的案例研究与思考01图灵的生平家庭背景1926年，图灵进入拉普顿中学学习，展现出数学和手球方面的天赋。
早年教育学术萌芽早年岁月图灵奖1966年，图灵被授予图灵奖，以表彰他在计算机科学领域的卓越贡献。
学术成果1936年，图灵发表了著名的论文《论可计算数及其在判定问题中的应用》，提出了图灵机的概念，为现代计算机科学奠定了基础。
人工智能图灵对人工智能的发展也有重要贡献，他提出了“图灵测试”的概念，用以衡量人工智能是否具有人类智能。
学术生涯二战背景密码破译战争与密码破译1967年，图灵被平反并追认为英国荣誉勋章获得者；同时，以他命名的“图灵奖”也成为了计算机科学领域的最高荣誉之一。
悲剧与荣誉荣誉再起悲剧发生02图灵的贡献通用图灵机图灵机的局限性理论计算机科学图灵测试图灵提出了一种测试人工智能是否具有智能的方法，即如果一个机器能够通过测试被认为是人，那么它就具有智能。
这一思想至今仍然是人工智能领域的重要参考。
人工智能的发展图灵的思想启发了大量关于人工智能的研究，推动了该领域的发展。
如今，人工智能已经在语音识别、图像识别、自然语言处理等方面取得了显著成果。
人工智能与图灵测试密码学研究破译纳粹密码密码学与破译对其他领域的贡献生物信息学经济学03图灵的遗产图灵奖由美国计算机协会设立，以纪念计算机科学先驱阿兰·图灵，是计算机界最负盛名的奖项之一。
详细描述图灵奖的获奖者通常为计算机科学领域的杰出科学家和工程师，他们在计算机科学的基础理论、算法、计算复杂性、计算机体系结构、软件工程、人工智能等领域做出了重大贡献。
总结词图灵奖VS图灵机模型总结词详细描述图灵在计算机科学教育中的地位总结词阿兰·图灵在计算机科学教育中具有重要地位，他的思想、理论和实践方法对计算机科学教育产生了深远影响。
历届图灵奖获得者(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，以及在网络方面卓越的领导。
图灵奖（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）的主要发起人之一。
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时产生的基础性想法是面向对象技术的肇始。
中国大学教学27书林撷英历届图灵奖得主简介———《ACM 图灵奖(1966—1999)———计算机发展史的缩影》○高等教育出版社刘建元康兆华计算机与计算技术可以说是20世纪最有影响的一门科学技术。
今天的信息技术、知识经济、电子商务、互联网络没有哪一项不是以计算机技术为基础的。
而获得过被誉为计算机界Nobel 奖———ACM 图灵奖的20世纪40位计算机科学家,正是影响计算机科学技术发展最有影响的杰出代表。
由高等教育出版社组织出版的《ACM 图灵奖(1966-1999)———计算机发展史的缩影》一书,逐一对历届图灵奖得主的生平、研究成果、科研和工作风格、创新思想、论著等作了详细介绍,并配有相应人物、事件的历史照片。
附录中还有“计算技术发展大事记”等。
在本书所介绍的40位图灵奖获得者当中,有不少人的工作对计算机产业的发展产生了深远的影响。
例如,明斯基与麦卡锡共同创建了世界上第一个人工智能实验室;巴赫曼主持设计与开发了最早的网状数据库管理系统,并推动与促成了数据库标准的制定;巴克斯发明了世界上第一个高级程序设计语言FORTR AN ,之后又首次提出了元语言“巴克斯范式”BNF ;科德首次明确而清晰地为数据库系统提出了关系模型;汤普森和里奇设计、开发了应用广泛和影响深远的操作系统UNIX 和程序设计语言C ;科克因主持IBM 801项目而成为RISC 概念的首创者,今天RISC 技术已成为计算机体系结构的主流技术;萨瑟兰开发成功著名的Sketchpad 系统,奠定了他作为“计算机图形学之父”的基础,他的工作对后来的计算机模拟技术、计算机辅助设计技术都产生了积极的影响;布鲁克斯主持与领导了被称为人类从原子能时代进入信息时代标志的IBM 360系列计算机的开发工作。
近年来信息产业的发展,及其对人们的生活、工作所产生的影响,对社会发展和国民经济所起的作用,都和这些计算机界先辈们的付出有着密不可分的联系。
这些计算机科学技术界的佼佼者所提出的一些具有前瞻性的设想或思路对我国的科技人员、学者和教育工作者有一定的启迪,虽然不能把他们的想法完全套用在我国的产业实践中,但是对其进行审慎地思考后进行有选择性地吸收,对生产技术的进步、人才的培养是大有裨益的。
坚守与执著——记图灵奖得主托尼〃霍尔通过这一段时间对图灵奖的了解，我逐渐意识到图灵奖在计算机领域的重大意义，”它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称“。
同时，自己也对夺得皇冠上明珠的科学家们的敬佩与日俱增，他们的每一份成功背后都有一个传奇的历程或故事，而每一个传奇都值得我们后辈们深思。
我想介绍的是霍尔先生，他的研究生涯充满转折，内心平静如水。
托尼〃霍尔（Tony Hoare）这位微软剑桥研究院首席研究员、1980年图灵奖获得者，第一个学位却是文科。
1952年霍尔还在上学时，就对哲学产生了兴趣。
进入牛津大学后，霍尔选择的专业是哲学、古典语言与文学（拉丁语和希腊语）。
这个专业看起来与计算机完全不搭界，可是有一种前景着实让他着迷：计算机研究可能会对有关人类认知和智能，尤其是数学真理性质的哲学问题带来启发。
所以，这个纯文科生就对逻辑和计算机也产生了兴趣。
机缘巧合，霍尔在莫斯科国立大学进行了为期一年的机器翻译研究。
其间，他参加了一个俄英文自动翻译的新项目，这个项目采用了一种基于图灵机设计的早期计算机。
读书时无意中学到的本领帮了他的大忙。
在牛津学过计算机编程课程的霍尔，开始思考如何让计算机来完成这项工作。
他想到的第一种排序方法就让完成任务速度提高了4倍，而第二种方法要快得多。
这种方法就是大名鼎鼎的“快速排序算法”。
直到这种算法语言出版后，霍尔才意识到：自己在从事研究工作！这段经历使得霍尔的兴趣转向计算机。
1960年，他作为程序员加入Elliott Brothers公司，领导开发了经典编程语言Algol60的早期编译器。
后来，图灵奖桂冠花落霍尔。
在不少人看来，获得这个计算机界最高大奖后，他们的个人事业都达到了顶峰，不需要再继续前进了。
可是获奖者们不这么看，低调的英国人霍尔干脆只是告诉家里人：“我要去美国领一个奖项。
”自定义学术生涯始于1968年的霍尔，在奋斗12年后获得图灵奖，此后学术生涯又持续了19年。
数据库方面三位ACM图灵奖得主班级：1班学号：2012040732姓名：朱润华数据库方面三位ACM图灵奖得主1、查理士·巴赫曼：巴赫曼1924年生于堪萨斯州的曼哈顿，高中在密歇根州东兰辛度过。
二战爆发后，他加入美国陆军防空高炮师；从1944年3月至1946年2月，他在西南太平洋战场待了两年，到过新几内亚，澳大利亚和菲律宾群岛等地。
在这里，他首次使用90mm炮弹的火力控制系统。
之后，他离开军队，进入密歇根州立大学学习，并于两年后获得了机械工程的学士学位。
1950年，他在宾夕法尼亚大学取得硕士学位。
同年，他在沃顿商学院完成了三个季度的学习，取得MBA学位。
1960年加入通用电气，在这里他开发出了第一代网状数据库管理系统——IDS（集成数据存储，en:Integrated Data Store），并和韦尔豪泽·朗伯（Weyerhaeuser Lumber）一起开发了第一个用于访问IDS数据库的多道程序（multiprogramming）；1983年，他创建了自己的公司——巴赫曼信息系统公司。
巴赫曼在数据库方面的主要贡献有两项，第一就是，在通用电气公司任程序设计部门经理期间，主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出后，成为最受欢迎的数据库产品之一，而且它的设计思想和实现技术被后来的许多数据库产品所仿效。
其二就是巴赫曼积极推动与促成了数据库标准的制定，那就是美国数据系统语言委员会CODASYL下属的数据库任务组DBTG提出的网状数据库模型以及数据定义和数据操纵语言即DDL和DML的规范说明，于1971年推出了第一个正式报告——DBTG报告，成为数据库历史上具有里程碑意义的文献。
该报告中基于IDS的经验所确定的方法称为DBTG方法或CODASYL方法，所描述的网状模型称为DBTG模型或CODASYL模型。
DBTG曾希望美国国家标准委员会ANSI接受DBTG报告为数据库管理系统的国家标准，但是没有成功。
人工智能的先驱在当今科技迅速发展的时代，人工智能被誉为引领未来的重要技术。
然而，在我们享受如今智能手机、智能家居等便利的同时，我们常常忽略了人工智能领域的先驱者们，他们为实现智能化的梦想付出了巨大努力。
本文将介绍一些人工智能先驱者，他们的贡献将永远被铭记。
首先，图灵奖得主艾伦·图灵是人工智能领域的重要先驱。
他是20世纪科学家和数学家，也是计算机科学的奠基人之一。
图灵通过提出图灵机的概念，奠定了计算机科学的基石。
他的理论证明了存在着一种通用计算机，即能够模拟任何其他计算机的机器。
这个理论为人工智能的发展提供了理论基础，并为后来的研究人员提供了思路。
在人工智能的发展过程中，还有一位不可忽视的先驱是约翰·麦卡锡。
他是人工智能的创始人之一，被称为“人工智能之父”。
麦卡锡提出了“人工智能”的概念，并推动了人工智能的发展。
他还创立了计算机语言Lisp，该语言成为人工智能研究的重要工具。
麦卡锡的贡献使得人工智能研究从一个抽象的概念转变为现实可行的技术。
除了理论方面的先驱者，还有一些实践者功不可没。
亚瑟·萨缪尔是人工智能领域的杰出代表之一。
他是人工智能领域的先锋，提出了“机器学习”的概念。
萨缪尔在国际象棋领域的研究中，设计了一个能够通过学习和实践提高下棋水平的计算机程序。
这个程序引起了广泛的关注，被认为是人工智能的重要突破之一。
萨缪尔的贡献开启了机器学习领域的研究，推动了人工智能技术的不断进步。
人工智能的发展离不开大数据和算法的支持，而杰弗里·辛顿也是人工智能领域的重要先驱之一。
作为谷歌公司的创始人之一，辛顿致力于研究以互联网数据为基础的人工智能技术。
他提出了PageRank算法，该算法成为谷歌搜索引擎的核心技术，也为大规模数据处理和挖掘提供了重要思路。
辛顿的贡献使得人工智能技术能够更好地利用数据，并实现智能化的应用。
此外，深度学习技术在人工智能领域引起了革命性的进展。
而被誉为“深度学习之父”的杨立昆也是人工智能的先驱之一。
本文内容：1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1．图灵生平阿兰.图灵（Alan Turing）1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准"图灵测试"，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。
在中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。
大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的，因为即使在50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。
在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。
他相信有一个算法可以解决大部分问题，而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的，而且又能顶用，还有一个难点是如何将复杂问题分解为这些指令的问题。
二战时，图灵在英国通信部工作，他运用他的专业技能破译德国密码，这在当时十分不容易，因为德国人开发出一种用于计算的机器称为Enigma，它能够定期将密码改变，让破译者根本摸不到头绪。
直到2008年,利斯科夫获得了计算机界的“诺贝尔奖”——图灵奖,计算机界答案：芭芭拉·利斯科夫（Barbara Liskov）是美国第一个计算机科学女博士，也是2008年图灵奖得主，她一生致力于程序设计的研究，研究成果给计算机编程领域带来了巨大的变革，极大地推动了计算机行业的发展。
美国第一个计算机科学女博士利斯科夫于1939年出生在美国洛杉矶，1961年在加州大学伯克利分校取得学士学位。
读书期间，利斯科夫是班里100名同学中仅有的两名女生之一，勤奋好学的她不顾周遭的眼光修完了所有和数学、科学相关的课程。
毕业后，利斯科夫进入哈佛大学工作成为一名程序媛，方向是自然语言翻译，难度比她预想中的大得多。
之后，她向斯坦福大学申请读研究生，师从1971年图灵奖得主约翰·麦卡锡（John McCarthy）教授。
1968年，利斯科夫以一篇题为《一个可以处理国际象棋残局的计算机程序》的论文获得博士学位，成为美国有史以来第一个计算机科学女博士。
从被MIT拒绝到主动邀请博士毕业后，利斯科夫先向麻省理工学院（MIT）发去求职申请，但得到的反馈无法给予教职。
紧接着她进入MITRE公司工作，公司让她到研究部门从事计算机操作系统的开发，她开始深入的研究编程方法。
利斯科夫领导研究小组开发出了一个交互式的小型分时操作系统“维纳斯（Venus）”。
1971年，利斯科夫基于Venus的开发经验撰写了一篇论文，被“操作系统原理学术讨论会”所录用，并被安排在一个分组讨论会上报告，在学术界引起不小的关注。
主持分组讨论的是MIT的杰瑞·萨尔茨（Jerry Saltzer），他非常欣赏利斯科夫表现出来的对计算机的深刻理解和探索精神，极力动员利斯科夫到MIT工作。
1972年，利斯科夫进入MIT工作，成为整个MIT的第二位女教授、计算机系的第一位女教授，主管研究工作。
改变编程的女教授上个世纪50年代，goto语句由于语法简单而被广泛运用到实际操作中去。
在近段时间，我读了《ACM图灵奖：1966-2006(第三版)计算机发展史的缩影》，虽然是电子版，有点不清晰，但我还是读完了，并对图灵奖以及计算机的发展史有了一定的了解。
这确实是一本不错的书，我认为这是作为学习计算机方面知识的学生的必读书籍。
通过书籍里面的内容，不难看出从1966年颁发图灵奖至今的40多个年头，40多位图灵奖获得者的成就，就是计算机科学技术发展史的缩影，他们的学术水平，也代表了整个计算机科学技术界的最高水平。
从图灵奖获得者身上，我们会受到很多有益的启迪。
在这40多位获此殊荣的科学家中，美国学者最多，此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者，也包含一名美籍华人。
一、关于图灵和图灵奖说到图灵奖，就不能不说图灵本人，他应该算是计算机科学技术的奠基人。
1936年图灵发表了论文“论可计算及其在判定问题中的应用”，论文发表后，立刻引起了美国科学家的重视。
冯·诺依曼对图灵十分欣赏并邀请他到他那里工作，但图灵没有接受这个邀请，1938年回到英国剑桥大学。
第二次大战爆发后，图灵正值服役年龄，开始为战争服务。
主要是破译德军密码，曾立功劳，战后被光荣授勋，被称为OBE(Officer Order of the British Empire)，这是对非战斗人员的极高荣誉。
战后，图灵继续从事计算机理论和技术方面的研发工作先是在英国国家物理实验室NPL(National Physical Laboratory)进行了计算机ACE(Automatic Computing Engine)的研究，后在曼彻斯特大学从事过存储程序式计算机MARK I 的研究。
由于图灵的一系列杰出贡献和重大创造，1951年，被选为英国皇家学会院士。
图灵奖是ACM于1966年第一个设立的奖项，专门奖励那些在计算机科学研究中作出创造性贡献、推动计算机科学技术发展的杰出科学家。
奖金金额不算太高，设奖初期为2万美元，1989年起增至2万5千美元。
