图灵奖得主的主要成就
历届图灵奖获奖者
阿迪·萨莫尔（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年。
- 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实验室，发明了用他的 名字命名的错误测试/纠错码。他有句格言“计算的 目的在于领会，不在数本身”。获奖后，撰写了概 率论和组合数学方面的专著。