历届图灵奖获奖者
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
艾伦·凯在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图灵奖。
1958年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在 Ferranti公司当程序员。回到学术界，先后在 City大学，Swansea大学， 斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间， 他开发了函数式编程语言，ML，并和他的同事一起完成了 LCF的开发。在 离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐 款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的"罗 宾·米尔纳讲座"，被邀请的演讲者都是对理论计算机科学有重大贡献的 学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验 室主任，现为剑桥大学计算机实验室教授。
杰弗里·戴维·乌尔曼致力于数据库理论、信息集成、算法优化、编 译器等方面的研究。
1942年11月22日，杰弗里·戴维·乌尔曼出生于纽约市。
罗纳德·李维斯特（Ronald L. Rivest）生于1947年，美国国家工 程院院士，美国国家科学院院士，美国计算机协会院士，国际密码研究学 会院士，美国艺术与科学院院士，现任麻省理工学院（MIT）电子和计算 机科学系Viterbi讲座教授。他是MIT计算机和人工智能实验室的成员， 并领导着其中的信息安全和隐私中心。1977年从斯坦福大学获得计算机博 士学位。主要从事密码安全、计算机安全算法的研究，他发明了RSA加密 算法，这个算法在信息安全中获得最大的突破，这一成果也使他在2002年 得到图灵奖。他担任国家密码学会的负责人。
个人履历
Charles P. Thacker（昵称Chuck）是计算机先驱之一。美国工程院 院士，美国艺术与科学院院士，ACM会士。在微软工作，是微软全球十几 位技术院士之一。除了是一位出色的计算机系统设计师之外，他也是杰出 的研发管理者。
1943年2月26日，他出生于美国加州帕萨迪纳。1968年在加州大学伯 克利分校物理系读书时，他加入了Genie项目。这个项目不久发展为伯克 利计算机公司（简称BCC），开发了BCC 500分时系统。Thacker领导了中 心存储器和微处理器的设计。但公司商业上并不成功。
约翰·科克生于1925年，1946年在杜克大学(Duke University)获 得机械工程学士学位，干了几年实际工作以后，又回到母校读研究生，于 1956年取得数学博士学位。之后，他进入IBM，从此开始了他的计算机生 涯并为IBM计算机市场的开拓和计算机科学技术的发展做出了巨大的贡献。 由于学过机械和数学，基础扎实、知识面广，加上科克兴趣广泛，善于动 脑，他在IBM许多产品的设计开发和技术问题的解决中都起过至关重要的 作用，有众多的发明创造。在沃特森研究中心，在很长一段时间里，每当 人们有疑难问题需要解决的时候，自然就会说：“找约翰讨论去”。
1983年，凯离开全录，担任Atari公司首席科学家兼副总裁。
杰弗里·辛顿（Geoffrey Hinton），1947年12月6日出生于英国温 布尔登，2018年图灵奖得主，英国皇家学会院士，加拿大皇家学会院士， 美国国家科学院外籍院士，多伦多大学名誉教授。
杰弗里·辛顿于1970年获得剑桥大学实验心理学学士学位；1976年受 聘为苏塞克斯大学认知科学研究项目研究员；1978年获得爱丁堡大学人工 智能学博士学位。1978年至1980年担任加州大学圣地亚哥分校认知科学系 访问学者；1980年至1982年担任英国剑桥MRC应用心理学部科学管理人员； 1982年至1987年历任卡内基梅隆大学计算机科学系助理教授、副教授； 1987年受聘为多伦多大学计算机科学系教授；1996年当选为加拿大皇家学 会院士；1998年当选为英国皇家学会院士；1998年至2001年担任伦敦大 学学院盖茨比计算神经科学部创始主任；2001年至2014年担任多伦多大学 计算机科学系教授；2016年至2023年担任谷歌副总裁兼工程研究员； 2023年从谷歌辞职。
皮克斯动画工作室创始员工、斯坦福大学计算机图形学实验室教授。
2020年3月18日，国际计算机协会宣布，Patrick M. Hanrahan和 Edwin E. Catmull为2019年图灵奖获得者，以表彰他们对 3D计算机图形 学的贡献，以及这些技术对电影制作和计算机生成图像等应用的革命性影 响。
历届图灵奖获奖者
查尔斯·萨克尔（Charles P. Thacker，1943年2月26日－2017年6 月12日），美国计算机科学家，美国工程院院士，美国艺术与科学院院士， 计算机协会会士，微软技术院士。因设计与实现了第一台现代个人电脑 Xerox Alto而荣获2009年图灵奖。2017年6月12日在美国加州帕洛阿尔托 市逝世，享年74岁
阿迪·萨莫尔阿迪·萨莫尔（Adi Shamir）教授是当前著名的密码 学专家，Adi Shamir早年在以色列魏茨曼科学研究所获得硕士、博士学 位，1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文 章，获得了多项奖励，如美国计算机学院 Kannelakis奖、以色列数学协 会Erdos奖、IEEE W.r奖、UAP科学奖、梵蒂冈PUIS XI金奖以及 IEEE Koji Kobayashi计算机与通信奖等等。
Patrick M. Hanrahan，皮克斯动画工作室创始员工、斯坦福大学计 算机图形学实验室教授。
2020年3月18日，国际计算机协会宣布，Patrick M. Hanrahan和 Edwin E. Catmull为2019年图灵奖获得者。
在加入皮克斯之前，曾在 NYIT的计算机图形学实验室短暂工作过。
约翰·科克是从机械到数学、又从数学转到计算机方向上来的学者。 他生于1925年，1946年在杜克大学(Duke University)获得机械工程学 士学位，干了几年实际工作以后，又回到母校读研究生，于1956年取得数 学博士学位。之后，他进入IBM，从此开始了他的计算机生涯并为IBM计算 机市场的开拓和计算机科学技术的发展，尤其是RISC架构和编译器优化， 做出了巨大的贡献。
约翰·霍普克罗夫特（John Edward Hopcroft），1939年10月7日 出生于美国西雅图，计算机科学家，中国科学院外籍院士，美国国家科学 院院士，美国国家工程院院士，美国艺术与科学院院士，美国康奈尔大学 教授，北京大学前沿计算研究中心主任。
约翰·霍普克罗夫特于1961年获得西雅图大学电子工程学士学位； 1962年获得斯坦福大学电子工程硕士学位；1964年获得斯坦福大学电子工 程博士学位；1987年当选为美国艺术与科学院院士；1989年当选为美国国 家工程院院士；1994年—2001年任康奈尔大学工程学院院长 ；2009年 当选为美国国家科学院院士；2017年当选为中国科学院外籍院士。
约翰·轩尼诗于1973年获得维拉诺瓦大学电气工程学学士学位；1975 年获得纽约州立大学石溪分校计算机科学硕士学位；1977年获得纽约州立 大学石溪分校计算机科学博士学位，同年受聘为斯坦福大学电气工程系助 理教授；1983年晋升为斯坦福大学电气工程系副教授；1986年受聘为威拉 德和伊内兹·克尔·贝尔电气工程和计算机科学教授；1992年当选为美国 国家工程院院士；1992年至1998年担任硅图形计算机系统公司首席架构师； 1995年当选为美国艺术与科学院院士；1996年至1999年担任斯坦福大学 电子工程系主任；1999年至2000年担任斯坦福大学教务长；2000年至 2016年担任斯坦福大学校长；2002年当选为美国国家科学院院士；2016 年被任命为斯坦福大学奈特-轩尼诗学者项目主任；2017年获得图灵奖。
约翰·霍普克罗夫特主要从事理论计算机科学领域的研究。
青年约翰·霍普克罗夫特1939年10月7日，约翰·霍普克罗夫特 （John Edward Hopcroft）出生于美国西雅图。
1961年，获得西雅图大学电子工程学士学位。
艾伦·凯（1940年5月17日—），英文原名Alan Curtis Kay，美国 计算机科学家，在面向对象编程和窗口式图形用户界面方面作出了先驱性 贡献。2003年获得图灵奖。担任Viewpoints研究院院长，加州大学伯克 利分校兼职教授。曾任Apple公司院士，惠普公司资深院士。
大卫·帕特森致力于计算机体系结构与工程、计算机体系结构与系统： 性能、安全、RISC-V操作系统和络方面的研究。
1947年11月16日，大卫·帕特森出生于美国伊利诺伊州。
约翰·轩尼诗（John LeRoy Hennessy），1952年9月22日出生于纽 约亨廷顿，2017年图灵奖得主，美国国家科学院院士，美国国家工程院院 士，美国艺术与科学院院士，ACM Fellow，IEEE Fellow，Atheros公司、 MIPS公司联合创始人，斯坦福大学第十任校长。
杰弗里·戴维·乌尔曼（Jeffrey David Ullman），2020年图灵奖 得主，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院 士。
杰弗里·戴维·乌尔曼于1963年获得哥伦比亚大学工程数学学士学位； 1966年获得普林斯顿大学电气工程学博士学位；1966年至1969年任职于 贝尔实验室；1969年受聘为普林斯顿大学副教授；1974年晋升为普林斯顿 大学教授；1979年受聘为斯坦福大学教授；1989年当选为美国国家工程院 院士；1990年至1994年担任斯坦福大学计算机科学系主任；1994年当选 为ACM Fellow；1994年至2002年，担任斯坦福大学W.Ascherman工程学 教授；2003年以斯坦福大学名誉教授身份退休；2012年当选为美国艺术与 科学院院士；2020年当选为美国国家科学院院士。
罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1 月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设 计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型， 实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的 贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。
阿迪·萨莫尔（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图灵奖。
1958年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在 Ferranti公司当程序员。回到学术界，先后在 City大学，Swansea大学， 斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间， 他开发了函数式编程语言，ML，并和他的同事一起完成了 LCF的开发。在 离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐 款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的"罗 宾·米尔纳讲座"，被邀请的演讲者都是对理论计算机科学有重大贡献的 学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验 室主任，现为剑桥大学计算机实验室教授。
杰弗里·戴维·乌尔曼致力于数据库理论、信息集成、算法优化、编 译器等方面的研究。
1942年11月22日，杰弗里·戴维·乌尔曼出生于纽约市。
罗纳德·李维斯特（Ronald L. Rivest）生于1947年，美国国家工 程院院士，美国国家科学院院士，美国计算机协会院士，国际密码研究学 会院士，美国艺术与科学院院士，现任麻省理工学院（MIT）电子和计算 机科学系Viterbi讲座教授。他是MIT计算机和人工智能实验室的成员， 并领导着其中的信息安全和隐私中心。1977年从斯坦福大学获得计算机博 士学位。主要从事密码安全、计算机安全算法的研究，他发明了RSA加密 算法，这个算法在信息安全中获得最大的突破，这一成果也使他在2002年 得到图灵奖。他担任国家密码学会的负责人。
个人履历
Charles P. Thacker（昵称Chuck）是计算机先驱之一。美国工程院 院士，美国艺术与科学院院士，ACM会士。在微软工作，是微软全球十几 位技术院士之一。除了是一位出色的计算机系统设计师之外，他也是杰出 的研发管理者。
1943年2月26日，他出生于美国加州帕萨迪纳。1968年在加州大学伯 克利分校物理系读书时，他加入了Genie项目。这个项目不久发展为伯克 利计算机公司（简称BCC），开发了BCC 500分时系统。Thacker领导了中 心存储器和微处理器的设计。但公司商业上并不成功。
约翰·科克生于1925年，1946年在杜克大学(Duke University)获 得机械工程学士学位，干了几年实际工作以后，又回到母校读研究生，于 1956年取得数学博士学位。之后，他进入IBM，从此开始了他的计算机生 涯并为IBM计算机市场的开拓和计算机科学技术的发展做出了巨大的贡献。 由于学过机械和数学，基础扎实、知识面广，加上科克兴趣广泛，善于动 脑，他在IBM许多产品的设计开发和技术问题的解决中都起过至关重要的 作用，有众多的发明创造。在沃特森研究中心，在很长一段时间里，每当 人们有疑难问题需要解决的时候，自然就会说：“找约翰讨论去”。
1983年，凯离开全录，担任Atari公司首席科学家兼副总裁。
杰弗里·辛顿（Geoffrey Hinton），1947年12月6日出生于英国温 布尔登，2018年图灵奖得主，英国皇家学会院士，加拿大皇家学会院士， 美国国家科学院外籍院士，多伦多大学名誉教授。
杰弗里·辛顿于1970年获得剑桥大学实验心理学学士学位；1976年受 聘为苏塞克斯大学认知科学研究项目研究员；1978年获得爱丁堡大学人工 智能学博士学位。1978年至1980年担任加州大学圣地亚哥分校认知科学系 访问学者；1980年至1982年担任英国剑桥MRC应用心理学部科学管理人员； 1982年至1987年历任卡内基梅隆大学计算机科学系助理教授、副教授； 1987年受聘为多伦多大学计算机科学系教授；1996年当选为加拿大皇家学 会院士；1998年当选为英国皇家学会院士；1998年至2001年担任伦敦大 学学院盖茨比计算神经科学部创始主任；2001年至2014年担任多伦多大学 计算机科学系教授；2016年至2023年担任谷歌副总裁兼工程研究员； 2023年从谷歌辞职。
皮克斯动画工作室创始员工、斯坦福大学计算机图形学实验室教授。
2020年3月18日，国际计算机协会宣布，Patrick M. Hanrahan和 Edwin E. Catmull为2019年图灵奖获得者，以表彰他们对 3D计算机图形 学的贡献，以及这些技术对电影制作和计算机生成图像等应用的革命性影 响。
历届图灵奖获奖者
查尔斯·萨克尔（Charles P. Thacker，1943年2月26日－2017年6 月12日），美国计算机科学家，美国工程院院士，美国艺术与科学院院士， 计算机协会会士，微软技术院士。因设计与实现了第一台现代个人电脑 Xerox Alto而荣获2009年图灵奖。2017年6月12日在美国加州帕洛阿尔托 市逝世，享年74岁
阿迪·萨莫尔阿迪·萨莫尔（Adi Shamir）教授是当前著名的密码 学专家，Adi Shamir早年在以色列魏茨曼科学研究所获得硕士、博士学 位，1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文 章，获得了多项奖励，如美国计算机学院 Kannelakis奖、以色列数学协 会Erdos奖、IEEE W.r奖、UAP科学奖、梵蒂冈PUIS XI金奖以及 IEEE Koji Kobayashi计算机与通信奖等等。
Patrick M. Hanrahan，皮克斯动画工作室创始员工、斯坦福大学计 算机图形学实验室教授。
2020年3月18日，国际计算机协会宣布，Patrick M. Hanrahan和 Edwin E. Catmull为2019年图灵奖获得者。
在加入皮克斯之前，曾在 NYIT的计算机图形学实验室短暂工作过。
约翰·科克是从机械到数学、又从数学转到计算机方向上来的学者。 他生于1925年，1946年在杜克大学(Duke University)获得机械工程学 士学位，干了几年实际工作以后，又回到母校读研究生，于1956年取得数 学博士学位。之后，他进入IBM，从此开始了他的计算机生涯并为IBM计算 机市场的开拓和计算机科学技术的发展，尤其是RISC架构和编译器优化， 做出了巨大的贡献。
约翰·霍普克罗夫特（John Edward Hopcroft），1939年10月7日 出生于美国西雅图，计算机科学家，中国科学院外籍院士，美国国家科学 院院士，美国国家工程院院士，美国艺术与科学院院士，美国康奈尔大学 教授，北京大学前沿计算研究中心主任。
约翰·霍普克罗夫特于1961年获得西雅图大学电子工程学士学位； 1962年获得斯坦福大学电子工程硕士学位；1964年获得斯坦福大学电子工 程博士学位；1987年当选为美国艺术与科学院院士；1989年当选为美国国 家工程院院士；1994年—2001年任康奈尔大学工程学院院长 ；2009年 当选为美国国家科学院院士；2017年当选为中国科学院外籍院士。
约翰·轩尼诗于1973年获得维拉诺瓦大学电气工程学学士学位；1975 年获得纽约州立大学石溪分校计算机科学硕士学位；1977年获得纽约州立 大学石溪分校计算机科学博士学位，同年受聘为斯坦福大学电气工程系助 理教授；1983年晋升为斯坦福大学电气工程系副教授；1986年受聘为威拉 德和伊内兹·克尔·贝尔电气工程和计算机科学教授；1992年当选为美国 国家工程院院士；1992年至1998年担任硅图形计算机系统公司首席架构师； 1995年当选为美国艺术与科学院院士；1996年至1999年担任斯坦福大学 电子工程系主任；1999年至2000年担任斯坦福大学教务长；2000年至 2016年担任斯坦福大学校长；2002年当选为美国国家科学院院士；2016 年被任命为斯坦福大学奈特-轩尼诗学者项目主任；2017年获得图灵奖。
约翰·霍普克罗夫特主要从事理论计算机科学领域的研究。
青年约翰·霍普克罗夫特1939年10月7日，约翰·霍普克罗夫特 （John Edward Hopcroft）出生于美国西雅图。
1961年，获得西雅图大学电子工程学士学位。
艾伦·凯（1940年5月17日—），英文原名Alan Curtis Kay，美国 计算机科学家，在面向对象编程和窗口式图形用户界面方面作出了先驱性 贡献。2003年获得图灵奖。担任Viewpoints研究院院长，加州大学伯克 利分校兼职教授。曾任Apple公司院士，惠普公司资深院士。
大卫·帕特森致力于计算机体系结构与工程、计算机体系结构与系统： 性能、安全、RISC-V操作系统和络方面的研究。
1947年11月16日，大卫·帕特森出生于美国伊利诺伊州。
约翰·轩尼诗（John LeRoy Hennessy），1952年9月22日出生于纽 约亨廷顿，2017年图灵奖得主，美国国家科学院院士，美国国家工程院院 士，美国艺术与科学院院士，ACM Fellow，IEEE Fellow，Atheros公司、 MIPS公司联合创始人，斯坦福大学第十任校长。
杰弗里·戴维·乌尔曼（Jeffrey David Ullman），2020年图灵奖 得主，美国国家科学院院士，美国国家工程院院士，美国艺术与科学院院 士。
杰弗里·戴维·乌尔曼于1963年获得哥伦比亚大学工程数学学士学位； 1966年获得普林斯顿大学电气工程学博士学位；1966年至1969年任职于 贝尔实验室；1969年受聘为普林斯顿大学副教授；1974年晋升为普林斯顿 大学教授；1979年受聘为斯坦福大学教授；1989年当选为美国国家工程院 院士；1990年至1994年担任斯坦福大学计算机科学系主任；1994年当选 为ACM Fellow；1994年至2002年，担任斯坦福大学W.Ascherman工程学 教授；2003年以斯坦福大学名誉教授身份退休；2012年当选为美国艺术与 科学院院士；2020年当选为美国国家科学院院士。
罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1 月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设 计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型， 实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的 贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。