图灵奖
历届图灵奖获奖者
阿迪·萨莫尔（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图灵奖。
网络安全图灵奖
网络安全图灵奖网络安全图灵奖是由国际计算机科学联合会（ACM）每年颁发的一个奖项，用于表彰在计算机和网络安全领域做出重大贡献的个人或团队。
该奖项是对计算机科学界最高荣誉之一，也是对网络安全领域重要成就的肯定和鼓励。
在互联网时代，网络安全问题十分严峻，因此网络安全图灵奖的设立对推动网络安全研究和技术的发展起到了至关重要的作用。
网络安全图灵奖的首次颁发是在2004年，获奖者是Ronald L. Rivest、Adi Shamir和Leonard M. Adleman，他们开发了RSA 加密算法。
RSA算法是一种非对称加密算法，通过利用大素数的性质，实现了加密和解密过程中使用不同的密钥。
这个算法被广泛应用在互联网通信和电子商务中，为保护用户的隐私和保密信息做出了重要贡献。
此后，网络安全图灵奖的获奖者涵盖了从密码学到网络协议、漏洞发现和修复等广泛的领域。
例如，在2012年，Silvio Micali和Shafi Goldwasser因对零知识证明（zero-knowledge proof）的贡献获得该奖项。
零知识证明是一种通过交互证明来验证某种陈述的方法，而不公开实际证明的内容。
这种技术可以应用于密码学和安全协议的设计中，保障了用户的隐私和数据安全。
除了个人贡献，一些组织和团队也因其在网络安全领域的突出贡献而获得网络安全图灵奖。
比如，在2014年，Tor（The Onion Router）团队获得了该奖项。
Tor是一种用于保护通信隐私的匿名通信系统，通过分布式网络，让用户的网络流量经过多个中间节点，从而隐藏用户的真实IP地址和身份信息。
这一技术对于维护用户隐私、抵御网络监控和攻击非常重要。
通过网络安全图灵奖的设立和颁发，可以增加社会公众对网络安全问题的关注和了解。
同时，该奖项也提高了网络安全研究和技术创新的重要性和意识。
这对于推动网络安全技术的发展和提高整体网络安全水平都起到了积极的促进作用。
网络安全图灵奖作为一个国际性的奖项，不仅对于网络安全领域的科学家和工程师来说是一种荣誉，更重要的是它对于社会的意义，能够激励更多的人投身于网络安全研究和创新工作，为保护网络安全和用户隐私做出更大的贡献。
ACM各类奖项介绍与申请过程
ACM各类奖项与申请过程1．图灵奖（A. M. Turing Award）图灵奖为ACM最享有声望的技术奖，奖金为250,000美元。
该奖授予在计算机界做出原创性贡献的个人，每年奖励一名。
这些原创性贡献对计算机领域而言应是可持续的、技术上的重要性是非常巨大的。
图灵奖的由Intel和Google公司提供赞助。
提名过程：任何人都可以成为提名人，提名信息应包括以下内容：（1）提名人的姓名、地址和电话；（2）被提名人的姓名、地址；（3）一段200~500字的陈述，介绍被提名人的主要成就，阐述推荐理由；（4）至少三份签名背书；提名信息通过电子邮件形式发送给图灵奖挑选委员会主席。
2．ACM-Infosys基金会奖（ACM - Infosys Foundation Award）ACM-Infosys基金会奖始于2007年，授予在相关研究领域取得最伟大成就、具有广泛深远影响的当代年轻科学家和系统开发人员。
奖金为150,000美元，由Infosys 基金会捐赠款提供赞助。
提名过程：任何人都可以成为提名人，提名信息应包括以下内容：（1）提名人的姓名、地址和电话；（2）被提名人的简历，包括年龄、出版书籍和已发表论文、专利、其它获奖荣誉等；（3）主要提名人的提名信件，描述被提名人的主要工作以及所做出的主要贡献；（4）至少三份签名背书。
提名信息通过电子邮件形式发送给ACM-Infosys 基金会奖挑选委员会主席。
3．特优服务奖（Distinguished Service Award）该奖项授予基于为计算机界所做的服务的价值和程度。
所做的贡献不限于为ACM所做的服务，可包括为其他计算机组织的活动，但须强调为整个计算机界所做的贡献。
提名过程：任何人都可以成为提名人，该奖项接受自我提名。
提名信息应该包括以下内容：（1）提名人的姓名、地址；（2）被提名人的姓名、地址；（3）一段200~500字的陈述，介绍被提名人的主要成就，阐述提名理由；（4）两份签名背书。
历届图灵奖获得者
历届图灵奖获得者(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，以及在网络方面卓越的领导。
图灵奖简介
SQL语言的出现是现代数据 库发展中的里程碑事件。如 今SQL已经深入世界上千百 万用户的日常使用中，带来 了巨大的技术进步和市场价 值。它风靡于整个IT业。
2002年 10月 18日 2002 年 10 月 18 日 ， 由微软亚洲研究院和国家自 然科学基金委员会联合举办的第四届“ 然科学基金委员会联合举办的第四届 “ 二十一 世纪的计算” 世纪的计算 ” 大型国际学术研讨会在北京大学 百年纪念堂举行。 本次大会主题为“ 百年纪念堂举行 。 本次大会主题为 “ 高信度计 三位“ 图灵奖” 获得者、 算 ” 。 三位 “ 图灵奖 ” 获得者 、 国际知名计算 机专家及微软高级技术官员在大会上做了主题 报告， 报告 ， 并与来自北京地区主要科研院校的两千 三百多名研究人员和计算机系师生就计算科学 的未来进行了深入交流和探讨。 的未来进行了深入交流和探讨 。 参加本次大会 的三位“ 图灵奖” 获得者有： Gray博士 博士、 的三位 “ 图灵奖 ” 获得者有 ： Jim Gray 博士 、 姚期智( Yao)博士和 博士和Manuel Blum博士 博士。 姚期智 ( Andrew Yao) 博士和 Manuel Blum 博士 。 姚期智博士是全球获此殊荣的首位华裔科学家。 姚期智博士是全球获此殊荣的首位华裔科学家 。
关系elation是数学中的一个基本概念由集合中的任意元素所组成的若干有序偶对orderedpair表示用以反映客观事物间所存在的一定关系如数之间的大小关系一个组织中的成员之间的领导被领导关系商品流通中的购销关系产品零部件之间的装配关系等等
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
图灵奖
图灵奖（A.M. Turing Award），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，有“计算机界诺贝尔奖”之称，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
由来阿兰·麦席森·图灵阿兰·麦席森·图灵（Alan Mathison Turing，1912.6.23—1954.6.7），是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。
概况图灵奖（又译“杜林奖”）是美国计算机协会（ACM）于1966年第一个设立的奖项，专门奖励那些在计算机科学研究中做出创造性贡献、推动了计算机科学技术发展的杰出科学家。
虽然没有明确规定，但从实际执行过程来看，图灵奖偏于在计算机科学理论和软件方面作出贡献的科学家。
奖杯-图灵碗奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
从1966年到2009年的44届图灵奖，共计有56名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。
图灵奖
图灵奖简介图灵奖（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）创立者。
计算机界的重要奖项
一、图灵奖图灵奖，是国际计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。
目前图灵奖由英特尔公司赞助，奖金为100,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
2011年获得该奖项的是犹大·伯尔，他在人工智能方面有突出研究。
二、计算机先驱奖IEEE-CS的计算机先驱奖（Computer Pioneer Award)设立于1980年。
兼顾了理论与实践，设计与工程实现，硬件与软件，系统与部件。
计算机先驱奖打破了社会制度和意识形态的限制，一批前苏联和东欧国家的计算机科学家获得了表彰。
中国的计算机科学家至今无人获奖(只有一名美籍华裔学者杰弗里·朱于1981年获此殊荣)。
三、高德纳奖高德纳奖（Donald E. Knuth Prize），授予为计算机科学基础做出杰出贡献的人，以计算机科学家高德纳（Donald E. Knuth）命名。
高德纳奖始于1996年，每1.5年颁发一次，包括5000美元奖金。
现在奖项由ACM计算机理论研讨会和IEEE计算机科学基础研讨会交替颁发。
高德纳奖的获得者由颁奖委员会选出。
计算机科学领域的重要奖项与荣誉
计算机科学领域的重要奖项与荣誉计算机科学作为现代社会中关键的学科领域之一，培养和发展了无数的科学家和工程师，推动了人类社会的进步。
为了嘉奖在计算机科学领域做出卓越贡献的个人和团队，许多重要的奖项与荣誉被设立和颁发。
本文将介绍计算机科学领域的几个重要奖项与荣誉，包括图灵奖、ACM学院、ACM SIGMOD最佳论文奖、ACM SIGCHI最佳论文奖，以及IEEE Fellow。
一、图灵奖图灵奖是计算机科学领域最高荣誉之一，以纪念英国计算机科学先驱阿兰·图灵而设立。
该奖项由ACM（计算机协会）每年颁发一次，奖励在计算机科学和计算机工程领域做出杰出贡献的个人或集体。
获奖者除了获得10万美元的奖金，还享有崇高的国际声望。
二、ACM学院ACM学院是ACM设立的一个具有特殊荣誉称号的会员组织。
对于计算机科学领域作出重要贡献的学界和工业界人士，被选为ACM学院院士（Fellow）是一种重要的荣誉。
ACM学院每年通过严格的评选程序，选出在计算机科学研究、教育和实践方面有杰出贡献的个人，并授予其ACM学院院士称号。
三、ACM SIGMOD最佳论文奖ACM SIGMOD最佳论文奖是由ACM数据管理小组（SIGMOD）颁发的一个重要奖项，旨在奖励在数据库管理和相关领域做出杰出贡献的学术论文。
该奖项每年评选一次，获奖论文需要经过评审委员会的严格评选和筛选，最终选出对于数据库管理领域有重要影响的论文，并授予作者荣誉和奖金。
四、ACM SIGCHI最佳论文奖ACM SIGCHI最佳论文奖是由ACM人机交互小组（SIGCHI）颁发的一个重要奖项，旨在奖励在人机交互领域做出杰出贡献的学术论文。
该奖项每年评选一次，获奖论文需要经过评审委员会的严格评选和筛选，最终选出对于人机交互领域有重要影响的论文，并授予作者荣誉和奖金。
五、IEEE FellowIEEE Fellow是IEEE（国际电气和电子工程师协会）最高的会员级别，是对在电气工程和计算机科学领域作出杰出贡献的个人颁发的荣誉称号。
图灵奖
图灵奖（A.M. Turing Award） 由美国计算机协会（ACM）于1966年设立，其名称取自 计算机科学的先驱、英国科学家阿兰· 麦席森· 图灵。有 “计算机界的诺贝尔奖”之称。 从1966年到2010年的45届图灵奖，共计有57名科学家获 此殊荣 。 2010年莱斯利· 瓦伦特（Leslie Valiant） ，人工智能方面。 获此殊荣的华人仅有一位，2000年姚期智（在计算理论方 面的贡献而获奖，包括伪随机数的生成算法、加密算法和 通讯处理方式仍以分散、互相独立的数据文件为基础，数据冗余、 数据不一致性、处理效率低等问题仍不可避免。这些缺点在较大规模的系 统中尤为突出。以美国在20世纪60年代初制定的阿波罗登月计划为例，阿 波罗飞船由约200万个零部件组成，它们分散在世界各地制造生产。为了掌 握计划进度及协调工程进展，阿波罗计划的主要合约者Rock-well公司曾研 制、开发了一个基于磁带的零部件生产计算机管理系统，系统共用了18盘 磁带，虽然可以工作，但效率极低，18盘磁带中60%是冗余数据，维护十 分困难。这个系统的状况曾一度成为实现阿波罗计划的重大障碍之一。
与数据库有关的三位图灵奖获得者
——埃德加.科德
Edgar Frank Codd 1923年8月19日生于英格兰。 二战中应征入伍，在皇家空军服役，1942-1945年间任 机长，参与了许多惊心动魄的空战。 二战后进入牛津大学数学系，1948年取得学士学位。 随后在美国和加拿大工作，参加了IBM 第一台科学计 算机7 0 1 以及第一台大型晶体管计算机 STRETCH的 逻辑设计，主持了第一个有多道程序设计能力的操作系 统的开发 。 60年代初，到密歇根大学进修计算机与通信专业 ，并 于1963年获得硕士学位， 1965 年取得博士学位 。 关系数据库之父。 1981年被授予图灵奖。
图灵奖ppt课件-精品文档
与人工智能有关的图灵奖得主
马文•闵斯基 第 一 位因 人工智能获图灵奖的科学家 是马文•闵斯基，有时被亲切地称为“老闵斯基”，他是 美国人工智能领域的科学家。MIT人工智能实验室的联合 创始人，著有几部人工智能和哲学方面的作品。
他出生于纽约，在那里他先后就读于菲尔德斯顿学
校和布朗克斯科学高中。后来，他进入马萨诸塞州安多 弗的菲利普学院学习。1944-1945年，他服役于美国海军。 他于1950年获得了哈佛大学的数学学士学位并于1954年 获得了普林斯顿大学同一领域的博士学位。自1958年以 来，他一直工作于麻省理工学院。自1958年起在麻省理 工学院任教，现为东芝媒体艺术与科学教授、麻省理工 学院电子工程与计算机科学教授。
姚期智。
近几届的图灵奖人物：
2000年 姚期智 计算理论，包括伪随机数生成，密码学与 通信复杂度
2019年 奥利-约翰•达尔 克利斯登•奈加特 面向对象编程
2019年 罗纳德•李维斯特 阿迪•萨莫尔ቤተ መጻሕፍቲ ባይዱ伦纳德•阿德曼公 钥密码学（RSA加密演算法）
2019年 艾伦•凯 面向对象编程
2019年 文特•瑟夫 罗伯特•卡恩 TCP/IP协议
2019年 彼得•诺尔 Algol 60语言
2019年 法蘭西斯•艾倫 優化編譯器
2019年[1] 爱德蒙•克拉克 艾伦•爱默生 约瑟夫•斯发基斯 开 发自动化方法检测计算机硬件和软件中的设计错误
2019年 芭芭拉•利斯科夫 编程语言和系统设计的实践与理论
2009年 查尔斯•萨克 帮助设计、制造第一款现代PC
2019年 莱斯利•瓦伦特 对众多计算理论所做的变革性的贡献 计算理论，包括伪随机数生成，密码学与通信复杂度
图灵其人其事
数据库领域图灵奖获得者
三位在数据库领域作出杰出贡献的图灵奖获得者简介图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机技术有长远而重要的影响。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。
查尔斯·巴赫曼20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并且极大的推动了计算机的普及与应用。
因此，1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼（CharlesW.Bachman）。
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。
1948年在密歇根州立大学取得工学学士学位，1950年在宾夕法尼亚大学取得硕士学位。
20世纪50年代在Dow化工公司工作，1961－1970年在通用电气公司任程序设计部门经理，1970－1981年在H o neywell公司任总工程师，同时兼任Cul llinet软件公司的副总裁和产品经理。
1983年巴赫曼创办了自己的公司Bachman Informa tion System，Inc.。
巴赫曼在数据库方面的主要贡献有两项，第一就是在通用电气公司任程序设计部门经理期间，主持设计与开发了最早的网状数据库管理系统IDS。
图灵奖简介
吉姆·格雷 “ 之父” 吉姆 格雷—“SQL之父” 格雷 之父
SQL是一种用来从关系数据库中获取信息 的语言，它使人们在使用数据库的过程 中可以更便捷地组织、恢复和调用信息。 同样它在计算机系统网络技术中也发挥 着广泛的作用。它为Oracle 、Sybase、 Informix等美国著名的数据库公司提供 了核心技术，帮助他们在上个世纪80年 代跟上了网络的发展步伐。有了SQL，它 们没有被淘汰出局！
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
图灵（1912～1954）Turing，Alan Mathiso 图灵
查尔斯·巴赫曼 “ 查尔斯 巴赫曼—“网状数据库 巴赫曼 之父” 之父”
20世纪60年代中期以来，数据库技术的 形成、发展和日趋成熟，使计算机数据 处理技术跃上了一个新台阶，并从而极 大地推动了计算机的普及与应用。因此， 1973年的图灵奖首次授予在这方面作出 杰出贡献的数据库先驱查尔斯·巴赫曼 （Chares W．Bachman）。
在计算机科学中，关系的概念也十分普遍， 在计算机科学中，关系的概念也十分普遍，计算 机的逻辑设计，编译程序设计，算法分析和程序 机的逻辑设计，编译程序设计， 结构，信息检索等，都应用了关系的概念。 结构，信息检索等，都应用了关系的概念。而用 关系的概念来建立数据模型，用以描述、 关系的概念来建立数据模型，用以描述、设计与 操纵数据库，则是科德这篇论文的创举。 操纵数据库，则是科德这篇论文的创举。由于关 系模型简单明了，有坚实的数学基础，一经提出， 系模型简单明了，有坚实的数学基础，一经提出， 立即引起学术界和产业界的广泛重视和响应，从 立即引起学术界和产业界的广泛重视和响应， 理论与实践两个方面都对数据库技术产生了强烈 的冲击。 的冲击。基于层次模型和网状模型的数据库产品 很快走向衰败， 很快走向衰败，一大批关系数据库系统很快被开 发出来并迅速商品化，占领了市场， 发出来并迅速商品化，占领了市场，其交替速度 之快是软件历史上所罕见的。基于这一十分引人 之快是软件历史上所罕见的。 注目的现象，1981年的图灵奖很自然地授予了埃德 注目的现象，1981年的图灵奖很自然地授予了埃德 科德—这一 加·科德 这一“关系数据库之父”。 科德 这一“关系数据库之父”
图灵及图灵奖
本文内容：1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1．图灵生平阿兰.图灵（Alan Turing）1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准"图灵测试"，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。
在中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。
大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的，因为即使在50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。
在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。
他相信有一个算法可以解决大部分问题，而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的，而且又能顶用，还有一个难点是如何将复杂问题分解为这些指令的问题。
二战时，图灵在英国通信部工作，他运用他的专业技能破译德国密码，这在当时十分不容易，因为德国人开发出一种用于计算的机器称为Enigma，它能够定期将密码改变，让破译者根本摸不到头绪。
首届图灵奖颁发 优秀计算机科学研究(论文)
首届图灵奖颁发优秀计算机科学研究(论
文)
首届图灵奖颁发优秀计算机科学研究（论文）
一、简介
首届图灵奖是对在计算机科学领域做出杰出贡献的个人或团队的表彰，重点评选出优秀的计算机科学研究论文。
本文将介绍首届图灵奖的背景和目的，以及评选过程和结果。
二、背景
计算机科学作为现代科技领域的重要学科，发展迅速且影响广泛。
为了鼓励和表彰那些在计算机科学领域具有卓越成就和突出贡献的个人或团队，图灵奖应运而生。
首届图灵奖旨在通过评选优秀的计算机科学研究论文，推动学术研究的发展和进步。
三、目的
首届图灵奖的目的是鼓励和奖励那些在计算机科学领域做出重要贡献的个人和团队。
通过评选优秀的计算机科学研究论文，可以推动学术界的创新和知识的传播，促进计算机科学的发展和应用。
四、评选过程
首届图灵奖的评选过程分为以下几个步骤：
1.提名阶段：学术界可以提名符合条件的计算机科学研究论文。
2.评审阶段：评审专家组对提名的论文进行评审和筛选，选出
最具优秀贡献的论文。
3.决选阶段：最终评选出一篇或多篇获奖论文，并颁发首届图
灵奖。
五、评选结果
首届图灵奖的评选结果将公布在官方网站上，并在相关学术会
议或活动上进行颁奖典礼。
获奖论文将被认可为对计算机科学领域
的创新和进步做出重要贡献的典范。
六、结论
通过首届图灵奖的设立，可以激励和表彰那些在计算机科学领
域做出突出贡献的个人和团队，促进学术研究的进步和创新。
这对
于推动计算机科学的发展和应用具有重要意义，为推进科技进步作
出了积极贡献。
历届图灵奖获得者及获得原因
历届图灵奖获得者及获奖原因：图灵奖（Turing Award，又译杜林奖），是计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
2012 Shafi Goldwasser和Silvio Micali获奖原因：在密码科学复杂理论基础过程中做出变革性工作，并且发展了保证网上交易安全的黄金法则”。
2011 Judea Pearl获奖原因：通过概率论和因果推理对人工智能领域作出的根本性贡献2010Leslie Valiant 对众多计算理论所做的变革性的贡献获奖原因：表彰他在让计算机模拟人类思考和逻辑推理方面作出的突出贡献。
2009 Charles Thacker获奖原因：对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC 等方面的重大发明和贡献2008 Barbara Liskov 编程语言和系统设计的实践与理论获奖原因：第一个支持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的高级语言Argus，面向对象数据库系统Thor，还有最近的Byzantine分布式容错系统2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。
而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran Allen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur获奖原因：由于在设计Algol60程序设计语言上的贡献。
Algol60语言定义清晰，是许多现代程序设计语言的原型。
历届图灵奖获得者及获得原因
获奖原因：程序设计语言的定义与设计。
主要成就：快速排序算法、霍尔逻辑、交谈循序程式。
古典文明研究：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 A.M. Turing Award）图灵奖是计算机科学领域最高荣誉，被誉为“计算机界的诺贝尔奖”。
这个奖项是为了纪念英国数学家、逻辑学家和密码学家阿兰·图灵而设立的。
图灵是计算机科学的奠基人之一，他在计算理论和人工智能领域做出了许多开创性的贡献。
图灵奖每年由美国计算机学会（ACM）颁发，以表彰在计算机科学领域做出杰出贡献的个人或团队。
评选委员会综合考虑候选人在技术创新、学术影响力、社会影响力等方面的表现，以确保奖项的公正性和权威性。
二、诺贝尔奖（Nobel Prize）诺贝尔奖是世界上最重要的学术奖项之一，分为物理学奖、化学奖、生理学或医学奖、文学奖、和平奖以及经济学奖六个领域。
它们是根据瑞典著名发明家阿尔弗雷德·诺贝尔的遗愿而设立的，旨在奖励在这些领域做出杰出贡献的个人或团队。
诺贝尔奖的评选具有严格的程序和标准，由各个领域的专家组成的评委会进行评选。
候选人需要在相关领域有卓越的创新和发现，或者在和平领域做出了重大贡献。
获得诺贝尔奖可以极大地提升获奖者的学术声誉和社会地位，对于激励学术界的研究和创新具有重要作用。
三、菲尔兹奖（Fields Medal）菲尔兹奖是数学界的最高荣誉，由国际数学联合会（IMU）颁发。
与图灵奖类似，菲尔兹奖也是为了纪念一个数学家，即加拿大数学家查尔斯·菲尔兹。
这个奖项旨在鼓励和表彰35岁以下的杰出年轻数学家，以激励他们的进一步研究和创新。
菲尔兹奖评选过程非常严格，由国际数学联合会组成的评委会从全球范围内的候选人中进行评选。
评委会主要考虑候选人在数学研究和创新方面的杰出成就，以及对数学领域的潜在影响力。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
图灵奖（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）的主要发起人之一。
1967年获ACM图灵奖，图灵奖演讲题目是：Computers Then and Now(计算机的过去和现在)。
第三个：理查德·卫斯里·汉明（英语：Richard Wesley Hamming，1915年2月11日－1998年1月7日），美国数学家，主要贡献在计算机科学和电讯。
1937年芝加哥大学学士学位毕业，1939年内布拉斯加大学硕士学位毕业，1942年伊利诺伊大学香槟分校博士学位毕业。
1946至76年在贝尔实验室工作。
他曾和约翰·怀尔德·杜奇、克劳德·艾尔伍德·香农合作。
1956年他参与了IBM 650的编程语言发展工作。
1968年获得ACM图灵奖。
第四个：马文·闵斯基（Marvin Lee Minsky）出生于1927年，是一位美国人工智能领域的科学家，麻省理工学院人工智能实验室的创始人之一，著有几部人工智能和哲学方面的作品。
1950年于哈佛大学获得数学学士学位，1954年于普林斯顿大学获得数学博士学位。
自1958年起在麻省理工学院任教，现为东芝媒体艺术与科学教授、麻省理工学院电子工程与计算机科学教授。
1969年获得ACM图灵奖。
第五个：詹姆斯·哈迪·威尔金森，（James Hardy Wilkinson 1919年9月27日－1986年10月5日）是英国数学家和计算机学家，在数值分析领域具有杰出贡献。
数值分析是应用数学与计算机科学的交叉学科，特别在工程和物理学上具有显著的应用。
1940年，他开始研究弹道学，并与1946年进入英国最著名的学术机构之一英国国家物理实验室（NPL）的数学部，期间研制了电子计算机Pilot ACE。
在NPL，威尔金森一开始协助图灵设计计算机Pilot ACE。
图灵离开NPL后，他接手整个项目，使得Pilot ACE于1950年5月10日，第一次正式试运行成功。
1970年获得ACM图灵奖，图灵奖演讲题目是：Some Comments from a Numerical Analyst （一个数值分析家的若干意见）。
第六个：约翰·麦卡锡（John McCarthy，1927年9月4日－2011年10月24日[1][2]），生于美国马萨诸塞州波士顿，计算机科学家。
他于1948年获得加州理工学院数学学士学位，1951年获得普林斯顿大学数学博士学位。
分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后，麦卡锡于1962年-2000年底在斯坦福担任教授，退休后成为名誉教授。
麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》（Communications of the ACM）上。
他因在人工智能领域的贡献而在1971年获得图灵奖。
实际上，正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。
第七个：艾兹格·W·迪科斯彻（Edsger Wybe Dijkstra，1930年5月11日~2002年8月6日）荷兰人。
计算机科学家，毕业就职于荷兰Leiden大学，早年钻研物理及数学，而后转为计算学。
他是计算机先驱之一，他开发了程序设计的框架结构。
曾经提出“goto有害论”信号量和PV原语，解决了有趣的“哲学家聚餐”问题，提出了目前离散数学应用广泛的最短路径算法（Dijkstra's Shortest Path First Algorithm）。
曾在1972年获得过素有计算机科学界的诺贝尔奖之称的图灵奖，之后，他还获得过1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖、以及2002年ACM PODC最具影响力论文奖。
第八个：查尔斯·威廉·巴赫曼（Charles William Bachman，1924年11月11日－），是美国计算机科学家，因其在数据库领域的工作而闻名。
在密歇根州立大学获得机械工程的学士学位之后，1950年，又在宾夕法尼亚大学取得硕士学位。
巴赫曼的整个职业生涯基本上是在工业界里，而没有在学术界里作过研究或教职工作。
1973年，他因“数据库技术方面的杰出贡献”而被授予图灵奖，并做了题为“作为导航员的程序员（The Programmer as Navigator）”的演讲。
1977年因其数据库系统方面的开创性工作而被选为英国计算机学会的杰出研究员（Distinguished Fellow）。
他也被列入数据库名人堂。
第九个：高德纳（Donald Ervin Knuth，1938年1月10日－），出生于密尔沃基，美国著名计算机科学家，斯坦福大学计算机系荣誉退休教授。
高德纳教授被誉为现代计算机科学的鼻祖，在计算机科学及数学领域发表了多部具广泛影响的论文和著作。
高德纳最为人知的事迹是，他是《计算机程序设计艺术》（The Art of Computer Programming）的作者。
此书是计算机科学界最受高度敬重的参考书籍之一。
他创造了算法分析的领域，在数个理论计算机科学的分支做出基石一般的贡献，此外还是排版软件TeX 和字体设计系统Metafont的发明人。
1974年获得ACM图灵奖。
第十个（有两人）：赫伯特·西蒙（Herbert Alexander Simon1916- 2001），经济组织决策管理大师，第十届诺贝尔经济学奖获奖者。
1978年瑞典皇家科学院贺辞说，其科学成就远超过他所教的任何一门学科——政治学、管理学、心理学和信息科学。
他的研究成果涉及科学理论、应用数学、统计学、运筹学、经济学和企业管理等方面，在所有的这些领域中西蒙都发挥了重要的作用。
他是现代一些重要学术领域的创建人之一，如人工智能、信息处理、决策制定、解决问题、注意力经济、组织行为学、复杂系统等。
他创造了术语有限理性（Bounded rationality）和满意度（satisficing），也是第一个分析复杂性架构（architecture of complexity）的人。
西蒙自幼熟读经济学家理查德·伊利的经济学书籍，于1933年进入芝加哥大学，师从挪威经济学家特里夫·哈维默与荷兰经济学家特亚林·科普曼斯，1943年获得芝加哥大学政治科学博士，1949年被聘为卡内基梅隆大学的教授。
1975年获得ACM图灵奖。
艾伦·纽厄尔（Allen Newell，1927年3月19日－1992年7月19日）是计算机科学和认知信息学领域的科学家，曾在兰德公司，卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。
他是信息处理语言（IPL）发明者之一，并写了该语言最早的两个AI 程序，合作开发了逻辑理论家（Logic Theorist 1956年）和通用问题求解器General Problem Solver。
1975年他和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。
第十一个（有两人）：迈克尔·O·拉宾（Michael Oser Rabin，1931年9月1日－）是一名以色列计算机科学家，1953年，他获得希伯来大学的理学硕士，1956年获普林斯顿大学博士学位。
1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（Finite Automata and Their Decision Problems）的论文，提出了非确定自动机的观点。
他们也因此获得了1976年的图灵奖，并做“计算机复杂性”（Complexity of Computations）的演讲。
达纳·斯图尔特·斯科特（Dana Stewart Scott 1932年10月11日－）美国科学家，研究领域涉及计算机科学、数学和哲学，斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆索·邱奇，1958年取得博士学位。
1976年图灵奖得主。
第十二个：约翰·华纳·巴克斯（英语：John Warner Backus，1924年12月3日－2007年3月17日），美国计算机科学家，是早期高阶语言（High-level Language）FORTRAN的发明小组组长。
他提出了BNF（用来定义形式语言语法的记号法），发明Function-level programming这个概念及实践该概念的FP语言。
被誉为“Fortran 语言之父”。