历届图灵奖获奖者

历届图灵奖获奖者

查尔斯·萨克尔查尔斯·萨克尔（CharlesP.Thacker，1943年2月26日－2017年6月12日），美国计算机科学家，美国工程院院士，美国艺术与科学院院士，计算机协会会士，微软技术院士。因设计与实现了第一台现代个人电脑XeroxAlto而荣获2009年图灵奖。2017年6月12日在美国加州帕洛阿尔托市逝世，享年74岁个人履历CharlesP.Thacker（昵称Chuck）是计算机先驱之一。美国工程院院士，美国艺术与科学院院士，ACM会士。在微软工作，是微软全球十几位技术院士之一。除了是一位出色的计算机系统设计师之外，他也是杰出的研发管理者。1943年2月26日，他出生于美国加州帕萨迪纳。1968年在加州大学伯克利分校物理系读书时，他加入了Genie项目。这个项目不久发展为伯克利计算机公司（简称BCC），开发了BCC500分时系统。Thacker领导了中心存储器和微处理器的设计。但公司商业上并不成功。罗宾·米尔纳罗宾·米尔纳（RobinMilner），英国计算机科学家。生于1934年1月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算（concurrentcomputing）和并行计算（parallelcomputing）。1958年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。回到学术界，先后在City大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的"罗宾·米尔纳讲座"，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验室主任，现为剑桥大学计算机实验室教授。帕特里克·汉拉汗PatrickM.Hanrahan，皮克斯动画工作室创始员工、斯坦福大学计算机图形学实验室教授。2020年3月18日，国际计算机协会宣布，PatrickM.Hanrahan和EdwinE.Catmull为2019年图灵奖获得者。在加入皮克斯之前，曾在NYIT的计算机图形学实验室短暂工作过。皮克斯动画工作室创始员工、斯坦福大学计算机图形学实验室教授。2020年3月18日，国际计算机协会宣布，PatrickM.Hanrahan和EdwinE.Catmull为2019年图灵奖获得者，以表彰他们对3D计算机图形学的贡献，以及这些技术对电影制作和计算机生成图像等应用的革命性影响。约翰·科克约翰·科克是从机械到数学、又从数学转到计算机方向上来的学者。他生于1925年，1946年在杜克大学(DukeUniversity)获得机械工程学士学位，干了几年实际工作以后，又回到母校读研究生，于1956年取得数学博士学位。之后，他进入IBM，从此开始了他的计算机生涯并为IBM计算机市场的开拓和计算机科学技术的发展，尤其是RISC架构和编译器优化，做出了巨大的贡献。约翰·科克生于1925年，1946年在杜克大学(DukeUniversity)获得机械工程学士学位，干了几年实际工作以后，又回到母校读研究生，于1956年取得数学博士学位。之后，他进入IBM，从此开始了他的计算机生涯并为IBM计算机市场的开拓和计算机科学技术的发展做出了巨大的贡献。由于学过机械和数学，基础扎实、知识面广，加上科克兴趣广泛，善于动脑，他在IBM许多产品的设计开发和技术问题的解决中都起过至关重要的作用，有众多的发明创造。在沃特森研究中心，在很长一段时间里，每当人们有疑难问题需要解决的时候，自然就会说：“找约翰讨论去”。大卫·帕特森大卫·帕特森（DavidPatterson），1947年11月16日出生于美国伊利诺伊州，2017年图灵奖得主，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院士，ACMFellow，IEEEFellow，美国科学促进会会士。大卫·帕特森于1969年获得加州大学洛杉矶分校数学专业学士学位；1970年获得加州大学洛杉矶分校计算机科学专业硕士学位；1976年获得加州大学洛杉矶分校计算机科学专业博士学位；1977年受聘为加州大学伯克利分校助理教授；1990年当选为IEEEFellow；1993年当选为美国国家工程院院士；1994年当选为ACMFellow；2006年当选为美国国家科学院院士和美国艺术与科学院院士；2007年当选为美国科学促进会会士；2016年受聘为谷歌杰出工程师；2017年获得ACM图灵奖。大卫·帕特森致力于计算机体系结构与工程、计算机体系结构与系统：性能、安全、RISC-V操作系统和络方面的研究。1947年11月16日，大卫·帕特森出生于美国伊利诺伊州。约翰·轩尼诗约翰·轩尼诗（JohnLeRoyHennessy），1952年9月22日出生于纽约亨廷顿，2017年图灵奖得主，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院士，ACMFellow，IEEEFellow，Atheros公司、MIPS公司联合创始人，斯坦福大学第十任校长。约翰·轩尼诗于1973年获得维拉诺瓦大学电气工程学学士学位；1975年获得纽约州立大学石溪分校计算机科学硕士学位；1977年获得纽约州立大学石溪分校计算机科学博士学位，同年受聘为斯坦福大学电气工程系助理教授；1983年晋升为斯坦福大学电气工程系副教授；1986年受聘为威拉德和伊内兹·克尔·贝尔电气工程和计算机科学教授；1992年当选为美国国家工程院院士；1992年至1998年担任硅图形计算机系统公司首席架构师；1995年当选为美国艺术与科学院院士；1996年至1999年担任斯坦福大学电子工程系主任；1999年至2000年担任斯坦福大学教务长；2000年至2016年担任斯坦福大学校长；2002年当选为美国国家科学院院士；2016年被任命为斯坦福大学奈特-轩尼诗学者项目主任；2017年获得图灵奖。约翰·霍普克罗夫特约翰·霍普克罗夫特（JohnEdwardHopcroft），1939年10月7日出生于美国西雅图，计算机科学家，中国科学院外籍院士，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院士，美国康奈尔大学教授，北京大学前沿计算研究中心主任。约翰·霍普克罗夫特于1961年获得西雅图大学电子工程学士学位；1962年获得斯坦福大学电子工程硕士学位；1964年获得斯坦福大学电子工程博士学位；1987年当选为美国艺术与科学院院士；1989年当选为美国国家工程院院士；1994年—2001年任康奈尔大学工程学院院长；2009年当选为美国国家科学院院士；2017年当选为中国科学院外籍院士。约翰·霍普克罗夫特主要从事理论计算机科学领域的研究。青年约翰·霍普克罗夫特1939年10月7日，约翰·霍普克罗夫特（JohnEdwardHopcroft）出生于美国西雅图。1961年，获得西雅图大学电子工程学士学位。艾伦·凯艾伦·凯（1940年5月17日—），英文原名AlanCurtisKay，美国计算机科学家，在面向对象编程和窗口式图形用户界面方面作出了先驱性贡献。2003年获得图灵奖。担任Viewpoints研究院院长，加州大学伯克利分校兼职教授。曾任Apple公司院士，惠普公司资深院士。艾伦·凯在1940年，艾伦·凯出生于麻省的Sprinfield。童年在澳大利亚度过。二次大战时，回到美国，住在麻省海德莱城外的约翰逊农舍。母亲是音乐家。1949年举家迁往长岛，1961年在丹佛讲解吉他课程。1968年秋，与SeymourPapert认识，开始学习Logo语言。为了发展Dynabook,艾伦甚至发明了Smalltalk编程语言，Samlltalk吸取了Simula的class的概念，并发展出图形使用者接口（GUI），即是苹果麦金塔电脑的原型。1970年，鲍勃·泰勒成立PARC研究中心，艾伦·凯成为第一个雇员，他建立学习研究工作组（LRC），并参与Alto计算机的开发。1972年，PARC发布了Smalltalk的第一个版本。1979年，凯邀请乔布斯、JeffRaskin来到PARC参观，乔布斯对视窗图形用户界面印象深刻。1983年，凯离开全录，担任Atari公司首席科学家兼副总裁。杰弗里·辛顿杰弗里·辛顿（GeoffreyHinton），1947年12月6日出生于英国温布尔登，2018年图灵奖得主，英国皇家学会院士，加拿大皇家学会院士，美国国家科学院外籍院士，多伦多大学名誉教授。杰弗里·辛顿于1970年获得剑桥大学实验心理学学士学位；1976年受聘为苏塞克斯大学认知科学研究项目研究员；1978年获得爱丁堡大学人工智能学博士学位。1978年至1980年担任加州大学圣地亚哥分校认知科学系访问学者；1980年至1982年担任英国剑桥MRC应用心理学部科学管理人员；1982年至1987年历任卡内基梅隆大学计算机科学系助理教授、副教授；1987年受聘为多伦多大学计算机科学系教授；1996年当选为加拿大皇家学会院士；1998年当选为英国皇家学会院士；1998年至2001年担任伦敦大学学院盖茨比计算神经科学部创始主任；2001年至2014年担任多伦多大学计算机科学系教授；2016年至2023年担任谷歌副总裁兼工程研究员；2023年从谷歌辞职。阿迪·萨莫尔阿迪·萨莫尔（AdiShamir），2002年图灵奖获得者、以色列魏兹曼科学研究所教授、美国外籍科学院院士、现代密码学奠基人之一。AdiShamir早年在以色列魏茨曼科学研究所获得硕士、博士学位，1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文章，获得了多项奖励，如美国计算机学院Kannelakis奖、以色列数学协会Erdos奖、IEEEW.r奖、UAP科学奖、梵蒂冈PUISXI金奖以及IEEEKojiKobayashi计算机与通信奖等等。阿迪·萨莫尔阿迪·萨莫尔（AdiShamir）教授是当前著名的密码学专家，AdiShamir早年在以色列魏茨曼科学研究所获得硕士、博士学位，1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文章，获得了多项奖励，如美国计算机学院Kannelakis奖、以色列数学协会Erdos奖、IEEEW.r奖、UAP科学奖、梵蒂冈PUISXI金奖以及IEEEKojiKobayashi计算机与通信奖等等。杰弗里·戴维·乌尔曼杰弗里·戴维·乌尔曼（JeffreyDavidUllman），2020年图灵奖得主，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院士。杰弗里·戴维·乌尔曼于1963年获得哥伦比亚大学工程数学学士学位；1966年获得普林斯顿大学电气工程学博士学位；1966年至1969年任职于贝尔实验室；1969年受聘为普林斯顿大学副教授；1974年晋升为普林斯顿大学教授；1979年受聘为斯坦福大学教授；1989年当选为美国国家工程院院士；1990年至1994年担任斯坦福大学计算机科学系主任；1994年当选为ACMFellow；1994年至2002年，担任斯坦福大学W.Ascherman工程学教授；2003年以斯坦福大学名誉教授身份退休；2012年当选为美国艺术与科学院院士；2020年当选为美国国家科学院院士。杰弗里·戴维·乌尔曼致力于数据库理论、信息集成、算法优化、编译器等方面的研究。1942年11月22日，杰弗里·戴维·乌尔曼出生于纽约市。罗纳德·李维斯特罗纳德·李维斯特（RonaldL.Rivest）生于1947年，美国国家工程院院士，美国国家科学院院士，美国计算机协会院士，国际密码研究学会院士，美国艺术与科学院院士，现任麻省理工学院（MIT）电子和计算机科学系Viterbi讲座教授。他是MIT计算机和人工智能实验室的成员，并领导着其中的信息安全和隐私中心。1977年从斯坦福大学获得计算机博士学位。主要从事密码安全、计算机安全算法的研究，他发明了RSA加密算法，这个算法在信息安全中获得最大的突破，这一成果也使他在2002年得到图灵奖。他担任国家密码学会的负责人。罗纳德·李维斯特李维斯特教授1969年从耶鲁大学获得数学学士学位，1974年从斯坦福大学获得计算机博士学位。李维斯特主要从事密码学、计算机和络安全和算法的研究。他和AdiShamir和LenAdleman一起发明了RSA公钥算法，也是RSA数据安全公司的联合创始人。并且和Shamir、Adleman分享了2002年度美国计算机协会（ACM）颁发的图灵奖。他在密码设计和密码分析方面有极其丰富的经验，担任国际密码研究协会的负责人。艾伦·爱默生艾伦·爱默生（ErnestAllenEmerson），是EdmundClarke在哈佛大学的博士生。因其突出的在应用数学方面的突出成绩而获得图灵奖.个人经历艾伦·爱默生著名的“模型检测”的论文就是Emerson与导师Clarke合作的。Emerson是从德州奥斯丁分校获得的其数学本科学位，并从哈佛大学应用数学系获得其博士学位。Emerson是得克萨斯大学奥斯汀分校教授，曾任ACMTransactionsonComputationalLogic,FormalAspectsofComputing,和FormalMethodsinSystemsDesign等杂志的编委。他拥有得克萨斯大学奥斯汀分校数学学士和硕士学位，哈佛大学应用数学学位。他的主页透露，自己之所以走上形式化验证的道路，是受了1970年代中期图灵奖得主TonyHoare的一篇CACM论文"ProofofProgram:Find"的启发。他位列CiteSeer引用次数最多的前1%计算机科学家。图片暂时无法显示，请下载后尝试伊凡·爱德华·苏泽兰1988年的图灵奖授予当时在SunMicrosystem公司任高级研究员、有“计算机图形学之父”誉称的伊万·萨瑟兰(IvanEdwardSutherland)。萨瑟兰1938年5月16日生于内布拉斯加州的中西部小城市黑斯廷斯(Hastings)。20世纪50年代萨瑟兰上中学时，计算机刚问世不久，是一种神秘而又令人向往的机器，吸引了许多年轻人的视线，萨瑟兰就是其中之一。他用很大的热情自己动手设计与装配过一些用继电器工作的计算装置，这些装置虽然简单而幼稚，却使萨瑟兰积累了一些最基本的计算机经验。伊万·萨瑟兰1959年，萨瑟兰在卡内基—梅隆大学获得电气工程学土学位，第二年又在加州理工学院获得硕士学位。这两所大学在电气工程/计算机方面都有很高的水平，有一批知名的教授、学者。萨瑟兰在那里打下了很好的专业基础，而且，一到假期，他就到IBM公司去打工，积累了相当的实践经验。图片暂时无法显示，请下载后尝试法兰西斯·艾伦法兰西斯·艾伦（FrancesE.Allen，1932年8月4日-2020年8月4日）是一位计算机科学家，作为一名编译器优化领域的先驱，她的成就主要包括编译器的基本原理、代码优化和并行编译等。1954年，法兰西斯·伊丽莎白·艾伦（FrancesE.Allen）毕业于美国纽约州立大学奥尔巴尼分校，并获得学士学位。她在1980年代早期创立了并行翻译（ParallelTRANslation，PTRAN）研究组，致力于研究并行计算机的编译问题。该小组的工作在编译器的并行化方面处于世界领先的位置。她在这些项目中的工作促成了许多目前广泛应用于商业编译器中的程序优化算法和技术。艾伦在IBM业界有广泛影响，并于1989年成为第一位女性IBMFellow。她也是IBM技术研究院（IBMAcademyofTechnology）的主席。1997年，艾伦被选入WITI名人堂。2002年，艾伦从IBM退休。温顿·瑟夫温顿·瑟夫，又译作温特·瑟夫（VintCerf），TCP/IP协议的发明者，现为Google副总裁兼首席互联顾问。许多人把文顿·瑟夫看作“互联之父”之一，他是TCP/IP协议和互联架构的联合设计者之一。在1994年加入MCI之前，文顿·瑟夫曾担任国家研究计划(CNRI)公司的副总裁。1994年12月，《人物》杂志将文顿·瑟夫选为当年“25个最令人着迷的人”之一。联合国数字合作高级别小组成员。2020年3月30日，温特·瑟夫在推特透露自己新型冠状病毒检测呈阳性，确诊为新冠肺炎。温顿·瑟夫1965年，获斯坦福大学计算机科学学士学位1970年，获加利福尼亚大学洛杉矶分校计算机科学硕士学位1972年，获加利福尼亚大学洛杉矶分校计算机科学博士学位2005年－至今，Google副总裁兼首席互联顾问1994年－2005，MCI负责架构和技术的资深副总裁阿米尔·伯努利阿米尔·伯努利（AmirPnueli），出生于1941年4月22日于Nahalal，以色列。AmirPnueli年青时代从以色列Technion-IsraelInstituteofTechnology技术学院获得其数学学士学位，从以色列WeizmannInstituteofScience获得其应用数学博士学位。Pnueli的博士论文工作是关于CacluationofTidesintheOcean。阿米尔·伯努利阿米尔·伯努利（AmirPnueli）ACM会士，1941年4月22日出生于以色列。在斯坦福大学和IBMWaston研究中心从事博士后的研究工作其间，Pnueli将研究工作方向转移到计算机科学领域。1999年，Pnueli加入美国纽约大学计算机科学系并出任教授。1996年授予AmirPnueli图灵奖，以表彰其在计算机科学中引入时序逻辑的开创性的研究工作，和其在编程语言和系统验证方面的突出贡献。埃德加·科德埃德加·科德，1923年8月23日出生于英格兰多塞特郡的波特兰，计算机科学博士。.埃德加·弗兰克·科德，在牛津的埃克塞特学院研习数学与化学后,他作为一名英国皇家空军的飞行员参加了第二次世界大战。1948年，他来到纽约，加入了IBM公司，成为一名数学程序员。1953年，出于对参议员约瑟夫·麦卡锡的不满,他迁往加拿大渥太华居住了十年.之后他回到密歇根大学并取得了计算机科学博士学位。两年后，科德去往IBM公司位于圣何塞的阿尔马登研究中心工作。1981年,科德因在关系型数据库方面的贡献获得了图灵奖.2003年4月18日,科德因心脏病在佛罗里达威廉姆斯岛的家中去世,享年79岁.埃德加·弗兰克·科德（英文:EdgarFrank"Ted"Codd）（1923年8月23日－2003年4月18日）是一位英国计算机科学家。他为关系型数据库理论做出了奠基性的贡献。图片暂时无法显示，请下载后尝试莎菲·戈德瓦塞尔莎菲·戈德瓦塞尔（ShafriraGoldwasser，1958年—），麻省理工学院电子工程和计算机科学教授、以色列魏茨曼科学研究学院（Weizmann）数学科学教授，美国工程院院士。1984年，获得加利福尼亚大学伯克利分校计算机博士。2012年，她和希尔维奥·米卡利（SilvioMicali）因其密码学的杰出工作获得计算机界最高奖图灵奖（TuringAward）。2021年3月，获得第23届世界杰出女科学家成就奖。。1979年，获得美国卡耐基梅隆大学数学本科学位。1984年，获得加利福尼亚大学伯克利分校计算机博士。2012年，她和伯克利校友、麻省理工学院同事希尔维奥·米卡利（SilvioMicali）因其密码学的杰出工作获得计算机界最高奖图灵奖2021年3月，获得第23届世界杰出女科学家成就奖。罗伯特·梅特卡夫罗伯特·梅特卡夫（RobertMetcalfe，1946年-），出生于纽约布鲁克林。美国科技先驱，发明了以太，成立3Com。在1973年，Metcalfe在XeroxPARC工作时，他发明了以太，一个可以在短矩离使得电脑可以互相连通的标准。在1979年，Metcalfe离开PARC，成立3Com，一家电脑络设备的制造商。在1980年，以发展局域路，特别是以太，的贡献，他得到由AssociationforComputingMachineary所颁发的GraceMurrayHopper奖。在1990年，Metcalfe从3Com退休并且开始一段为期10年的的发行者和络权威者的生涯，为InfoWorld撰写络专栏。他于2001年成为资本投资家，是PolarisVenturePartners的一员。HeisadirectorofPopTech,anexecutivetechnologyconferencehecofoundedin1997.他以两个学士学位毕业于麻省理工学院，一个是电机工程学位，另一个麻省理工学院史隆商学院的工业管理学位。他在哈佛大学以一篇有关于封包交换的论文取得博士学位。那篇论文实际上是他在MIT为一个名为MAC的计划工作时写好的。tarjanRobertTarjan，计算机科学家，以LCA、强连通分量等算法闻名。他拥有丰富的商业工作经验，1985年开始任教于普林斯顿大学。RobertTarjan他还在多所大学担任学术职务，如：康奈尔大学（1972-1973年），加州大学伯克利分校（1973-1975），斯坦福大学（1974-1980），纽约大学（1981-1985）。他也加入过NEC研究所（1989-1997），并在美国麻省理工学院（1996年）担任VisitingScientist。Tarjan：他曾在AT&T贝尔实验室（1980-1989），浩信科技（1997-2001），康柏（2002年）和惠普（2006年至今）工作。他曾加入ACM和IEEE委员会，并曾为几家期刊的编辑。RobertTarjan出生在波莫纳，加利福尼亚州。他的父亲是一个专业儿童精神科医生，以前在国家医院任职。还是孩子的RobertTarjan就阅读了大量的科学小说，从此对天文学产生兴趣，并梦想成为一名天文学家。他在ScientificAmerican杂志上看完MartinGardner的数学游戏后又对数学产生了兴趣。他的一位中学老师发现了他对数学的兴趣，从八年级就开始培育他的数学能力。之后Robert开始深入研究数学。杨立昆杨立昆（YannLeCun），于1960年出生于法国巴黎附近，担任Facebook首席人工智能科学家和纽约大学教授，2018年图灵奖（TuringAward）得主。2021年8月1日，出版图书《科学之路：人，机器与未来》。YannLeCun于1960年出生于法国巴黎附近，于1983年获得法国高等电子与电工技术工程师学校（ESIEEParis)的学士学位，以及PierreetMarieCurie大学的计算机科学博士学位。1987年至1988年，YannLeCun是多伦多大学GeoffreyHinton实验室的博士后研究员。2013年，YannLeCun与YoshuaBengio共同创办了学习代表国际会议（InternationalConferenceonLearningRepresentations），该会议通过了出版后公开审查程序。担任Facebook首席人工智能科学家和纽约大学教授。罗杰·瑞迪罗杰·瑞迪（RajReddy），1937年6月出生于印度安得拉邦，美国国籍，美国国家工程院院士，美国艺术与科学院院士，中国工程院外籍院士，印度国家科学院外籍院士，印度国家工程院外籍院士，卡内基梅隆大学计算机科学学院计算机科学与机器人专业MozahBintNasser讲座教授。罗杰·瑞迪于1958年获得印度马德拉斯大学学士学位；1960年获得澳大利亚新南威尔士大学工程硕士学位；1966年获得斯坦福大学计算机科学博士学位；1966年—1969年任斯坦福大学计算机科学助理教授；1969年任卡内基梅隆大学计算机科学副教授；1973年晋升为正教授；1979年—1991年任卡内基梅隆大学机器人研究所所长；1984年成为讲座教授，同年当选为美国国家工程院院士；1991年—1999年担任卡内基梅隆大学计算机科学学院院长；2009年当选为中国工程院外籍院士。罗杰·瑞迪的研究兴趣包括人机交互研究与人工智能。1937年6月，罗杰·瑞迪出生于印度中南部安得拉邦。约舒亚·本希奥约舒亚·本希奥，加拿大蒙特利尔大学教授。2019年3月，因在人工智能深度学习方面的贡献获得2018年度图灵奖。罗伯特·卡恩罗伯特·卡恩（RobertElliotKahn，1938年12月23日－），常称鲍勃·卡恩（BobKahn），美国计算机科学家。发明了TCP协议，并与温顿·瑟夫一起发明了IP协议；这两个协议成为全世界因特传输资料所用的最重要的技术。他也被称作“互联之父”。罗伯特·卡恩1960年在纽约城市大学获得电机工程学士学位，1962和1964年在普林斯顿大学获得硕士和博士学位。毕业在贝尔实验室工作后在美国麻省理工学院做助教。接下来bbn（贝拉尼克和纽曼公司）工作，并在那里帮助建立了早期的工业管理程序。罗伯特·卡恩,现代全球互联发展史上最著名的科学家之一，TCP/IP协议合作发明者，互联雏形Arpanet络系统设计者，“信息高速公路”概念创立人。美国国家工程协会(NationalAcademyofEngineering)成员，美国电气与电子工程师IEEE学会(IEEE)fellow，美国人工智能协会(AmericanAssociationforArtificialIntelligence)fellow，美国计算机协会(ACM)fellow，前美国总统科技顾问。奥利-约翰·达尔奥利-约翰·达尔（英语：Ole-JohanDahl，1931年10月12日－2002年1月29日），生于挪威曼达尔，著名计算机科学家。他与克里斯汀·尼加德（KristenNygaard）一起通过设计编程语言SimulaI和Simula67，产生了面向对象编程出现至关重要的想法。他被认为是“面向对象编程”之父。奥利-约翰·达尔与克利斯登·奈加特共同创造了Simula，被认为是面向对象之父。因此贡献，他与克利斯登·奈加特共同获得2001年图灵奖与2002年约翰·冯诺依曼奖。面向对象编程是这个时代的主要编程范式。这个范式出现的基础是核心概念，如对象、类和具有虚拟量的继承，所有这些都清楚地建立在OleJohanDahl和KristenNygaard的离散事件模拟语言SimulaI和一般编程语言Simula67中。这些对象将数据、过程和协作操作序列方面集成到一个非常通用且功能强大的统一实体中。彼得·诺尔彼得·诺尔（英语：PeterNaur，1928年10月25日－），生于丹麦腓特烈斯贝，计算机科学家。他开发了BNF范式，改进了编程语言。他也投入了ALGOL60的开发工作。曾任哥本哈根大学教授，为2005年图灵奖得主，也是唯一一位丹麦籍的得主。1957年取得天文学博士学位。他将巴科斯范式导入ALGOL60中，并进一步发展它。诺尔1928年生于丹麦首都哥本哈根近郊的弗雷德里克斯伯格(Frederiksberg)，1949年在哥本哈根大学取得天文学硕士学位。1950～1951年，他在英国剑桥大学进修期间，用过由威尔克斯主持研制的世界上第一台存储程序式数字计算机EDSAC，学到了不少有关计算机和在计算机上编程的知识。但他的主要兴趣仍在天文学方面。1952—1953年他在芝加哥大学的Yerkes天文台和McDonald天文台当助理研究员期间，由于天文学研究中有大量计算，曾到IBM公司的沃森研究中心进修，这使他获得了更多的计算机知识。肯尼斯·蓝·汤普森肯尼斯·蓝·汤普森（英语：KennethLaneThompson，1943年2月4日－），小名为肯·汤普森（英语：KenThompson），生于美国新奥尔良。为美国计算机科学学者与软件工程师，任职于贝尔实验室Entrisphere,IncGoogleInc。与丹尼斯·里奇同为1983年图灵奖得主。他与丹尼斯·里奇设计了B语言、C语言，创建了Unix和Plan9操作系统，编程语言Go的共同作者。发展正规表示法，写作了早期的电脑文字编辑器QED与ed，定义UTF-8编码，以及发展电脑象棋。肯尼斯·蓝·汤普森与丹尼斯·里奇设计了C语言，他也是编程语言Go的共同作者。肯·汤普逊（左）与丹尼斯·里奇1943年汤普森出生于美国新奥尔良。1960年就读加州大学伯克利分校主修电气工程，取得了电子工程硕士的学位。1966年加入了贝尔实验室。汤普森参与了贝尔实验室与麻省理工学院以及通用电气公司联合开发的一套多使用者分时作业系统，名叫Multics，同时他自己又写的一个“startravel”游戏可执行于Multics之上。贝尔实验室后来撤出Multics计划。史提芬·古克史提芬·A·古克(StephenA.Cook)是计算机科学家，计算复杂性理论的重要研究者。古克现为多伦多大学的计算机科学和数学部门教授。1971年，在他的论文TheComplexityofTheoremProvingProcedures，他整理了NP完备性的目标，亦产生了古克定理——布尔可满足性问题是NP完备的证明。1982年，古克得到图灵奖。因为其论文开启了NP完备性的研究，令这个范畴于之后的十年成为计算机科学中最活跃和重要的研究。加拿大多伦多大学教授斯蒂芬·库克(StephenArthurCook)因在计算复杂性理论方面的贡献，尤其是在奠定NP完全性理论基础上的突出贡献而荣获1982年度的图灵奖。史提芬·古克是美国科学家，1939年12月14日生于纽约州的布法罗(Buffalo)，他的父亲是一名化学家，在著名的联合碳化物公司工作，同时在布法罗大学任教，有一份不错的收入。道格拉斯·恩格尔巴特道格拉斯·恩格尔巴特（lbart，1925年1月30日－2013年7月2日），美国发明家，瑞典人和挪威人后裔。恩格尔巴特在斯坦福研究院（StanfordResearchInstitute），也就是今天的斯坦福国际咨询研究所（SRIInternational）任职期间，共获得了21项专利发明。最著名的就是鼠标的专利。另外他的小组是人机交互的先锋，开发了超文本系统、络计算机，以及图形用户界面的先驱；并致力于倡导运用计算机和络，来协同解决世界上日益增长的紧急而又复杂的问题。他被冠为“鼠标之父”。恩格尔巴特1925年1月30日生于美国俄勒冈州的波特兰，是广播维修与销售从业者卡尔·恩格尔巴特（CarlEngelbart）的第二个孩子。在攻读了2年大学之后，恩格尔巴特1944年至1946年曾在美国海军服役。1948年在俄勒冈州立大学取得学士学位，1956年在加州大学伯克利分校取得电气工程/计算机博士学位。完成学业以后，恩格尔巴特进入著名的斯坦福研究院。在斯坦福研究院期间，恩格尔巴特积极推动和参与了美国国防部的阿帕计划。伦纳德·阿德曼伦纳德·阿德曼（LeonardM.Adleman），美国南加州大学计算机教授，2002年图灵奖得主。伦纳德出生于1945年12月31日于美国加州旧金山，分别于1968年和1976年从加州大学伯克利分校（UCBerkeley）获得数学学士学位和计算机/电机工程（EECS）博士学位。伦纳德除了在RSA算法上的卓越贡献而获得图灵奖之外，1994年，他还发表了其著名的DNA计算的研究文章“MolecularComputationofSolutionsToCombinatorialProblems”。在该篇文章中，伦纳德通过DNA序列的方法来解决著名的NP完全性问题HamiltonGraph。LeonardAdleman年轻时想当化学家、医生，研究过物理，后来作了银行程序员，在加州大学Berkeley分校获得计算机博士学位，再后到MITRivest和Shamir麾下扮演兰军，作密码破译高手，“碰巧"成为RSA公钥密码体制的发明人之一。他是计算机病毒的"教父"（他的博士生Cohen是计算机病毒的发明人），DNA计算的创始人，爱滋病免疫学大师级专家，在数学、计算机科学、分子生物学、爱滋病研究等每一个方面作出的卓越贡献都是大师级成果。费尔南多·何塞·科尔巴托费尔南多·何塞·科尔巴托（1926年7月1日—2019年7月12日），西班牙移民的后裔，生于美国加州奥克兰，计算机系统专家、麻省理工学院博士，麻省理工学院名誉退休教授，计算机密码发明人。曾获得1990年度图灵奖。2019年7月12日，费尔南多·何塞·科尔巴托在马萨诸塞州牛顿的家中去世，享年93岁。费尔南多·考巴脱(4张)1926年7月1日，费尔南多·何塞·科尔巴托出生于加利福尼亚州的奥克兰。父亲是西班牙比利亚雷亚尔人，一位西班牙文学教授。1930年，老科尔巴托受聘于加州大学洛杉矶分校，于是，全家搬到了南方。1943年，科尔巴托在入读加州大学洛杉矶分校。彼时，第二次世界大战已经爆发，大一刚开学七个月后，他应征加入海军，接受电子技工培训。克利斯登·奈加特克利斯登·奈加特（KristenNygaard，1926年8月27日—2002年8月10日），出生于挪威奥斯陆，是著名的计算机科学家，社会活动家。1948年大学毕业后，他进入挪威国防研究院NDRE，从事有关计算、程序设计和运筹学方面的工作。经过不断的努力，他成为SIMULA-67语言的创始人，面向对象技术的先驱，曾获得冯·诺依曼奖和第36届图灵奖。此外，他还一直活跃于挪威政坛，并曾任威左翼非社会主义政党Venstre的执行委员会成员，该党战略委员会主席。他一生获得无数荣誉，深受挪威人民爱戴。克利斯登·奈加特克利斯登·奈加特1926年生于挪威的奥斯陆，1956年于奥斯陆大学获得数学硕士学位，论文是《蒙特卡罗方法的理论方面》。克利斯登·奈加特1948年—1960年间克利斯登·奈加特全职工作于挪威防务科学研究中心（NorwegianDefenseResearchEstablishment），进行计算、编程（1948年—1954年）和运筹学（1952年—1960年）方面的研究。威廉·卡亨严密、严谨、严格、追求更进一步是威廉·凯亨的一贯作风，也是他留给英特尔在不断研发新的计算机浮点运算技术道路上的一笔精神财富威廉·凯亨，也译为威廉·卡亨（WilliamMortonKahan）1933年6月5日出生，凯亨生于多伦多。完成中学学业以后，凯亨进入著名的多伦多大学。在那里，他实现了“三级跳”——继1954年取得数学学士学位以后，1956年和1958年又先后获得硕士学位和博士学位。卡亨1933年6月5日生于多伦多。完成中学学业以后，卡亨进入著名的多伦多大学。在那里，他实现了“三级跳”——继1954年获得数学学士学位以后，1956年和1958年又先后获得硕士学位和博士学位。学成以后，卡亨既在大学从事过教学和科研，又在一些著名的计算机整机厂和元器件厂从事过重要的技术工作和产品开发工作。阿尔佛雷德·艾侯阿尔佛雷德·艾侯（AlfredAho），2020年图灵奖得主之一，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院士，加拿大皇家学会院士，ACMFellow，IEEEFellow。阿尔佛雷德·艾侯于1963年获得多伦多大学学士学位；1967年获得普林斯顿大学博士学位后在贝尔实验室工作；1980年被任命为贝尔实验室计算原理研究部负责人；1987年至1991年担任贝尔实验室计算科学研究中心主任；1997年成为贝尔实验室通信科学研究副总裁；1999年当选为美国国家工程院院士；2003年当选为美国艺术与科学院院士；2013年当选为加拿大皇家学会院士；2020年获得ACM图灵奖；2022年当选为美国国家科学院院士。阿尔佛雷德·艾侯致力于算法和数据结构、编程语言、编译器和计算机科学基础方面的研究。1941年，阿尔佛雷德·艾侯出生。1963年，获得多伦多大学工程物理学学士学位。爱德蒙·克拉克爱德蒙·克拉克（EdmundClarke，1945年7月27日-2020年12月22日），1967年从美国南部的弗吉尼亚大学获得了其数学的学士学位，然后1968年从杜克大学完成了其数学的硕士学位的学业。1976年，从康奈尔大学计算机系获得其博士学位。然后，Clarke在杜克大学任教两年。1978年，加入了哈佛大学并担任助理教授一职。1982年，Clarke离开哈佛加入了卡内基梅隆大学计算机系，并在1989年被评为全职终身教授一职。2020年12月22日，爱德蒙·克拉克因感染新冠肺炎去世，享年75岁。爱德蒙·克拉克1945年，爱德蒙·克拉克出生。1967年在弗吉尼亚大学获得数学学士学位。1968年在杜克大学获得数学硕士学位。1976年在康奈尔大学获得计算机博士学位。弗雷德里克·布鲁克斯弗雷德里克·布鲁克斯（FrederickPhillipsBrooks，Jr．1931年4月19日-2022年11月17日）是资深计算机科学家、美国国家科学院院士。20世纪60年代初，主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM/360系列计算机的开发工作，取得辉煌成功，从而名噪一时。以后他作为硬件和软件的双重专家和出色的教育家始终活跃在计算机舞台上，对计算机体系结构、操作系统和软件工程做出里程碑式贡献，是软件工程圣经《人月神话》的作者、1999年图灵奖得主。2022年11月17日，FrederickPhillipsBrooks,Jr.逝世，享年91岁。1966—1970年，担任ACM全国委员会的委员；1973—1975年，担任ACM体系结构委员会（所谓SIGARCH）的主席；1977—1980年，在美国国家研究院计算机科学技术部（ComputerScienceandTechnologyBoard，NationalResearchCouncil）任职；尤里斯·哈特马尼斯尤里斯·哈特马尼斯（JurisHartmanis，1928年7月7日-2022年7月29日）生于前苏联拉脱维亚(Latvia)共和国。二战后，哈特马尼斯移民到德国，并在马尔堡大学获得其物理学士学位。然后哈特马尼斯移民美国，并从堪萨斯城大学获得其应用数学的硕士学位。然后，1955年，哈特马尼斯从加州理工获得其数学博士学位。在通用电器(GeneralElectric)研究实验室工作一段时间之后，1965年，哈特马尼斯成为康奈尔大学(Cornell)的教授，并工作到2001年5月退休。哈特马尼斯是拉脱维亚人，生于1928年。二战期间，为躲避战火，哈特马尼斯一家人背井离乡，沦为“流民”(displacedperson)。哈特马尼斯的中学学业就是在德国哈瑙(Hanau)的难民营中完成的。之后他进入德国马尔堡大学学习物理(马尔堡是一座大学城，离法兰克福不远)。两年半之后的1950年，哈特马尼斯获得资助，来到美国，进入堪萨斯城大学攻读硕士学位。但由于该校没有物理学的研究生课程，哈特马尼斯只得改学数学。他用了一年时间取得硕士学位，并被加利福尼亚理工学院接收为博士研究生，从事格论(latticetheory)的研究。丹尼斯·麦卡利斯泰尔·里奇丹尼斯·里奇（1941年9月9日~2011年10月12日），C语言之父，UNIX之父。曾担任朗讯科技公司贝尔实验室下属的计算机科学研究中心系统软件研究部的主任一职。1978年与布莱恩·科尔尼干（BrianW.Kernighan）一起出版了名著《C程序设计语言（TheCProgrammingLanguage）》。此书已翻译成多种语言，被誉为c语言的圣经。2011年10月12日（北京时间为10月13日），丹尼斯·里奇去世，享年70岁。丹尼斯里奇画像丹尼斯·里奇，全名丹尼斯·麦卡利斯泰尔·里奇。美国计算机科学家，对C语言和其他编程语言、Multics和Unix等操作系统的发展做出了巨大贡献。里奇在哈佛大学学习物理学和应用数学毕业，1967年他进入贝尔实验室，是朗讯技术公司系统软件研究部门的领导人。1983年他与肯·汤普森一起获得了图灵奖。理由是他们“研究发展了通用的操作系统理论，尤其是实现了UNIX操作系统”。1999年两人为发展C语言和Unix操作系统一起获得了美国国家技术奖章。在里奇的成长历程中，有两个人对他的影响最大，一个是他父亲，而另一个是他的挚友，同为UNIX发明人的肯·汤普森。尤其是后者。杰克·唐加拉杰克·唐加拉（JackDongarra），男，全球超算500强创始人之一，美国田纳西大学电气工程和计算机科学系教授。2022年3月30日，2021年度图灵奖揭晓，美国科学家杰克·唐加拉获奖，独享100万美元奖金。在美国芝加哥州立大学获得数学学士学位。在美国伊利诺伊理工大学获得计算机科学硕士学位。在新墨西哥大学获得应用数学博士学位。杰克·唐加拉创建了使用线性代数作为中间语言的开源软件库和标准。他的库还引入了重要的创新，例如自动调整、混合精度算术和批处理计算。尼古拉斯·沃斯尼古拉斯·沃斯（NiklausWirth，1934年2月15日—），生于瑞士温特图尔，是瑞士计算机科学家。尼古拉斯·沃斯1958年，Niklaus从苏黎世工学院取得学士学位后来到加拿大的莱维大学深造，之后进入美国加州大学伯克利分校获得博士学位。从1963年到1967年，他成为斯坦福大学的计算机科学部助理教授，之後又在苏黎世大学担当相同的职位。1968年，他成为ETH的信息学教授，又往施乐帕洛阿尔托研究中心进修了两年。他有一句在计算机领域人尽皆知的名言“算法+数据结构=程序”（Algorithm+DataStructures=Programs）尼古拉斯·沃斯凭借一句话获得图灵奖的Pascal之父——NicklausWirth，让他获得图灵奖的这句话就是他提出的著名公式：“算法+数据结构=程序”。曼纽尔·布卢姆密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一，第三十届（1995年）图灵奖得主。Blum是卡内基梅隆大学计算机科学教授，也是世界上理论计算机学大师。他被选举成为美国国家科学院（NationalAcademyofSciences）的成员，这对于任何一位美国的科学家或是工程师来说都是最高的荣誉。曼纽尔·布卢姆曼纽尔·布卢姆（ManuelBlum），1938年4月26日生于委内瑞拉首都加拉加斯。Blum是计算的复杂性理论的奠基人之一，该理论可以应用于密码术及程序校验。1995年，Blum在美国伯克利的加州大学的事业非常辉煌，并于同年在那里以奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获得计算机领域中的最高奖项：图灵奖。1999年，Blum来到卡内基梅隆大学做客座教授。2001年秋天，他正式获得了卡内基梅隆的教授职位。从他早期关于计算的内在局限性的研究开始，Blum的工作就围绕着一个统一的主题展开，那就是发现在一个所有计算资源全是有限的世界里生存的实际结果。图片暂时无法显示，请下载后尝试蒂姆·伯纳斯·李蒂姆·伯纳斯-李（TimBerners-Lee，1955年6月8日－），英国计算机科学家，万维发明者，2016年度图灵奖得主，英国皇家学会工艺院院士，麻省理工学院计算机科学及人工智能实验室创办主席及高级研究员，页科学研究倡议会总监，麻省理工学院集体智能中心咨询委员会成员。1990年12月25日，他和罗伯特·卡里奥在CERN一起成功通过Internet实现了HTTP代理与服务器的第一次通讯。伯纳斯-李为万维发展而创办了万维联盟（W3C）并担任主席，他也是万维基金会的创办人。2004年，英女皇伊丽莎白二世向伯纳斯·李颁发不列颠帝国勋章的爵级司令勋章。2009年4月，他获选为美国国家科学院外籍院士。2012年，夏季奥林匹克运动会开幕典礼上，他获得了“万维发明者”的美誉。伯纳斯·李本人也参与了开幕典礼，在一台NeXT计算机前工作。他在Twitter上发表消息"Thisisforeveryone"，体育馆内的LCD光管随即显示出文字来。詹姆斯·尼古拉·格雷詹姆斯·尼古拉·格雷（JamesNicholasJimGray，1944年－），美国资讯工程学家。他就读于柏克莱加州大学，1966年取得工程数学学士，1969年取得计算机科学博士。他曾于IBM、天登电脑公司和迪吉多工作。1995年成为微软研究员。他有份开发的数据库和交易处理系统有IBM的SystemR、微软的Terraserver和Skyserver。他提出了资料方块、锁定颗粒等概念。他亦有份开发WindowsLiveLocal。2007年，他独自航向法拉伦岛，打算撒散母亲的骨灰，