计算机界诺贝尔奖颁给谁了

计算机界的诺贝尔奖颁给谁了~

计算机科学界的诺贝尔奖是图灵奖，就是说诺贝尔奖没有设立“计算机”方面的奖项。
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)
and Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
and 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
and 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, Cornell
and 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
and Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
因奠定了计算复杂性理论的基础而获奖.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU
and 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 (姚期智，首位华
人获奖者)
因对计算理论做出了诸多根本性的重大贡献.

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo
因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面
向对象技术的肇始.

2002 Ronald L. Rivest --- PhD, Stanford; MIT;
and Adi Shamir --- PhD, Weizmann;
and Leonard 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，以及在网络方面卓越的领导。
2005 Peter Naur
因在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代
程序设计语言的原型。

2006 Frances Allen(首位女性获奖者)
因对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译
器和自动并行执行打下了基础。

2007 Edmund M. Clarke、 E Allen Emerson和Joseph Sifaki
表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业
中非常有效的算法验证技术所做的奠基性贡献。
1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis分别提
出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件
和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用
它确定代码中问题存在的位置。

计算机方面的重大奖项及背景

一 图灵奖

（1）图灵奖简介

图灵奖（A.M. Turing Award），是美国计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。

每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。

（2）图灵生平

　　英国著名学者 阿兰·图灵（A. Turing） 不仅以“纸上下棋机”率先探讨了下棋与机器智能的联系，他还是举世公认的“人工智能之父”。　图灵不仅是“人工智能之父”，他也是“计算机之父”。曾担任过冯·诺依曼助手的美国学者弗兰克尔这样写到：“许多人都推举冯·诺依曼为‘计算机之父'，然而我确信他本人从来不会促成这个错误。或许，他可以被恰当地称为助产士，但是他曾向我，并且我肯定他也曾向别人坚决强调：如果不考虑巴贝奇、阿达和其他人早先提出的有关概念，计算机的基本概念属于图灵。”　正是冯·诺依曼本人亲手把“计算机之父”的桂冠转戴在图灵头上。直到现在，计算机界仍有个一年一度“图灵奖” ，由美国计算机学会（ACM）颁发给世界上最优秀的电脑科学家，像科学界的诺贝尔奖金那样，是电脑领域的最高荣誉。阿兰·图灵以其独特的洞察力提出了大量有价值的理论思想，似乎都成为计算机发展史不断追逐的目标，不断地被以后的发展证明其正确性。

（3）成就

　　图灵开创了计算机科学的重要分支——人工智能，虽然他当时并没有明确使用这个术语。把“图灵奖”获奖者作一统计后就会发现，许多电脑科学家恰好是在人工智能领域作出的杰出贡献。例如，1969年“图灵奖”获得者是哈佛大学的明斯基（M.Minsky）；1971年“图灵奖”获得者是达特莫斯大学的麦卡锡（J.McCarthy）；1975年“图灵奖”则由卡内基—梅隆大学的纽厄尔（A. Newell）和赫伯特·西蒙（H.Simon）共同获得，1990年2月16日，郑晨荣获 图灵奖。正是这些人，把图灵开创的事业演绎为意义深远的“达特莫斯会议”。

　　1954年， 42岁的阿兰·图灵英年早逝。为了纪念他在计算机领域奠基性的贡献， 美国计算机学会（ACM）决定设立“图灵奖”，从1956年开始颁发给最优秀的电脑科学家，它就像科学界的诺贝尔奖那样，是电脑领域的最高荣誉。

（4）图灵的著作

