下载文档原格式
阿兰·图灵生平阿兰·图灵（Alan Turing）1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准“图灵测试”，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为“图灵奖”。
在中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。
大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的，因为即使在20世纪50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。
在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。
他相信有一个算法可以解决大部分问题，而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的，而且又能顶用，还有一个难点是如何将复杂问题分解为这些指令的问题。
第二次世界大战时，图灵在英国通信部工作，他运用他的专业技能破译德国密码，这在当时十分不容易，因为德国人开发出一种用于计算的机器称为Enigma，它能够定期将密码改变，让破译者根本摸不到头绪。
图灵奖资料原著：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日），英国数学家。
图灵奖简介图灵奖（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）创立者。
中国大学教学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系列计算机的开发工作。
近年来信息产业的发展,及其对人们的生活、工作所产生的影响,对社会发展和国民经济所起的作用,都和这些计算机界先辈们的付出有着密不可分的联系。
这些计算机科学技术界的佼佼者所提出的一些具有前瞻性的设想或思路对我国的科技人员、学者和教育工作者有一定的启迪,虽然不能把他们的想法完全套用在我国的产业实践中,但是对其进行审慎地思考后进行有选择性地吸收,对生产技术的进步、人才的培养是大有裨益的。
计算机文化基础系列常识-图灵奖获奖者介绍连载（十四）罗伯特·弗洛伊德——前后断言法的创始人历届图灵奖得主基本上都有高学历、高学位，绝大多数有博士头衔。
这是可以理解的，因为创新型人才需要有很好的文化素养，丰富的知识底蕴，因而必须接受良好的教育。
但事情总有例外，1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特·弗洛伊德(Robert W．Floyd)就是一位“自学成才的计算机科学家”(a Self-Taught Computer Scientist)。
弗洛伊德1936年6月8日生于纽约。
说他“自学成才”并不是说他没有接受过高等教育，他是芝加哥大学的毕业生，但学的不是数学或电气工程等与计算机密切相关的专业，而是文学，1953年获得文学士学位。
20世纪50年代初期美国经济不太景气，找工作比较困难，因学习文学而没有任何专门技能的弗洛伊德在就业上遇到很大麻烦，无奈之中到西屋电气公司当了二名计算机操作员，在IBM650机房值夜班。
我们知道，早期的计算机都是以批处理方式工作的，计算机操作员的任务就是把程序员编写好的程序在卡片穿孔机(这是脱机的辅助外部设备)上穿成卡片，然后把卡片叠放在读卡机上输入计算机，以便运行程序。
因此，操作员的工作比较简单，同打字员类似，不需要懂计算机，也不需要懂程序设计。
但弗洛伊德毕竟是一个受过高等教育的人，又是一个有心人，干了一段操作员，很快对计算机产生了兴趣，决心弄懂它，掌握它，于是他借了有关书籍资料在值班空闲时间刻苦学习钻研，有问题就虚心向程序员请教。
白天不值班，他又回母校去听讲有关课程。
这样，他不但在1958年又获得了理科学士学位，而且逐渐从计算机的门外汉变成计算机的行家里手。
1956年他离开西屋电气公司，到芝加哥的装甲研究基金会(Armour Research Foundation)，开始还是当操作员，后来就当了程序员。
1962年他被马萨诸塞州的Computer Associates公司聘为分析员。
图灵和图灵奖世界上第一台计算机ENIAC 1946年2月诞生于美国宾夕法尼亚大学莫尔学院。
但学术界公认，电子计算机的理论和模型是由英国数学家图灵在此前10年即1936年发表的一篇论文“论可计算数及其在判定问题中的前应用”（On Computable Numbers With an Application to the Entscheidungs Problem）中奠定了基础的。
因此，当美国计算机协会ACM在1996年纪念电子计算机诞生20周年，也就是图灵的有历史意义的论文发表30周年的时候，决定设立计算机界的第一个奖项（在此之前，作出杰出贡献的计算机科学家只能获得数学方面或电气工程方面的奖项），并且很自然地把它命名为“图灵奖”以纪念这位计算机科学理论的奠基人。
被称为“计算机界的诺贝尔奖”的这个奖设立至今，已经颁发了34届，共有40名计算机科学家获此殊荣。
阿伦.图灵（Alan Mathison Turing）1912年6月23日生于伦敦近郊的自治镇帕丁顿（Paddington,现归属伦敦Westminster区，英国议会大厦和世界闻名的威斯敏斯特大教堂就在这里）。
图灵的父亲是英国在印度的行政机构的一名官员，母亲平常也在印度陪伴其丈夫。
1926年图灵的父亲退休以后，因为退休金不高，为了节省，他们夫妇又选择在生活费用较低的法国居住，没有回英国定居，因此图灵和他的一个叫约翰的哥哥很少见到父母亲，他们是由从军队中退休的沃德(Ward)夫妇带大的。
童年时缺乏父爱和母爱，也许正是图灵自幼起性格和行为就比较怪辟，并最终酿成悲剧结局的一个重要原因。
图灵13岁进入寄宿的谢博恩中学（Sherbourne School），学习成绩并不特别好，只有数学例外，演算能力特别强。
此外，就是擅长赛跑，我们现在还能看到图灵在运动会上参加赛跑中冲过终点时留下的照片。
1931年中学毕业以后，图灵想进剑桥大学最负盛名的“三圣学院”(Trinity College)，但两次未被录取，只好进了剑桥的另外一所学院——“国王学院”(King’s College)攻读数学。
2024年图灵奖获得者艾维维格森
林伟
【期刊名称】《高等数学研究》
【年(卷),期】2024(27)3
【摘要】2024年图灵奖被普林斯顿高等研究院教授艾维·维格森(Avi Wigderson)摘得,以表彰其在计算理论的基础性贡献,包括重塑人类对计算中随机性作用的理解,以及数十年来在理论计算机科学领域的领导地位.维格森教授是首个同时拿下数学和计算机最高奖的科学家,他在2021年获得了阿贝尔奖.
【总页数】1页(P41-41)
【作者】林伟
【作者单位】西北工业大学数学与统计学院
【正文语种】中文
【中图分类】TP3
【相关文献】
1.四维实业（深圳）有限公司、四维企业股份有限公司与艾利丹尼森公司、艾利（广州）有限公司、艾利（昆山）有限公司、艾利（中国）有限公司、南海市里水意利印刷厂、佛山市环市镇东升汾江印刷厂经营部侵犯商业秘密纠纷管辖权异议案
2.诺维信:推动中国馒头产业化——访诺维信(中国)投资有限公司亚太区市场经理艾森
3.1978年诺贝尔文学奖获得者艾萨克·巴什维斯·辛格
4.自由,真实的存在──艾维格德·艾瑞卡静物画谈
5.二维斑点追踪成像技术评估艾森曼格综合征双心室功能
因版权原因，仅展示原文概要，查看原文内容请购买。
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时产生的基础性想法是面向对象技术的肇始。
36．2002年图灵奖获得者：Ronald L.Rivest---PhD,Stanford;MITAdi Shamir---PhD,Weizmann;WeizmannLeonard M.Adelman---PhD,Berkeley;USC——在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制)。
37．2003年图灵奖获得者：Alan KayPhD,Utah;HP Labs(was at Xerox PARC)——发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.38．2004年图灵奖获得者：Vinton G.Cerf和Robert E.Kahn——在计算机网络领域的先锋性工作,包括设计和实现了TCP/IP协议栈39．2005年图灵奖获得者：Peter Naur——设计Algol60程序设计语言。
Algol60语言定义清晰，是许多现代程序设计语言的原型。
40．2006年图灵奖获得者：Fran Allen——对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
41．2007年图灵奖获得者：Edmund M.Clarke、Allen Emerson和Joseph Sifakis——开发自动化方法检测计算机硬件和软件中的设计错误。
42．2008年图灵奖获得者：Barbara Liskov——编程语言和系统设计的实践与理论。
43．2009年图灵奖获得者：Charles Thacker——帮助设计、制造第一款现代PC。
44．2010年图灵奖获得者：Leslie Valiant——对众多计算理论所做的变革性的贡献。
45．2011年图灵奖获得者：Judea Pearl——人工智能46．2012年图灵奖获得者：Shafi Goldwasser、Silvio Micali——由于在密码学和复杂理论领域做出创举性工作。
47．2013年图灵奖获得者：Leslie Lamport——在提升计算机系统的可靠性及稳定性领域的杰出贡献。
