图灵奖得主的主要成就
历届图灵奖获奖者
阿迪·萨莫尔（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图灵奖。
历届图灵奖获得者及其获奖原因
历届图灵奖（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）的主要发起人之一。
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时产生的基础性想法是面向对象技术的肇始。
历届图灵奖得主简介ACM图灵奖1999计算机发展史的缩影
中国大学教学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图灵奖得主
数据库方面三位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算法，该算法成为谷歌搜索引擎的核心技术，也为大规模数据处理和挖掘提供了重要思路。
辛顿的贡献使得人工智能技术能够更好地利用数据，并实现智能化的应用。
此外，深度学习技术在人工智能领域引起了革命性的进展。
而被誉为“深度学习之父”的杨立昆也是人工智能的先驱之一。
图灵奖获得者简介
道格拉斯.恩格尔巴特(Douglas Engelbart)
• • • • 鼠标的发明人 超文本研究的先驱 1925年出生于美国俄勒冈州 60年代提出了计算机是人类智力 的放大器的观点 • 1964年发明鼠标，67申请专利，70年取得专利 • 对超文本技术作出了巨大贡献，以他的名字命名ACM超 文本会议最佳论文奖。 • 1997年获得图灵奖。
劳伊.雷迪 (Rai Reddy )(1/2)
• 开发大型的人工智能系统 • 1937年出生于印度，66年在美国获得博士 • 1994年获得图灵奖
劳伊.雷迪 (Rai Reddy )(2/2)
• 主持过一系列大型AI系统的开发
–Navlab能在道路行驶的自动车辆项目 –LISTEN能用于扫盲的语音识别系统 –以诗人但丁命名的火山探测机器人项目 –自动机工厂项目，提出：“白领机器人学”
• • • • • • 人工智能之父 LISP语言的发明人 首次提出AI的概念 1927年出生于美国波士顿 1956年发起会议，提出人工智能的概念 1958年与明斯基一起创建世界上第一个人工智能 实验室约翰 .麦卡锡 ຫໍສະໝຸດ John McCarthy)(2/2)
发明α- β 剪枝算法 1959年开发LISP 开创逻辑程序研究，用于程序验证和自动程序设 计 1971年获得图灵奖
马文.明斯基(Marvin Lee Minsky)
1927年出生于美国纽约 1951年提出了思维如何萌发并形成的 理论 1956年会议的发起人之一 1958年在MIT创建世界上第一个AI实 验室 1969年获得图灵奖 1975年首创框架理论
约翰 .麦卡锡 (John McCarthy)(1/2)
爱德华.费根堡姆(EdwardAlbert Feigenbaum)(1/2) • • • • 知识工程的提出者 大型人工智能的开拓者 1936年出生于美国的新泽西州 通过实验和研究，证明了智能 行为的主要手段是知识 • 1977年提出知识工程，使人工智能从理论转向应 用
图灵及图灵奖
本文内容：1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1．图灵生平阿兰.图灵（Alan Turing）1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准"图灵测试"，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。
在中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。
大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的，因为即使在50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。
在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。
他相信有一个算法可以解决大部分问题，而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的，而且又能顶用，还有一个难点是如何将复杂问题分解为这些指令的问题。
二战时，图灵在英国通信部工作，他运用他的专业技能破译德国密码，这在当时十分不容易，因为德国人开发出一种用于计算的机器称为Enigma，它能够定期将密码改变，让破译者根本摸不到头绪。
直到2008年,利斯科夫获得了计算机界的“诺贝尔奖”——图灵奖,计算机界
直到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语句由于语法简单而被广泛运用到实际操作中去。
个人简介
社会将影响
C语言是使用最广泛的语言之一，可以说，C语言的诞生是现代程序语言革命 的起点，是程序设计语言发展史中的一个里程碑。自C语言出现后，以C语言 为根基的C++、Java和C#等面向对象语言相继诞生，并在各自领域大获成功。 但今天C语言依旧在系统编程、嵌入式编程等领域占据着统治地位。C语言， 这种最有效、最通用的编程语言，就是他开发的，而这还是他在做另一个项 目时的副产品。丹尼斯· 里奇还和肯· 汤普逊一起开发了Unix操作系统，因此， 他还是名副其实的Unix之父。
2004年9月5日，温家宝总理专程在教师节前 来看望姚期智教授。在交谈中，温总理说，国家 对人才的 温总理看望姚期智需求如饥似渴，高层 次的人才是国家最稀缺、最宝贵的资源；我们在 抓好基础教育的同时，也要下大力气抓好高等教 育，为国家广泛培养高层次优秀人才；在重点科 研机构和重要科研领域，要实行杰出人才的全球 招聘制度；要为杰出人才的脱颖而出和充分发挥 作用创造良好的条件。 作为在国际一流大学长期任教的教授以及在计算机理论领 域享有世界声誉的学者，姚期智教授出任清华大学信息与技术 国家实验室（筹）学术委员会主任和首席科学家，立即承担起 建设世界一流的清华大学信息科学的重任，组织筹建国家实验 室。2004年10月22日，教育部部长周济、副部长吴启迪等领导 来到清华大学考察信息科学与技术国家实验室的筹建工作，专 门与姚期智教授会面并听取了他的汇报和建议。
图灵奖获得者
——
●
个人简介
主要成就
●
●
社会评价及影响
丹尼斯·里奇，C语言之父，UNIX之父。 曾担任朗讯科技公司贝尔实验室下属的计算 机科学研究中心系统软件研究部的主任一职。 丹尼斯·里奇与肯·汤普逊两人发展 了C语言，同时发展了Unix操作系统，在 电脑工业史上占有重要的席位。至今为止C 语言在发展软件和操作系统时依然是一个 非常常用的电脑语言，它对许多现代的编 程语言如C++、C#、Objective-C、Java和 JavaScript拥有极大ogramming Language(即《C程序设计语言》) 【已成为C语言方面最权威的教材之一。】 Unix Programmer's Manual[3]
计算机之父——图灵
一：图灵生平简介 二：图灵主要贡献 三：人物影响 四：图灵奖
一：图灵生平简介
1912年6月23日，出生于英国伦敦。 年 月 日 出生于英国伦敦。 1931年-1934年，在英国剑桥大学国王学院学习。 年 年 在英国剑桥大学国王学院学习。 1932年-1935年，研究量子力学、概率论和逻辑学。 年 年 研究量子力学、概率论和逻辑学。 1935年，由于独立发现中心极限定理，获Smith奖 年 由于独立发现中心极限定理， 奖 年仅23岁被选为剑桥大学国王学院院士 岁被选为剑桥大学国王学院院士。 年仅 岁被选为剑桥大学国王学院院士。 1936年 研究可计算性理论，提出“图灵机” 1936年，研究可计算性理论，提出“图灵机”构想 。 1936年-1938年，主要在美国普林斯顿大学做博士研究， 年 年 主要在美国普林斯顿大学做博士研究， 研究内容涉及逻辑学、代数和数论等领域。 研究内容涉及逻辑学、代数和数论等领域。 1938年-1939年，返回剑桥从事研究工作， 年 年 返回剑桥从事研究工作， 并应邀加入英国政府破译二战德军密码的工作。 并应邀加入英国政府破译二战德军密码的工作。 1940年-1942年，作为主要参与者和贡献者之一， 年 年 作为主要参与者和贡献者之一， 在破译纳粹德国通讯密码的工作上成就杰出， 在破译纳粹德国通讯密码的工作上成就杰出，并 成功破译了德军U-潜艇密码 潜艇密码， 成功破译了德军 潜艇密码， 为扭转二战盟军的大西洋战场战局立下汗马功劳。 为扭转二战盟军的大西洋战场战局立下汗马功劳。
二：Alan Turing的主要贡献 Turing的主要贡献
• • • • • • • •
24岁提出了图灵机理论 岁提出了图灵机理论 岁提出了 31岁参与 岁参与Colossus的研制（二战时英国破解德国 的研制（ 岁参与 的研制 通讯密码的计算机，核心成员） 通讯密码的计算机，核心成员） 33岁时构思了仿真系统（Simulation System） 岁时构思了仿真系统（ 岁时构思了仿真系统 ） 35岁提出了自动程序设计（Automatic 岁提出了自动程序设计（ 岁提出了自动程序设计 programming）的概念 ） 38岁设计了“图灵测试” 岁设计了“图灵测试” 岁设计了 39岁提出了关于生物增长的非线性理论 岁提出了关于生物增长的非线性理论 岁提出了关于 计算机之父” 人工智能之父” 有“计算机之父”、“人工智能之父”、 破译之父”等美誉。 “破译之父”等美誉。有人甚至认为 与牛顿、 他的贡献及对未来世界的影响几乎可 与牛顿、爱因 斯坦等巨人比肩。 斯坦等巨人比肩。
历届图灵奖获得者及获得原因
获奖原因：程序设计语言的定义与设计。
主要成就：快速排序算法、霍尔逻辑、交谈循序程式。
古典文明研究：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操作系统的设计者和开发者。
迪科斯彻的名言：“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入。”“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的。”
图灵奖
在近段时间，我读了《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千美元。
图灵奖得主的主要成就
·1995年获奖人：Manuel Blum（1938-） 获奖工作：计算复杂世理论，并应用于密码学 和程序检查，同时，他在自动控制理论、感应推论 方面享有很高声望。目前，他担任加州大学伯克莱 分校电子工程与计算科学系教授。 ·1996年获奖人：Amir Pnueli 获奖工作：把时态逻辑引入计算机科学，把它 作为开发反应式系统和并发式系统时进行规格说明 和验证的工具，取得了极大的成功，这些工作被认 为是软件工程中的一场革命。目前，他担任以色列 魏茨曼学院应用数学系教授。
·1981年获奖人：Edger F.Codd（1923-） 获奖工作：数据库管理系统的理论和实现，创立 了关系模型。
·1982年获奖人：Stephen A.Cook（1939-） 获奖工作：计算复杂性理论以及可行构造证明理 论的研究，为NP-完全性理论建立了基础。
2002-3-27 7
·1983 年获奖人： Dennis M.Ritchie （ 1941- ）、 Ken L.Thompson（1943-） 获奖工作：开发、实现了Unix操作系统、C语言。 他们两人是Unix操作系统和C语言的创始者和设计师。 ·1984年获奖人：Nliklaus E.Wirth（1934-） 获奖工作：设计制造了个人计算机，开发了一系列 有创新的计算机语方： Euler 、 Algol-W 、 Modula-2 、 Pascal ，特别是 Pascal 语言，为 Modula-2 设计了单遍 （single-pass）编译器。获奖后兴趣：操作系统环境、 工作站设计、处理器结构分析、程序设计基础。 ·1985年获奖人:Richard M.Karp（1935-） 获奖工作：复杂性理论，推广Stephen Cook的早期 工作。获奖后兴趣：组合算法和NP-完全性研究，撰写 有关组合算法的概率分析著作。
拓展知识：图灵奖简介
1973年 查理士·巴赫曼
Charles W. Bachman 数据库技术
历届图灵奖得主
年份
中文译名
1974年 高德纳
1975年
艾伦·纽厄尔 赫伯特·西蒙
1976年
迈克尔·拉宾 达纳·斯科特
1977年 约翰·巴克斯
1978年 罗伯特·弗洛伊德
1979年 肯尼斯·艾佛森
1980年 东尼·霍尔 1981年 埃德加·科德
图灵奖的发展历程
从1966年到2014年的47届图灵奖，共计有62名科学家获此 殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列 等国少数学者。 截止至2014年，获此 殊荣的华人仅有一位， 他是2000年图灵奖得主 姚期智。 2004年起在清华大学 任全职教授。
姚期智（Andrew Chi-Chih Yao），世界著名计 算机学家，2000年图灵奖得主，美国科学院院士，美 国科学与艺术学院院士，中国科学院外籍院士，清 华大学高等研究中心教授。
姓名
Donald E. Knuth Allen Newell Herbert A. Simon Michael O. Rabin Dana S. Scott John Backus Robert W. Floyd
Kenneth E. Iverson
C. Antony R. Hoare
贡献领域
算法分析、程序设计语言的设计、程 序设计
历届图灵奖得主
年份
中文译名
1982年 史提芬·古克
1983年
肯·汤普逊 丹尼斯·里奇
1984年 尼古 Cook Ken Thompson Dennis M. Ritchie
Niklaus Wirth
贡献领域
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
·1995年获奖人：Manuel Blum（1938-） 获奖工作：计算复杂世理论，并应用于密码学 和程序检查，同时，他在自动控制理论、感应推论 方面享有很高声望。目前，他担任加州大学伯克莱 分校电子工程与计算科学系教授。 ·1996年获奖人：Amir Pnueli 获奖工作：把时态逻辑引入计算机科学，把它 作为开发反应式系统和并发式系统时进行规格说明 和验证的工具，取得了极大的成功，这些工作被认 为是软件工程中的一场革命。目前，他担任以色列 魏茨曼学院应用数学系教授。
·1970年获奖人:James H.Wilkinson（1919－1986） 获奖工作：数字分析，特别是矩阵计算和错误分 析领域。他是一名最杰出的数字分析专家，他创建 ACE机，发展了回朔错误分析。
2002-3-27 2
·1971年获奖人：John McCarthy（1927-） 获奖工作：人工智能，特别是发明了LISP语言。1958 年，他发明了 LISP，发展了分时概念。自60 年代初，他 开始从事“程序满足相应规范”的证明工作。 80 年代， 他研究了非单调推理的封闭世界假设方法 （Circumscription Method）。 ·1972年获奖人：Edsger W.Dijkstra（1930-） 获奖工作：设计了命令式程序设计语言。他的设计 风格对程序设计的影响，尤其是他提出的“G0TO有害” 更为著名。 ·1973年获奖人：Charles W.Bachman（1924-） 获奖工作：数据库技术，特别是，创造了作为 CODASYL （数据系统语言会议）数据库系统基础的 IDS （综合数据存储器）以及展示数据h E.Iverson（1920-） 获奖工作：表现在程序设计语言APL（分析程序设 计语言）中的程序设计语言和数学概念方面的先驱成 就。
2002-3-27 6
·1980年获奖人:C.A.R.Hoare（1934-） 获奖工作：定义和设计程序设计语言基础贡献， 特别是，使用公理语义给出程序设计语言的形式语义， 独创性的算法开发，先进的数据结构技术，以及对操 作系统的贡献。获奖后兴趣：技术转化、数据库、计 算机科学的数学方法。
2002-3-27
11
·1994 年获奖人 :Edward Albert Feigenbaum （ 1936- ）、 Raj Reddy Feigenbaum 的获奖工作：通过实验和研究，证明 了实现智能行为的主要手段在于知识，立多数实际情况 下是特定领域的知识；在知识工程和专家系统方面的研 究取得历史性突破；开创性地设计和构造了大规模人工 智能系统，证明了其实际重要性和潜在的商业影响。日 前，他是美国空军首席科学家，斯坦福大学教授。 Reddy 的获奖工作：① Navlab ，美国国防部高级研 究计划署的 AVL （自动原野车辆）项目的一部分：② LISTEN，用来解决扫盲问题，核心是一个语音识别系统； ③Dante，火山探测机器人项目，要求“error-free”， 绝对可靠。获奖后主要研究：言语识别、机器人、人机 交互、多媒体、合作技术、学习技术。目前，他担任卡 内基-梅隆大学计算机学院院长。
2002-3-27
13
·1997年获奖人：Douglas Engelbart 获奖工作：发明鼠标器，为交互式计算奠定了基础， 在屏幕多窗口、互连超媒体、远程会议、在线出版 等领域有一系列发明和创意 。 1982 年，他提出了 “知识工人”的概念。 ·1998年获奖人：James Gray（1944-） 获奖工作：在事务处理技术上的创造性思维和开拓 性工作，解决了数据库中数据的完整性、安全性、 并行性以及－一旦出现故障后，数据库如何实现从 故障中恢复等技术问题，使DBMS成熟，并顺利进入 市场。
2002-3-27 5
·1977年获奖人：J.W.Backus（1924-） 获奖工作：领导Fortran开发，创造了语法描述语 言，Backus-Naur范式（BNF）。获奖后兴趣：功能级 程序设计数据模型，代数程序变换、优化。与别人合 作，开发了新语言FL
·1978年获奖人：R.W.Floyd（1936-） 获奖工作：帮助发明了语法分析理论，程序设计 语言的语义，自动程序验证，自动程序综合，算法分 析。获奖后兴趣：语法错误矫正和算法的分析。
2002-3-27 4
·1976 年获奖人： Michael O.Rabin （ 1931- ）、 Dana S.Scott（1932-） 获奖工作：理论计算机科学教程，它为整个领域建 立了清晰、优雅的标准。 Rabin的主要贡献：计算复杂性理论，非确定计算 概念。他强调算法理论的研究直接对计算机技术的应 用。他所做的几个随机算法用于计算机安全，安全操 作系统。他将概率论引入计算机。他关于树状自动机 的工作解决了数理逻辑中许多未解决的判定问题。 Scott获奖时是牛津大学数理逻辑教授，获奖后， 是卡内基· 梅隆大学计算机系数理逻辑专业的哲学教授。 他在逻辑中的工作涉及模型论，自动机理论，集合论， 模态和直觉主义逻辑，可构造性数学，以及范畴论与 逻辑的联系。获奖后的兴趣：逻辑对程序设计语言的 语义的应用和计算语言学。
2002-3-27 9
·1990年获奖人：Fernando J.Corbato（1926-） 获奖工作：领导CTSS（兼容分时系统）和Multics （多路复用信息和计算机服务）的开发，系统阐述了 有关概念。 ·1991年获奖人：ner（1934-） 获奖工作：包括如下三个开发：①LCF（可计算函 数逻辑），对 Scott 逻辑的机械化；② ML，包含多形 推理型及安全型例外处理机制的第一语言； ③ CCS （通信系统演算），一种并发综合理论。 ·1992年获奖人：Butler mpson（1943-） 获奖工作：分布式个人计算环境的开发和实现技 术，包括工作站、网络、操作系统，程序设计系统， 显示、安全和文档出版。
2002-3-27 3
·1974年获奖人：Donald Knuth（1938-） 获奖工作：算法分析，程序设计语言设计，一系列经典 教科书，如计算机程序设计艺术。研究兴趣领域包括排版算 法Tex和字体设计算法Metafont。 ·1975 年 获 奖 人 ： Allen Newell （ 1927- ） 、 Herbert A.Simon（1916-） 获奖工作：人工智能，人类认知心理学，发明了表处理。 Newell的主要贡献：表处理、计算机描述语言以及基于 人机交互模型的心理学。获奖后兴趣：问题求解和学习的体 系结构的开发，识别的统一理论，产生式系统的硬件体系结 构。 Simon的主要贡献：说明如何使用启发式搜索来求解问 题。获奖后兴趣：科学发现的心理学，学习的方法，研究人 们是如何表示和理解那些最初以自然语言方式给出的事情。
2002-3-27 10
·1993 年 获 奖 人 :Juris Hartmanis 、 Richard E.Stearns Juris Hartmanis:Cornell 大学教授，目前研究 领域为：计算理论、计算复杂件和结构复杂性。 Richard E.Stearns曾是数学家。主要工作:（数 学）对策讨论竞争的本质与计算机科学讨论计算的本 质的内在联系；对计算中的难度概念作了透彻分析， 把确定化时间与难度证据之间的联系工作作了重要概 括。
·1981年获奖人：Edger F.Codd（1923-） 获奖工作：数据库管理系统的理论和实现，创立 了关系模型。
·1982年获奖人：Stephen A.Cook（1939-） 获奖工作：计算复杂性理论以及可行构造证明理 论的研究，为NP-完全性理论建立了基础。
2002-3-27 7
·1983 年获奖人： Dennis M.Ritchie （ 1941- ）、 Ken L.Thompson（1943-） 获奖工作：开发、实现了Unix操作系统、C语言。 他们两人是Unix操作系统和C语言的创始者和设计师。 ·1984年获奖人：Nliklaus E.Wirth（1934-） 获奖工作：设计制造了个人计算机，开发了一系列 有创新的计算机语方： Euler 、 Algol-W 、 Modula-2 、 Pascal ，特别是 Pascal 语言，为 Modula-2 设计了单遍 （single-pass）编译器。获奖后兴趣：操作系统环境、 工作站设计、处理器结构分析、程序设计基础。 ·1985年获奖人:Richard M.Karp（1935-） 获奖工作：复杂性理论，推广Stephen Cook的早期 工作。获奖后兴趣：组合算法和NP-完全性研究，撰写 有关组合算法的概率分析著作。
2002-3-27
14
2002-3-27 8
·1986 年 获 奖 人 ： John Hopcoft （ 1939- ） 、 Robert E.Tarjan（1938-） 获奖工作：算法和数据结构的设计、分析方面的基础 成就。 ·1987年获奖人：John Cocke（l925-） 获奖工作：编译器的设计和理论、高性能计算机的 体系结构。 ·1988年获奖人：Ivan E.Sutherland（1938-） 获奖工作：交互式计算机图形学。 ·1989年获奖人：Willia M.Kahan（1933-） 获奖工作：在他的带动和领导下，制定了独立于二 进制和基数的浮点计算的标准。这种标准目前仍被采用。
图灵奖得主的主要成就
·1966年获奖人:Alan J.Perlis（1922－1990） 获奖工作：程序设计语言定义和设计，程序设计技 术，计算机科学教育方面的领导工作。获奖后，主要从 事并开发程序设计语言和软件系统的动态行为等方面的 研究。 ·1967年获奖人:Maurice V.Wilkes（1913-） 获奖工作：存储式程序计算机早期开发中的领导工 作，发明了标识符、宏指令、程序微代码，与别人共同 发明了子程序概念，1949年，他开发了第一台电子数据 存储自动计算机（简称EDSAC）。
2002-3-27 1
·1968年获奖人：Richard W.Hamming（1915-） 获奖工作：在AT＆T Bell实验室，发明了用他的 名字命名的错误测试/纠错码。他有句格言“计算的 目的在于领会，不在数本身”。获奖后，撰写了概 率论和组合数学方面的专著。