图灵奖获得者

合集下载

历届图灵奖获奖者

艾伦·凯在1940年，艾伦·凯出生于麻省的Sprinfield。童年在澳大利亚度过。二次大战时，回到美国，住在麻省海德莱城外的约翰逊农舍。母亲是音乐家。1949年举家迁往长岛，1961年在丹佛讲解吉他课程学习Logo语言。为了发展 Dynabook,艾伦甚至发明了Smalltalk编程语言，Samlltalk吸取了 Simula的class的概念，并发展出图形使用者接口（GUI），即是苹果麦金塔电脑的原型。1970年，鲍勃·泰勒成立PARC研究中心，艾伦·凯成为第一个雇员，他建立学习研究工作组（LRC），并参与Alto计算机的开发。 1972年，PARC发布了Smalltalk的第一个版本。1979年，凯邀请乔布斯、 Jeff Raskin来到PARC参观，乔布斯对视窗图形用户界面印象深刻。
阿迪·萨莫尔（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的基础性贡献。

历届图灵奖获得者

历届图灵奖获得者(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）。

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）创立者。

图灵奖的三位获奖人

巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。1948年在密歇根州立大学取得工程学士学位，1950年在宾夕法尼亚大学取得硕士学位。20世纪50年代在Dow化工公司工作， 1961- 1970年在通用电气公司任程序设计部门经理，19701981年在Honeywell公司任总工程师，同时兼任Cullinet软件公司的副总裁和产品经理。 Cullinet公司对中国人来说知之者不多，但这个公司当时在美国很有名气，它是1978 年第一家在纽约股票交易所上市的软件公司，其时微软在新墨西哥州的阿尔伯克基开张不久，鲜为人知，它的股票是1986年上市的，比Cullinet 晚8年之久。但Cullinet最终被 CA公司购并。1983年巴赫曼创办了自己的公司Bachman Information System，Inc.。

后来出现了文件管理系统FMS（File Management System）作为应用程序和数据文件之间的接口，一个应用程序通过 FMS可以和若干文件打交道，在一定程度上增加了数据处理的灵活性。但这种方式仍以分散、互相独立的数据文件为基础，数据冗余、数据不一致性、处理效率低等问题仍不可避免。这些缺点在较大规模的系统中尤为突出。以美国在20世纪60年代初制定的阿波罗登月计划为例，阿波罗飞船由约200万个零部件组成，它们分散在世界各地制造生产。为了掌握计划进度及协调工程进展，阿波罗计划的主要合约者Rock-well公司曾研制、开发了一个基于磁带的零部件生产计算机管理系统，系统共用了18盘磁带，虽然可以工作，但效率极低，18盘磁带中60%是冗余数据，维护十分困难。这个系统的状况曾一度成为实现阿波罗计划的重大障碍之一。

DBTG首次确定了数据库的三层体系结构，明确了数据库管理员DBA（DataBase Administrator）的概念，规定了DBA的作用与地位。DBTG系统虽然是一种方案而非实际的数据库，但它所提出的基本概念却具有普遍意义，不但国际上大多数网状数据库管理系统，如 IDMS、PRIME、DBMS、DMS 170、 DMS II和DMS 1100等都遵循DBTG模型，而且对后来产生和发展的关系数据库技术也有很重要的影响，其体系结构也遵循DBTG的三级模式（虽然名称有所不同）。

2024年图灵奖获得者艾维·维格森

2024年图灵奖获得者艾维维格森
林伟
【期刊名称】《高等数学研究》
【年(卷),期】2024(27)3
【摘要】2024年图灵奖被普林斯顿高等研究院教授艾维·维格森(Avi Wigderson)摘得,以表彰其在计算理论的基础性贡献,包括重塑人类对计算中随机性作用的理解,以及数十年来在理论计算机科学领域的领导地位.维格森教授是首个同时拿下数学和计算机最高奖的科学家,他在2021年获得了阿贝尔奖.
【总页数】1页(P41-41)
【作者】林伟
【作者单位】西北工业大学数学与统计学院
【正文语种】中文
【中图分类】TP3
【相关文献】
1.四维实业（深圳）有限公司、四维企业股份有限公司与艾利丹尼森公司、艾利（广州）有限公司、艾利（昆山）有限公司、艾利（中国）有限公司、南海市里水意利印刷厂、佛山市环市镇东升汾江印刷厂经营部侵犯商业秘密纠纷管辖权异议案
2.诺维信:推动中国馒头产业化——访诺维信(中国)投资有限公司亚太区市场经理艾森
3.1978年诺贝尔文学奖获得者艾萨克·巴什维斯·辛格
4.自由,真实的存在──艾维格德·艾瑞卡静物画谈
5.二维斑点追踪成像技术评估艾森曼格综合征双心室功能
因版权原因，仅展示原文概要，查看原文内容请购买。

图灵奖简介

吉姆·格雷 “ 之父” 吉姆格雷—“SQL之父” 格雷之父
SQL是一种用来从关系数据库中获取信息的语言，它使人们在使用数据库的过程中可以更便捷地组织、恢复和调用信息。同样它在计算机系统网络技术中也发挥着广泛的作用。它为Oracle 、Sybase、 Informix等美国著名的数据库公司提供了核心技术，帮助他们在上个世纪80年代跟上了网络的发展步伐。有了SQL，它们没有被淘汰出局！
图灵奖简介
“图灵奖”最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被誉为“计算机界的诺贝尔奖”，主要授予那些在计算机技术领域做出突出贡献、对计算机产业发展有长远和重要影响的个人。迄今为止(2003)已有36位科学家获此殊荣。
图灵（1912～1954）Turing，Alan Mathiso 图灵
查尔斯·巴赫曼 “ 查尔斯巴赫曼—“网状数据库巴赫曼之父” 之父”
20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并从而极大地推动了计算机的普及与应用。因此， 1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼（Chares W．Bachman）。
在计算机科学中，关系的概念也十分普遍，在计算机科学中，关系的概念也十分普遍，计算机的逻辑设计，编译程序设计，算法分析和程序机的逻辑设计，编译程序设计，结构，信息检索等，都应用了关系的概念。结构，信息检索等，都应用了关系的概念。而用关系的概念来建立数据模型，用以描述、关系的概念来建立数据模型，用以描述、设计与操纵数据库，则是科德这篇论文的创举。操纵数据库，则是科德这篇论文的创举。由于关系模型简单明了，有坚实的数学基础，一经提出，系模型简单明了，有坚实的数学基础，一经提出，立即引起学术界和产业界的广泛重视和响应，从立即引起学术界和产业界的广泛重视和响应，理论与实践两个方面都对数据库技术产生了强烈的冲击。的冲击。基于层次模型和网状模型的数据库产品很快走向衰败，很快走向衰败，一大批关系数据库系统很快被开发出来并迅速商品化，占领了市场，发出来并迅速商品化，占领了市场，其交替速度之快是软件历史上所罕见的。基于这一十分引人之快是软件历史上所罕见的。注目的现象，1981年的图灵奖很自然地授予了埃德注目的现象，1981年的图灵奖很自然地授予了埃德科德—这一加·科德这一“关系数据库之父”。科德这一“关系数据库之父”

图灵奖获得者(2010修订版)

历届图灵奖获得者图灵奖获得者分类及各项指标统计(1966--2006)总共获奖人数(1966--2006)：41届，51人。

获奖科学家国籍分布：美国: 36英国: 5以色列: 3加拿大: 2挪威: 2荷兰: 1瑞士: 1丹麦: 1图灵奖获得者最高学位分布：博士学位：39硕士学位：4学士学位：5无法了解: 3图灵奖获得者获奖时年龄分布：70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(PeterNaur)60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E. Stearns, James N. Gray, Frances Allen图灵奖获得者去世人数(截止5/19/2006)统计：12获奖科学家研究方向分布：硬件，体系结构(2)Maurice V. Wilkes (1967) -- 第一台具有内部存储程序的计算机EDSACJohn Cocke (1987) -- RISC & 编译优化程序设计语言(10)Alan J. Perlis (1966) -- ALGOLEdsger Wybe Dijkstra (1972) -- ALGOLJohn W. Backus (1977) -- FORTRANKenneth Eugene Iverson (1979) -- APL程序语言Niklaus Wirth (1984) -- PASCALJohn Cocke (1987) -- RISC & 编译优化Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula语言和面向对象概念Alan Kay(2003) -- SmallTalk语言和面向对象程序设计Peter Naur(2005) -- ALGOL60以及编译设计Frances Allen(2006) -- 编译优化形式语言, 程序语言语义(4)Robert W. Floyd (1978) -- 编程语言语义，自动程序验证C. Antony R. Hoare (1980) -- Hoare Logic, CSPRobin Milner (1991) -- LCF，ML，CCS，PI-calculusAmir Pnueli (1996) -- 时序逻辑和系统验证算法设计(10)Richard Hamming (1968) -- 汉明码James Hardy Wilkinson (1970) -- 数值分析Donald E. Knuth -- Art of Computer ProgrammingJohn E. Hopcroft，Robert Endre. Tarjan (1986) -- 数据结构和算法设计William (Velvel) Morton Kahan (1989) -- 浮点运算姚期智(Andrew Chi-Chih Yao) (2000) -- 伪随机数复杂性，密码系统和通讯复杂性Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公钥密码技术--RSA计算理论，自动机，计算复杂性(7)Dana Stewart Scott (1976) -- 自动机Michael Oser Rabin (1976) -- 自动机Stephen Arthur Cook (1982) -- NP完全性Richard Manning Karp (1985) -- 证明一个问题是否是属于NP完全Juris Hartmanis，Richard Edwin Stearns (1993) -- 计算复杂性Manuel Blum (1995) -- 计算复杂性，密码系统和程序检查验证人工智能(6)Marvin Lee Minsky (1969) -- 神经元网络John McCarthy (1971) -- LISPAllen Newell，Herbert Simon (1975) -- Logic Theory MachineRaj Reddy，Edward Feigenbaum(1994) -- 专家系统操作系统(4)Dennis MacAlistair Ritchie，Ken Thompson (1983) -- UNIX Fernando Jose Corbato (1990) -- 分时系统Frederick P. Brooks(1999) -- IBM System360 操作系统数据库(3)Charles W. Bachman (1973) -- 数据库Edgar Frank Codd (1981) -- 关系数据模型James Gray(1998) -- 数据库和事务处理图形技术和交互式系统(2)Ivan Edward Sutherland (1988) -- 图形技术，CADDouglas Engelbart(1998) -- 交互式系统，鼠标发明人网络通讯(2)Vinton Gray Cerf (2004) -- Internet TCP/IP协议Robert Kahn(2004) -- Internet分享人名：年份：目的：国籍：本科学校：研究生学校：研究方向：获奖年龄：贡献形式：地位：Herbert Simon1975表彰其在开始于与在RAND(兰德)公司的J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity(CMU)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。

图灵奖获得者简介

道格拉斯.恩格尔巴特(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，它能够定期将密码改变，让破译者根本摸不到头绪。

计算机文化基础系列常识-图灵奖获奖者介绍连载(八).

计算机文化基础系列常识-图灵奖获奖者介绍连载（八）埃德斯加·狄克斯特拉(Edsgar Wybe Dijkstra)——最先察觉“goto有害”的计算机科学大师1972年的图灵奖授予荷兰的计算机科学家埃德斯加·狄克斯特拉(Edsgar Wybe Dijkstra)。

狄克斯特拉因最早指出“goto是有害的”以及首创结构化程序设计而闻名于世。

事实上，他对计算机科学的贡献并不仅仅限于程序设计技术。

在算法和算法理论、编译器、操作系统诸多方面，狄克斯特拉都有许多创造，作出了杰出贡献。

1983年，ACM为纪念Communications of ACM创刊25周年，评选出从1958—1982的四分之一个世纪中在该杂志上发表的25篇有里程碑意义的论文，每年一篇，狄克斯特拉一人就有两篇人选，是仅有的这样的两位学者之一(另一位是英国学者霍尔：C．A．R．Hoare，1980年图灵奖获得者)。

狄克斯特拉1930年5月11日生于鹿特丹的一个知识分子家庭，在兄弟姊妹4人中排行第三。

他的父亲是一名化学家和发明家，曾担任荷兰化学会主席。

他母亲则是一位数学家。

狄克斯特拉的少年时代是在德国法西斯占领军的铁蹄下度过的。

由于食物短缺，他被送到乡下他父亲的一个朋友那里去。

纳粹德国投降后，1945年7月，十分虚弱的狄克斯特拉才和家人重新团聚。

狄克斯特拉原打算学法律，毕业后到联合国工作，为维护世界和平服务。

但他中学毕业时，数理化成绩都特别好，因此他父亲说服了他，1948年进莱顿大学学习数学与物理。

在学习理论物理的过程中，狄克斯特拉发现这个领域中的许多问题都需要进行大量复杂的计算，于是决定学习计算机编程。

1951年，他自费赴英参加了剑桥大学举办的一个程序设计培训班，学习在EDSAC(Electronic Delay Storage Automatic Calculator，这是由1967年图灵奖获得者威尔克斯主持设计与开发的世界上第一台存储程序式电子计算机)上的编程方法，这使他成为世界上第一批程序员之一。

历届图灵奖获得者

刘　镇　副教授,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期曾芬芳等:基于数据手套的人机交互环境设计。

图灵奖及得主

图灵奖获得者总结(截止2005年)2009-09-08 18:14通过从1966年开始的图灵奖，逐年介绍当年的图灵奖获得者。

到目前为止，是图灵奖的第一个40年(1966–2005)。

总共有50位杰出的科学家获得了此荣誉。

到现在为止（2008年2月8日）近2年过去了。

新的4位图灵奖获得者也产生了（2006年一位，2007年三位）。

笔者在修订此书时，也一并将最新的获奖科学家收录于此。

另外，两年来，也发生了两位图灵奖获得者科学家一位失踪，一位离开人世的悲痛消息。

他们分别是1998年图灵奖获得者、著名的数据库研究领域科学家James Gray和1977年图灵奖获得者、Fortan程序语言和BNF范式的发明人John Backus。

他们的失踪和离世是全人类的损失。

笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。

笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。

该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。

也可以适用于计算机相关工程技术人员业余时间阅读。

谨以此书献给为中国信息产业和计算机界的人们! 希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家!获奖科学家国籍分布：美国:39 英国:5 以色列:3 加拿大:2 挪威:2 荷兰:1 瑞士:1 丹麦:1 法国:1图灵奖获得者最高学位分布：博士学位：39 硕士学位：3 学士学位：5 无法了解:3图灵奖获得者获奖时年龄分布：70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(Peter Naur)60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E. Stearns, James N. Gray图灵奖获得者去世人数(As of 5/19/2006)统计：12获奖科学家研究方向分布：硬件，体系结构(2)Maurice V. Wilkes (1967) —第一台具有内部存储程序的计算机EDSACJohn Cocke (1987) —RISC&编译优化程序设计语言(11)Alan J. Perlis (1966) — ALGOLEdsger Wybe Dijkstra (1972) — ALGOLJohn W. Backus (1977) — FORTRANKenneth Eugene Iverson (1979) —APL程序语言Niklaus Wirth (1984) — PASCALJohn Cocke (1987) —RISC & 编译优化Ole-Johan Dahl，Kristen Nygaard (2001) —Simula语言和面向对象概念Alan Kay(2003) —SmallTalk语言和面向对象程序设计Peter Naur(2005) —ALGOL60以及编译设计Frances E Allen(2006)–并行编译技术形式语言, 程序语言语义(4)Robert W. Floyd (1978) —编程语言语义，自动程序验证C. Antony R. Hoare (1980) — Hoare Logic, CSPRobin Milner (1991) —LCF，ML，CCS，PI-calculusAmir Pnueli (1996) —时序逻辑和系统验证Edmund M. Clarke（2007）–时序逻辑模型检查E. Allen Emerson （2007）–时序逻辑模型检查Joseph Sifakis （2007）–时序逻辑模型检查算法设计(10)Richard Hamming (1968) —汉明码James Hardy Wilkinson (1970) —数值分析Donald E. Knuth — Art of Computer ProgrammingJohn E. Hopcroft，Robert Endre. Tarjan (1986) —数据结构和算法设计William (Velvel) Morton Kahan (1989) —浮点运算姚期智(Andrew Chi-Chih Yao) (2000) —伪随机数复杂性，密码系统和通讯复杂性Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) —公钥密码技术–RSA计算理论，自动机，计算复杂性(7)Dana Stewart Scott (1976) —自动机Michael Oser Rabin (1976) —自动机Stephen Arthur Cook (1982) —NP完全性Richard Manning Karp (1985) —证明一个问题是否是属于NP完全Juris Hartmanis，Richard Edwin Stearns (1993) —计算复杂性Manuel Blum (1995) —计算复杂性，密码系统和程序检查验证人工智能(6)Marvin Lee Minsky (1969) —神经元网络John McCarthy (1971) — LISPAllen Newell，Herbert Simon (1975) —Logic Theory Machine Raj Reddy，Edward Feigenbaum(1994) —专家系统操作系统(4)Dennis MacAlistair Ritchie，Ken Thompson (1983) —UNIX Fernando Jose Corbato (1990) —分时系统Frederick P. Brooks(1999) —IBM System360 操作系统数据库(3)Charles W. Bachman (1973) —数据库Edgar Frank Codd (1981) —关系数据模型James Gray(1998) —数据库和事务处理图形技术和交互式系统(2)Ivan Edward Sutherland (1988) —图形技术，CADDouglas Engelbart(1998) —交互式系统，鼠标发明人网络通讯(2)Vinton Gray Cerf (2004) —Internet TCP/IP协议。

历届图灵奖获得者及获得原因

5.查尔斯·安东尼·理查德·霍尔爵士（1934-1-11~）英国计算机科学家，1980年获得图灵奖。
获奖原因：程序设计语言的定义与设计。
主要成就：快速排序算法、霍尔逻辑、交谈循序程式。
古典文明研究：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操作系统的设计者和开发者。
迪科斯彻的名言：“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入。”“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的。”

历届图灵奖获得者

历届图灵奖获得者(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，以及在网络方面卓越的领导。

图灵奖

图灵奖求助编辑百科名片图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。

其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。

因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。

目录概况图灵奖获得者图灵简介生平成就荣誉著作部分获奖者介绍程序设计语言的先驱开拓者和一批大师计算机科学家Dijkstra“人工智能”的创始人和开拓者其他方面的图灵奖获得者概况图灵奖获得者图灵简介生平成就荣誉著作部分获奖者介绍程序设计语言的先驱开拓者和一批大师计算机科学家Dijkstra“人工智能”的创始人和开拓者其他方面的图灵奖获得者展开编辑本段概况奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。

目前图灵奖由英特尔公司和google 公司赞助，奖金为250,000美元。

每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。

任何人都可成为提名人。

美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。

从1966年到2009年的44届图灵奖，共计有56名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列,中国（姚期智）等国少数学者。

截止至2009年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。

编辑本段图灵奖获得者2010年莱斯利·瓦伦特Leslie Valiant 对众多计算理论所做的变革性的贡献编辑本段图灵简介生平英国著名学者阿兰·麦席森·图灵（Alan Mathison Turing）不阿兰·麦席森·图灵仅以“纸上下棋机”率先探讨了下棋与机器智能的联系，他还是举世公认的“人工智能之父”。

1991年 2000年图灵奖获得者

1958年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在 Ferranti公司当程序员。回到学术界，先后在 City大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了 LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的"罗宾·米尔纳讲座"，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验室主任，现为剑桥大学计算机实验室教授。
子图片
密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一，第三十届（1995年）图灵奖得主。Blum是卡内基梅隆大学计算机科学教授，也是世界上理论计算机学大师。他被选举成为美国国家科学院（National Academy of Sciences）的成员，这对于任何一位美国的科学家或是工程师来说都是最高的荣誉。
罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1 月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。
父亲是波兰移民至美国的分析化学家，母亲是乌克兰人，他们生有三个孩子：爱德华、米切尔和Glenda。爱德华有著神童的一切特质，米切尔却非。
爱德华·费根鲍姆并不享受他的中小学生活。他在12岁时自学钢琴，高中时自学微积分。他又从父亲的朋友得到一部有交换线路的机器和一份由克劳德·艾尔伍德·香农所写、关于布林逻辑的论文。这些东西都令费根鲍姆着迷。