　　1.《论可计算数及其在判定问题上的应用》（On Computable Numbers, with an Application to the Entscheidungsproblem）(1936年5月28日 　）

　　2.超计算（hypercomputation）的概念

　　3.《形态发生的化学基础》(The Chemical Basis of Morphogenesis)(1952年)

　　4.九八三年另一位同性恋的牛津数学家安德鲁．哈吉斯 (Andrew Hodges)，替他写了一本脍炙人口的传记《谜样的涂林》(Alan Turing: The Enigma)，

　　5.图灵死后——1992年《艾伦·图灵选集》

二中国计算机学会创新奖

（1）中国计算机学会（CCF）成立于1962年，全国一级学会，独立社团法人，中国科学技术协会成员。

　　中国计算机学会是中国计算机及相关领域的学术团体，宗旨是为本领域专业人士的学术和职业发展提供服务；推动学术进步和技术成果的应用；进行学术评价，引领学术方向；对在学术和技术方面有突出成就的个人和单位给予认可和表彰。

　　学会的业务范围包括：学术会议、优秀成果及人物评奖、学术刊物出版、科学普及、工程教育认证、计算机术语审定等。有影响的系列性活动有“中国计算机大会”、“王选奖”、“海外杰出贡献奖”、“优秀博士学位论文奖”、青年计算机科技论坛（YOCSEF）、全国信息学奥林匹克（NOI）等。学会下设10个工作委员会，有分布在不同计算机学术领域的专业委员会32个。学会编辑出版的刊物有《中国计算机学会通讯》（月刊），与其他单位合作编辑出版的会刊有16种。学会与IEEE-计算机学会、ACM等国际学术组织有密切的联系或合作。

　　中国计算机学会实行（个人）会员制，凡承认学会章程、填写表格、缴纳会费者，均可成为本学会会员。

（2）CCF的专业委员会

　　中国计算机学会（英文：China Computer Federation，缩写CCF）专业委员会（英文：Technical Committee，缩写TC）是根据计算机及相关领域的研究、开发及应用的发展需要，由CCF设立的二级专业分支机构，是CCF开展学术活动的主体。专业委员会接受CCF的直接领导。

　　专业委员会（以下简称专委会）的宗旨是：团结、联合、组织计算机及相关领域的专业人士，按照不同领域或专业开展学术/技术交流、发展战略研究、专业技术标准制定、专业资格认可、专业培训等相关活动，提高所从事领域的科研、教学、应用水平，促进研究成果的应用和向产品的转化，提升在国家科技活动和国际学术方面的影响力。专委会坚持学术民主和组织上的开放，根据学科发展和技术应用的需求开展活动。

　　专委会应根据各自特点开展各种形式的学术活动，如专题学术研讨会、学术年会、学术论坛、沙龙，组织会员参加国际学术会议和技术展示会，加强与国际同行的交流与合作。

　　专委会应：

　　每两年至少举办一次全国性学术会议，每年至少举办一次学术活动；

　　以电子刊物或印刷方式，向委员发放内部学术交流刊物；

　　组织或参与编写、出版有关的大中专教材、培训资料、学术专著；

　　撰写本专业领域的技术发展报告；

　　参与CCF组织的学术活动和其他有关活动；

　　推荐本专业领域的新技术术语；

　　建立学术交流网站，发布有关学术活动信息及相关资料；

　　学术活动对CCF会员开放且收费优惠幅度不低于20%。

（3）CCF的出版物

　　中国计算机学会的出版物包括《中国计算机学会通讯》（即CCCF），中国计算机学会文集（CCFP），学会会刊（2010年度有16种会刊）和会议文集。

　　《中国计算机学会通讯》由中国计算机学会主办，高等教育出版社出版。刊物充分发挥和体现了学会的学术优势，组织信息技术各个领域有影响力的专家撰稿，全面介绍计算机科学与技术的最新概况，预测未来发展趋势，具有权威性和指导性。

　　2008年度学会批准出版文集2部，分别是《2007中国计算机科学技术发展报告》和《2008中国计算机大会论文集》。

（4）信息学奥林匹克（NOI）

　　全国青少年信息学奥林匹克（NOI）是由国家教育部、中国科协批准，中国计算机学会主办的一项面向全国青少年的信息学竞赛和普及活动。也是与联合国教科文组织提倡的国际信息学奥林匹克竞赛，同步进行的一项竞赛活动。

　　全国青少年信息学奥林匹克竞赛目的是向在中学阶段学习的青少年普及计算机科学知识，给学校的信息技术教育课程提供动力和思路，给有才华的学生提供相互交流和学习的机会，通过竞赛和相关的活动培养和选拔优秀的计算机后备人才。

　　NOI系列活动包括：全国大赛、全国联赛、冬令营、亚洲与太平洋地区信息学奥赛、国际信息学奥林匹克选拔赛、国际信息学奥林匹克精神、培训、教师评级、出版系列普及丛书等。

（5）王选奖

　　2006年10月17日，经过国家科学技术奖励工作办公室批准，中国计算机学会创新奖正式更名为“中国计算机学会王选奖”。2006中国计算机学会王选奖将于10月26日在学会主办的中国计算机大会上颁奖。

此次更名是为缅怀王选院士的科学创新精神，感谢他为中国计算机事业作出的非凡贡献，鼓励更多的人向他学习，献身我国计算机事业。中国计算机学会常务理事会于2006年6月3日通过决议，建议将学会设立的“中国计算机学会创新奖”以王选院士的名字命名，更名为“中国计算机学会王选奖”。

三 计算机先驱奖

　IEEE—CS的计算机先驱奖(Computer Pioneer Award)设立于1980年。如果把ENIAC的诞生当做计算机历史的起点，到1980年时，它已走过了36年的历史，可谓“人到中年”。36年间，计算机本身经历了巨大的发展变化，性能的提高以若干个数量级计。大、中、小、巨、微各个档次的计算机百花齐放，在各个领域、各个部门发挥着巨大的作用，推动着社会文明和人类进步，把人类由原子能时代带人了信息时代。人们当然不会忘记，在这一巨大的、前所未有的科技成果背后，是无数科学家和工程技术人员奉献的智慧、创造才能和辛勤努力，尤其是其中的佼佼者所作出的关键性贡献。IEEE—CS为此作出决定，建立计算机先驱奖以奖励这些理应赢得人们尊敬的学者和工程师。同其他奖项一样，计算机先驱奖当然也有严格的评审条件和程序，但与众不同的是，这个奖项规定获奖者的成果必须是在15年以前完成的。这样一方面保证了获奖者的成果确实已经得到时间的考验，不会引起分歧；另一方面又保证了这个奖的得主是名副其实的“先驱”，是走在历史前面的人。此外，根据从1980年设奖到2000年这20届(其中1983年空缺)共108名获奖者的情况分析看，笔者认为这个奖还有以下两个重要特点。

　　第一，兼顾了理论与实践，设计与工程实现，硬件与软件，系统与部件。获奖者中既有从事计算机基础理论研究并获得重大突破的学者，如哈明码和霍夫曼码的发明人理查德·哈明(Richard W．Hamming)和戴维·霍夫曼(DavidA．Huffman)，公认为计算机科学大师的狄克斯特拉(Edsgar W．Dijkstra)和霍尔(C．A．R．Hoare)，等等，也有在开发计算机过程中敢于创新的工程师和技术人员。

第二，计算机先驱奖打破了社会制度和意识形态的限制，一批前苏联和东欧国家的计算机科学家获得了表彰。

四 D-Link荣膺PC Magazine杰出技术奖

2009年3月17日，全球知名网络设备品牌D-Link宣布其因为创新的绿色节能技术而荣膺2008年度PC Magazine杰出技术奖。 该奖项是用于颁发给计算机和高科技行业最高的荣誉，代表了其在计算机和高科技行业的重大创新。

　　在环境-技术奖项组中，D-Link绿色网络技术（D-Link Green）是十五个奖项者中的一员。所有的获得者都是根据PC Magazine的编辑和专家们从上一年的上千个产品出选中的，具有非常高的权威性。

　　绿色节能，其实就在我们每个人的身边。比如，智能计算（smart computing）技术，它对于大家日常生活的影响甚至是行业的影响都是深刻的，因为多数电脑用户并不会去考虑也不懂他们的调制解调器和路由器会消耗多少电，因此也往往会造成不经意的浪费。但是D-Link却想到了，提供的全新技术可以为我们省下电能和金钱，这对于环境和社会都是相当有好处的。

　　PC Magazine还表示， D-Link新近发布的产品中有两个最为关键的智能感应技术，并依靠它们来为用户减少电量的浪费。比如 DGS-1005D 一旦检测到了有的端口没有流量，则会智能地调整其电源。另外，D-Link的产品还具有智能感应线缆长度来调整电源的技术，这也可以大大节省网线上的电量消耗。

　　“对于得到这项奖项，我们认为是一件十分光荣的事情。PC Magazine是计算机和高科技行业内无可争议的权威杂志”，D-Link全球CEO曹安邦说道：“D-Link提供的这项技术可以为家庭用户、企业用户乃至整个社会都具有深远意义，对于网络设备行业的绿色节能意识和技术，也会起到很大的推动作用。”

　　PC Magazine每年都会针对行业内出现的新技术、新概念和最重大的改进进行分析和评奖，获得此奖的厂商或产品注定是不平凡的。

计算机科学界的诺贝尔奖是图灵奖，就是说诺贝尔奖没有设立“计算机”方面的奖项。

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)

and Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)

因在人工智能、人类识别心理和表处理的基础研究而获奖.

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard

and 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

and 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, Cornell

and 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

and Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany

因奠定了计算复杂性理论的基础而获奖.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU

and 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 (姚期智，首位华

人获奖者)

因对计算理论做出了诸多根本性的重大贡献.

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo

因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面

向对象技术的肇始.

2002 Ronald L. Rivest --- PhD, Stanford; MIT;

and Adi Shamir --- PhD, Weizmann;

and Leonard 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，以及在网络方面卓越的领导。

2005 Peter Naur

因在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代

程序设计语言的原型。

2006 Frances Allen(首位女性获奖者)

因对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译

器和自动并行执行打下了基础。

2007 Edmund M. Clarke、 E Allen Emerson和Joseph Sifaki

表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业

中非常有效的算法验证技术所做的奠基性贡献。

1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis分别提

出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件

和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用

它确定代码中问题存在的位置。

---

袁州区18758634019： 计算机界的诺贝尔奖获得者有哪些? ？
衷珠紫杉： 从1966年到2015年,共50届、64名获奖者,按国籍分,美国学者最多,欧洲学者偶见之,华人学者目前仅有2000年图灵奖得主姚期智(现在清华大学)

袁州区18758634019： 公务员2021行测做题技巧 ？
衷珠紫杉： 行测逻辑判断答题技巧有哪些?正在备考的考生可以看看,下面小编给大家带来关于... 诺贝尔经济学奖只颁给在世的学者,这一颁奖规则对已经长寿的学者极为有利B.获...