Robin Milner

1991年图灵奖得主

贡献领域: LCF、ML编程语言、并发理论(CCS)

中文一般译作"罗宾·米尔纳", 1934年1月13日－2010年3月20日

生于英国，曾入伍并获少尉军衔。1952年入读剑桥大学国王学院(1954年毕业于国王学院的图灵自杀)，但当时他没听说过图灵。

1991年获图灵奖，是继威尔克斯（M.V.Wilkes, 1967）、威尔金森（J.H.Wilkinson, 1970）和霍尔（C.ARHoare, 1980）之后第四位获此殊荣的英国计算机科学家，也使英国成为除美国之外获得图灵奖的学者最多的国

他说自己从不喜欢编程..

罗宾·米尔纳——标准元语言ML发明者

罗宾·米尔纳

---

Butler Lampson

1992年图灵奖得主

贡献领域: 分布式，个人计算机

中文一般译作"巴特勒·兰普森", 1943年12月23日生于华盛顿特区

1970年，成为PARC研究中心最早一批员工，属于其中的计算机科学实验室（Computer Science Laboratory）。1972年，在一份备忘录中，首次提出个人电脑设计概念。

Alto是PARC在20世纪60年代末70年代初设计与开发的世界上第一个个人计算机系统，1973年完成并正式投入运行。 是当时最先进的计算机系统

另外还有著作 《分布式系统–体系结构和实现：高级课程》

有句著名格言，常被认为由其提出。但其本人则认为这格言最早出自于David Wheeler：

另：

企业界的 PC之父/个人电脑奠基人当属 亨利·罗伯茨, 也是让比尔盖茨唯一打过工的人

巴特勒·兰普森——Alto系统首席科学家

---

Juris Hartmanis & Richard Stearns

1993年图灵奖得主

贡献领域: 计算复杂度理论

中文一般译作"尤里斯·哈特马尼斯"，1928年7月7日生于拉脱维亚。二战期间，躲避战火，一家人背井离乡沦为“流民”(displaced person)。在德国，完成大学学习物理。而后在美国完成硕士/博士，研究抽象代数中的格论。

毕业后在康奈尔大学数学系任教。一年后去通用电气的实验室，和来此实习的斯特恩斯合作，完成那篇著名的论文 “论算法的计算复杂性”(On the computational complexity Of algorithms）。

该论文开辟了计算机科学的一个新的研究领域，即“计算复杂性”，并奠定了其理论基础。

而后重返康乃尔大学，没有回到数学系，而是负责筹建计算机科学系。由于其眼光魄力和民主作风，康乃尔大学计算机科学系吸引了一批著名学者加盟，如1986年图灵奖得主霍普克洛夫特

中文一般译作"理查德·斯特恩斯"，1936年7月5日生于新泽西州考德威尔。

1960年夏天在位于纽约州东部的斯克内克塔迪 通用电气研究实验室，和尤里斯·哈特马尼斯开始一起研究状态指定问题。在1961年获得博士学位后，加入通用电气研究实验室的信息学习分支。在研究实验室的气氛和环境鼓励了他们所热爱的自由的、不受约束的研究方式。

和哈特马尼斯一开始在进行线性机器的分解方面的工作：简单电脑的模型如何能被分解成一些更小的线性机器的结合，且能完成相同的任务。关于这个主题发表了一些论文，并在1966年将他们的工作总结写入了一本书。后来他们开始研究计算复杂性，并在1965年发表了那篇让他们获得图灵奖的论文。

之后还研究过编译器设计原理，并发数据库系统，归约相关问题，和积问题，动态系统方面的问题

在这种数据库中会有一些事务在同一个数据库中进行读和写操作。这种系统的目标之一是让事务尽可能并发地执行以增加系统的输出，但同时不会破坏数据库的正确性。

他们写的关于这个主题的论文指出并发执行的一致性和正确性的充分必要条件是事务的可串行性——它指的是，所有并发运行事务的读写操作的影响必须和他们在某种顺序下串行运行（一个接一个）一样。在这之前已经知道可串行性是一致性的充分条件：如果执行时可串行的，结果就是对的。这篇论文指出除去一些特定的只有读操作的事务的情况，这也是一个必要条件：执行必须要可串行化才能保证正确。

这个结论现在已经是所有数据库课程和数据库系统设计的核心部分

---

Edward Feigenbaum & Raj Reddy

1994年图灵奖得主

贡献领域: 大规模人工智能系统

中文一般译作"爱德华·费根鲍姆"，1936年1月20日生于新泽西州维霍肯，经常被人称为专家系统之父。

斯坦福大学计算机科学系任教授，美国空军首席科学家。

其父是波兰移民，在他不到一岁就去世了。他的继父是一位食品商店会计，使用了笨拙的机电式蒙特卡洛计算器（发明于20世纪初），引起了年轻的费根鲍姆的好奇和兴趣

1956年在卡内基技术学院（卡内基梅隆大学前身）取得学士学位，1960年取得博士学位，指导教授为赫伯特·西蒙（即“司马贺”，1975年图灵奖得主，1978年诺贝尔经济学奖得主）。

通过实验和研究，证明了实现智能行为的主要手段在于知识，在多数实际情况下是特定领域的知识。

他有句名言："知识中蕴藏着力量"（In the Knowledge lies the power）。这句话和培根的名言"知识就是力量"意义相近，但似乎更确切些：知识只有被人所发掘和掌握时，才能生成力量。

中文一般译作"拉吉·瑞迪"，1937年出生于印度中南部安得拉邦。是获得图灵奖的亚洲第一人。(亚洲第一位获诺贝尔奖，第一位获诺贝尔科学奖的也都是印度人…)

现任卡内基·梅隆大学计算机学院院长

在斯坦福大学攻读博士学位时，导师是有"人工智能之父"之称的J.McCarthy。另一位人工智能大师M.Minsky当时也在斯坦福，Raj曾聆听过其教导。学成后来到卡内基梅隆大学工作，有幸与艾伦·纽厄尔（A.Newell）和赫伯特·西蒙（H.A.Simon）这样一些知名学者一起共事。

1966年，ACM在洛杉矶举行仪式，向艾伦·佩利（A.Perlis）授予首届图灵奖。Raj作为斯坦福大学研究生参与了该仪式并十分激动。暗下决心，也要在发展计算机科学技术上做出贡献。28年后，当年的这位研究生也走上了图灵奖的颁奖台。

人工智能会给我们带来什么|人民日报

---

Manuel Blum

1995年图灵奖得主

贡献领域: 计算复杂度理论，及其在密码学和程序校验上的应用

中文一般译作"曼纽尔·布卢姆"，1938年4月26日出生于委内瑞拉首都加拉加斯。其父母在20世纪30年代逃离欧洲后定居在那里。20世纪50年代中期来到美国，在麻省理工学院完成了本硕博，导师是 马文·明斯基

计算复杂性理论的主要奠基人之一，密码系统和程序检验领域的先驱

计算复杂性的研究始于20世纪50年代末60年代初，当时在美国有两个并行的中心:

一个是通用电气公司设立于纽约州斯克内克塔迪（Schenectady）的研究实验室，核心人物是哈特马尼斯（J．Hartmanis）和斯特恩斯（R．Stearns）

另一个中心是麻省理工学院，布卢姆与前述两人互相独立地进行着相关问题的研究，并完成了其博士论文：Amachiceindependenttheoryofthecomplexityofrecursivefunctions(与机器无关的递归函数复杂性的理论)，该论文的详细摘要1967年发表于J．ACM14（2），322～336页

实际上布卢姆是受以色列学者拉宾（M.O.Rabin）的启发而开始这方面的研究。拉宾是希伯莱大学教授，是研究计算复杂性问题的先驱，并在1976年荣获图灵奖。

拉宾在1959－1960年间就发表过一些关于计算复杂性方面的论文，可惜流传面较小影响不大。

但MIT“ 慧眼识珠”，邀请他前来讲学。布卢姆当时正苦于没有适当的课题作博士论文，听了拉宾的讲座极感兴趣，当即决定沿此方向进行研究，其结果就是完成了上述博士论文。布卢姆的论文不但提出了有关计算复杂性的一些分理，而且在对复杂性类的归纳上也比其他学者有更高的抽象度。因此学术界公认，布、哈、斯三人是计算复杂性理论的主要奠基人。

一家人和卡内基梅隆大学渊源颇深，Blum夫妇被誉为计算机领域的“居里夫妇

曼纽尔·布卢姆及其《迈向有意识的人工智能》的演讲

---

Amir Pnueli

1996年图灵奖得主

贡献领域: 时序逻辑，程序与系统验证

中文一般译作"阿米尔·伯努利"，1941年4月22日－2009年11月2日。出生于以色列

研究领域主要是时间逻辑和模型检查，尤其是并发系统的公平性

例如Golang GPM调度模型中，M的作用就是执行G中包装的并发任务。Go运行时系统中的调度器的主要职责就是将G公平合理的安排到多个M上去执行

Go语言的并发模型

---

Douglas Engelbart

1997年图灵奖得主

贡献领域: 互动计算，鼠标之父、图形用户界面的先驱

中文一般译作"道格拉斯·恩格尔巴特"，1925年1月30日－2013年7月2日。生于美国俄勒冈州的波特兰，瑞典人和挪威人后裔。

人机交互的先驱。其成立的小组发明了鼠标，开发了超文本系统、网络计算机及图形用户界面

---

James Nicholas Gray

1998年图灵奖得主

贡献领域: 数据库与事务处理(ACID)

中文一般译作"詹姆斯·尼古拉·格雷"，1944年1月12－2007年1月28日。生于美国俄勒冈州的波特兰，瑞典人和挪威人后裔。

因对数据库和事务处理研究的开创性贡献以及系统实现中的技术领导地位而获图灵奖

(事务处理技术虽然诞生于数据库研究，但对于分布式系统，C/S架构中的数据管理与通信，对于容错和高可靠系统，同样有重要意义)

也是继 查尔斯·巴赫曼和埃德加·科德后，数据库领域第三位图灵奖得主。

在IBM期间，他参与和主持过IMS、System R、SQL／DS、DB2等项目的开发；在 Microsoft 工作期间，协助开发了 Virtual Earth

格雷生性好水，是一位经验丰富的水手，拥有一艘 40 英尺的帆船。2007年，独自航向法拉隆群岛，打算撒散其母亲骨灰，1月28日，他的船失踪。2012年，在法律意义上被认定已经死亡

2008 年微软在威斯康星州麦迪逊开设了一个以吉姆·格雷命名的研究中心；每年，微软研究院都会向在数据密集型计算领域作出杰出贡献的研究人员颁发以格雷命名的 Jim Gray eScience 奖

Jim Gray在他的著名的论文“Why do computers stop and what can be done about it?”中首次提出了程序bug的类型，比如玻尔bug(Bohrbug)、 海森堡bug(Heisenbugs)等用著名科学家名称命名的bug。后来又出现了更多的bug类型

你知道几个？ Bug 的类型大全与历史

获图灵奖的三位数据库专家介绍.pptx

---

Frederick Phillips

1999年图灵奖得主

贡献领域: 计算机体系结构，操作系统，软件工程

中文一般译作"佛瑞德·布鲁克斯"，1931年4月19日出生于美国美国北卡罗来纳州德罕。

60年初在IBM主持开发过OS/360系统，被认为是IBM 360系统之父。

1965年，离开IBM，进入学界，任教于北卡罗莱纳大学教堂山分校，在此创立计算机工程学系。

同时著书立说，很多软件工程领域的黑话，如没有银弹，*焦油坑* 等就出自其作品，耳熟能详的包括：

《人月神话》 （The Mythical Man-Month: Essays on Software Engineering），著作，出版于1975年，被誉为软件项目管理领域的圣经

《没有银弹》（No Silver Bullet: Essence and Accidents of Software Engineering），论文，发表于1986年

《再论人月神话》 （The Mythical Man-Month: Revised Essays on Software Engineering），1995年重新发行《人月神话》纪念版，其中新增对《没有银弹》一文的评论和回应，以及4个额外的新章节。

人月（man-month）指的是“一个人要花几个月”才能完成软件开发的单位，通常用来评估一件软件项目的大小。但这个概念容易误把工作量和项目进度混为一谈，人月是个危险并很容易就遭到误解的迷思（myth），因为其假设人力和工时可以互换的。但系统不是单独的零件，生产零件可以计件，生产系统则不能计件。

他有很多经典语录，如：

• “无论多少个女人，孕育一个生命也需要九个月。”（人力和时间并不呈现线性关系（正比或反比关系），指出以大量人员的投入并不能缩短软件的开发的进度。一窝蜂的作业方式无助于软件生产，且会制造麻烦，产生出更差的软件）

• “布鲁克斯定律”：从人月神话更进一步，其又引出著名的“布鲁克斯定律”：“向一个延误滞后的IT项目追加人力，只会使进度更加落后，导致更严重的延误。”

• 10x（10倍效率）程序员：在普通设计师（程序员）和优秀设计师（程序员）之间，有着10倍多的差异

• 项目经理的主要日常工作是沟通，而不是做出决定。

• 提纲挈领的前提，在堆积如山的文件资料中，少数文档是关键枢纽，每一件项目管理的工作都围绕着他们运转。这些文档是项目经理最重要的个人工具

会议管理之中的“人月神话”

码农翻身–干掉软件开发的超级怪兽：狼人！

只有喜欢研究编程的人才能成为10x程序员

---

姚期智

2000年图灵奖得主

贡献领域: 计算理论，包括伪随机数生成，密码学与通信复杂度

唯一获图灵奖的华人。生于上海，长于台湾，台大物理学学士，哈佛物理学博士，师从后来获诺贝尔奖的Glashow。后放弃物理研究计算机。17年放弃美国国籍(杨振宁也是同年放弃美国国籍)，成为中国公民。(估计大概率也“争取”过丘成桐，丁肇中和崔琦)

以20年为期，我们看看，这些大师究竟能不能培育出新的大师。到2030年，中国的诺贝尔理化生/菲尔兹/图灵奖，能不能有新的突破。到我离世时，能不能超过10位。

---

Ole-Johan Dahl & Kristen Nygaard

2001年图灵奖得主

贡献领域: 面向对象编程

中文一般译作"奥利-约翰·达尔"(1931年10月12日－2002年1月29日), "克利斯登·奈加特"(1926年8月27日－2002年8月10日)

二人共同创造了Simula，首次引入了面向对象程序设计语言的基本概念：对象、类、继承，被认为是面向对象之父。

二人均为挪威人，均在获奖的次年去世。

使挪威在信息科学领域闻名世界

Simula，一种编译式的编程语言，于1960年代诞生于奥斯陆的挪威计算中心，主要设计者为奥利-约翰·达尔与克利斯登·奈加特。开发出了Simula I与Simula 67两代，它承继了ALGOL 60的基础，被认为是第一个面向对象编程的编程语言。

Simula 67引入了对象、类、继承和子类、虚过程，还有协程、离散事件模拟和垃圾收集特征。

Simula影响了Smalltalk以及接下来所有的面向对象编程编程语言，如设计C++语言的比雅尼·斯特劳斯特鲁普，和设计Java语言的詹姆斯·高斯林，都认可自己受到了Simula的重要影响

二人在创造面向对象思想方面的成功部分显然是由于他们非凡的才能，但部分原因也是由于他们的背景非常不同。有一个故事说，1967年春天，一位新员工震惊地告诉总机操作员："两个人在楼上走廊的黑板前激烈战斗。我们该怎么办？接线员走出办公室，听了几秒钟，然后说："放松。只有达尔和奈加特在讨论SIMULA。

奥利-约翰·达尔后来故意停止进一步发展SIMULA，并去奥斯陆大学任教，研究编程方法，并与Tony Hoare一起制作了一章，名为"分层程序结构"，成为著名著作《结构化程序设计》的一部分。2002年因淋巴癌病逝。 (这本书共三个作者，另外一位为Dijkstra)

奈加特毕业后进入挪威国防研究院，在计算挪威第一座核反应堆的铀棒直径时，因为需要，而开始设计模拟语言。

除此他还是一位积极的社会活动家，活跃于挪威政坛。“一生获得无数荣誉，深受挪威人民爱戴。”

---

Ronald Linn Rivest & Adi Shamir & Leonard Max Adleman

2002年图灵奖得主

贡献领域: 公钥密码学（RSA加密算法）

中文一般译作"罗纳德·李维斯特","阿迪·萨莫尔","伦纳德·阿德曼"

Ronald L. Rivest,生于1947年,毕业于耶鲁大学、斯坦福大学，发明RSA加密算法，RSA数据安全公司的联合创始人

Adi Shami，以色列魏兹曼科学研究所教授、美国外籍科学院院士、现代密码学奠基人之一

Leonard M. Adleman，1945年12月31日于美国加州旧金山，分别于1968年和1976年从加州大学伯克利分校（UC Berkeley）获得数学学士学位和计算机/电机工程（EECS）博士学位。除此还在研究DNA

---

Alan Kay

2003年图灵奖得主

贡献领域: 面向对象编程，Smalltalk语言之父

中文一般译作"艾伦·凯"

1940年5月17日生于美国麻省，童年在澳大利亚度过。

Smalltalk吸取了Simula中class的概念，并发展出图形使用界面（GUI），即苹果麦金塔电脑的原型。

Smalltalk是一种动态类型、反射式的面向对象编程语言。由艾伦·凯、Dan Ingalls、Ted Kaehler、Adele Goldberg等于1970年代初在施乐帕罗奥多研究中心开始开发。

Smalltalk对其它众多的程序设计语言的产生起到了极大推动作用，如 Objective-C、Java、Python和Ruby等。1990年代的许多软件开发思想得利于Smalltalk，例如设计模式、敏捷编程和代码重构

是施乐PARC研究中心第一位雇员，1972年，PARC发布了Smalltalk第一个版本。1979年，凯邀请乔布斯、Teff Raskin来到PARC参观，乔布斯对视窗图形用户界面印象深刻。

(施乐PARC还发明了复制粘贴功能)

而后曾加入苹果，惠普。

---

Vinton Cerf & Robert Kahn

2004年图灵奖得主

贡献领域: TCP/IP协议

中文一般译作"文特·瑟夫","罗伯特·卡恩"

二人一起发明了传输控制协议（TCP）和互联网协议（IP,也称 网际协议），这两个协议成为互联网核心通信协议的基础,二人均被公认为“互联网之父”之一 (还有一位是HTTP协议的设计者蒂姆·伯纳斯-李)

二人没有申请专利，没有将TCP/IP视为私有财产。还花了整整十年的时间推广这项新技术，用各种方式说服人们去尝试使用它 (蒂姆·伯纳斯-李 同样放弃了HTTP协议的专利)

1943年6月23日出生于康涅狄格州纽黑文(New Haven)，当上学主要在西海岸的加州。家境优渥，酷爱科幻小说。但作为早产儿，落下听觉缺陷。“这也使得他对于世界的沟通方式与众不同，当1971年电子邮件发明，这种无需提供声音的沟通方式无疑受到他格外的青睐” (还写过一篇论文：“一位有听觉缺陷的工程师的自白”)

由于听力缺陷，两口子说悄悄话都像吼叫

1965年，在斯坦福大学获得数学学士学位

后来考取加州大学洛杉矶分校，先后取得计算机科学硕士和博士学位

1972年至1976年，任教斯坦福大学。其间与 鲍勃·卡恩（Robert E. Kahn）一起领导TCP/IP协议的研发小组，为阿帕网（ARPANET） 成功开发了主机协议， 使ARPANET成为第一个大规模的数据包网络。

现为Google副总裁兼首席互联网顾问，IPv6论坛的名誉主席

协议(Protocol),网关(Gateway),这些新术语皆由ta们创造。

在署名问题上，两人决定让上帝作主，掷硬币决定。结果瑟夫受到了垂青

坚持反对OSI，认为划分过细，十分复杂，而且仅仅设计，从未试验过。“OSI的一切都是非常抽象的，学究气十足。他们所用的语言浮夸到不可思议的程度，简直读不下去”。而TCP／IP是实践的结晶，也是合作研究的产物，不是像OSI那样在一大堆委员会里产生出来的“大骆驼”。

（1983年，瑟夫曾劝说让IBM、DEC、HP支持TCP／IP，但都遭拒绝，而采用了OSI。他们认为TCP／IP只是一项研究试验。不过最关键的是，国防部选择了TCP／IP。）

个人电脑不是一个人的发明，互联网更是集体的力量。戴得上“互联网之父”这顶帽子的人不只瑟夫一人，起码，雷纳德·克兰罗克（Leonard Kleinrock）（设计出了名为包交换(packet switching)的关键互联网技术，1969年该技术发送了第一封有记载的电子邮件）、拉里·罗伯茨（Lawrence Roberts）（是他整合了美国高等专案研究署的ARPANet网络，在过去25年中的大部分时间里，这就是互联网）。

以及发明了互联网标准通讯协议TCP/IP的文顿·瑟夫和罗伯特·卡恩（Robert Kahn），四位杰出的科学家为催生互联网分别做出了关键性努力，都曾被媒体称作“互联网之父”。鉴于他们四人对互联网建设与发展的重大项献，1997年12月，时任总统克林顿为他们颁发了“美国国家技术奖”。

文顿·瑟夫：把互联网送上“天堂”

三访互联网之父文顿·瑟夫

“互联网之父”文顿·瑟夫：我从没后悔改变世界

《互联网时代》：“互联网之父”首度齐聚荧屏

1938年12月23日生于纽约布鲁克林，1960年纽约城市大学获得电机工程学士学位，1962和1964年在普林斯顿大学获得硕士和博士学位。毕业在贝尔实验室工作，后在麻省理工学院做助教

“信息高速公路”概念创立人

世界互联网大会，大佬们都说了啥？

TCP/IP的故事

Presidential Medal of Freedom

---

Peter Naur

2005年图灵奖得主

贡献领域: Algol 60语言, BNF范式

中文一般译作"彼得·诺尔"

1928年10月25日生于丹麦腓特烈斯贝

天文学博士，毕业后研究方向转向计算机科学。

目前唯一一位丹麦籍图灵奖得主

2016年1月3日去世

彼得·诺尔(Peter Naur）完善了BNF范式(Bcakus-Naur-Form)，中文叫做巴斯克语言公式。实际上他著名的成果就是Algol 60报告，Algol 60是一个算法语言编译器。在他之前，计算机语言是通过说明性的使用手册和编译代码本身而非正式的定义。他通过使用BNF来定义语法，并用精心选择的说明文字定义语义，简洁而准确。现在全世界所有的、各种算法语言都是基于这个巴斯克语言公式的，所以他的贡献是很大的，这个东西是原创

计算机技术突飞猛进，计算机科学发展并不快

调查了72名图灵奖得主背景，却发现计算机专业很难得奖！

BNF for Go

---

Frances Allen

2006年图灵奖得主

贡献领域: 并行计算，编译器优化

中文一般译作"法兰(西斯)·艾伦"(1933年8月4日－2020年8月4日),出生于纽约北部的农场。

最早想当一名教师，从纽约州立师范学院 (现 纽约州立大学奥尔巴尼分校)毕业，获得数学学士学位，并在当地学校开始教学。两年后进入密歇根大学，并获得数学硕士学位，“为还读书时贷款，我跟他们(IBM)签约了。” 原本计划只待到债务还清，然而之后，其的整个职业生涯都在 IBM 度过

在 IBM 的第一个任务是教研究社区 FORTRAN 语言(IBM 三个月前刚刚推出的一种复杂的语言)。这是其专注于高性能计算编译器的职业生涯的开始。

爱好是爬山和研究环境问题，退休后致力于鼓励女性从事计算机科学研究的教育培训项目

并行计算技术、编译器优化领域先驱, 成就主要包括编译器的基本原理、代码优化和并行编译等

第一位获图灵奖的女性

全球首位图灵奖女性得主去世，她的研究影响了计算机发展历程

巾帼不让须眉：程序媛秘史

---

Edmund Clarke & Ernest Emerson & Joseph Sifakis

2007年图灵奖得主

贡献领域: 开发自动化方法检测计算机硬件和软件中的设计错误

中文一般译作"小爱德蒙·克拉克"(1945年7月27日 – 2020年12月22日)，生于弗吉尼亚州纽波特纽斯，因感染“新冠”逝世

弗吉尼亚大学数学学士学位，杜克大学数学硕士学位，康奈尔大学计算机博士学位。

之后，杜克大学，哈佛大学，卡内基梅隆大学任教

证明在一些程序语言的控制逻辑中没有一个完善的Hoare理论证明系统，1981年，和自己的博士生Allen Emerson 首次提出了模型检测的想法并用在自动机并发系统的验证研究上。成为形式逻辑研究方面模型检查的开创者之一

中文一般译作"艾伦·爱默生"(1954年6月2日－)，是Edmund Clarke在哈佛大学的博士生。 著名的“模型检测”的论文就是Emerson与导师Clarke合作的。

Emerson是从德州奥斯丁分校获得的其数学本科学位，并从哈佛大学应用数学系获得其博士学位。

之所以走上形式化验证的道路，是受1970年代图灵奖得主Tony Hoare的一篇CACM 论文"Proof of Program: Find"的启发。他位列CiteSeer引用次数最多的前1%计算机科学家。

中文一般译作"约瑟夫·斯发基斯"(1946年12月26日－)，1946年出生于希腊Heraklion（克里特岛第一大城市）

青年时分别在希腊 雅典国立科技大学的电子工程系和法国的University of Grenoble计算机系学习。拥有法国国籍，因此成为第一位荣获图灵奖的法国研究人员。

广泛应用于工业界的“模型检查”技术的发明者。该技术是用数学算法来验证一个软件或硬件系统设计是否满足预设的需求（例如在安全性或可靠性方面），其理论基础是1981年由Sifakis在法国、Clarke和 Emerson在美国分别独立提出的

专访 | 图灵奖得主约瑟夫·斯法基斯：人工智能在设计复杂性上还功力不足

图灵奖获得者：我为何要给无人驾驶前景泼冷水？

---

Barbara Liskov

2008年图灵奖得主

贡献领域: 编程语言和系统设计的实践与理论,里氏替换原则

中文一般译作"芭芭拉·利斯科夫",1944年出生于洛杉矶

1961年在加州大学伯克利分校获得数学学士学位. 1968年在斯坦福大学获得博士学位,是美国第一个计算机科学女博士,导师为1971年图灵奖得主约翰·麦卡锡

和美国华人计算机科学家周以真提出著名的 里氏替换原则, 是面向对象程序设计中最重要的几大原则之一

她改变了编程

Barbara Liskov：CLU与Argus语言发明人

计算机领域中的女性

---

Charles Thacker

2009年图灵奖得主

贡献领域: 帮助设计、制造第一款现代PC

中文一般译作"查尔斯·萨克尔" (1943年2月26日－2017年6月12日）,生于美国加州帕萨迪纳

加盟施乐公司Palo Alto研究中心，先后担任MAXC时分操作系统的项目负责人，Alto个人计算系统的首席设计师等职务

设计与实现了第一台现代个人电脑Xerox Alto。（其主持或者参与设计的产品基本上没有在商业上取得很大成功，图灵奖看重的是技术的创新，而非商业上的成功）

1997年，加入微软，帮助创建了微软在英国剑桥的研究院

---

Leslie Valiant

2010年图灵奖得主

贡献领域: 对众多计算理论所做出变革性贡献

中文一般译作"莱斯利·瓦利安特" ，1949年3月28日出生于匈牙利布达佩斯。英国皇家学会会员

在英国剑桥大学国王学院、伦敦帝国学院和华威大学接受教育，曾在卡内基梅隆大学、利兹大学、爱丁堡大学任教，现任教于哈佛大学工程和应用科学学院

成就主要有: 可能近似正确（PAC）学习理论，枚举和代数计算的复杂性，以及并行和分布式计算理论”

对复杂性理论的许多贡献中，引入了 P- 完整性（P-completeness）概念来解释枚举和可靠性问题是难以处理的。

还介绍了机器学习的“可能近似正确”即PAC 模型，有助于计算学习理论领域和全息算法概念的发展。

还以引入批量同步的并行处理模型在计算机系统领域中闻名。

早期在自动机理论方面的工作中还包括一种无上下文解析的算法，直到2010年， 该算法仍然是渐近最快的。

还从事著计算机神经科学的研究，专注于理解记忆和学习。

计算机科学家莱斯利 瓦利安特,人工智能的边界在哪里？

---

Judea Pearl

“贝叶斯网络之父”

2011年图灵奖得主

贡献领域: 通过概率论和因果推理对人工智能领域作出的根本性贡献

中文一般译作"朱迪亚·珀尔"，1936年9月4日出生于以色列特拉维夫。以色列裔美国籍计算机科学家和哲学家，以人工智能概率方法的杰出成绩和贝氏网络的研发而知名。现任教于加州大学洛杉矶分校

2002年，其作为记者的儿子，因为美国人和犹太人身份，在巴基斯坦被基地组织和国际伊斯兰阵线涉嫌的武装部队所劫持和杀害

上世纪 80 年代，带头推动机器进行概率推理 --- 而现在他是这个领域最尖锐的批评者之一。其在最新著作《The Book of Why：The New Science of Cause and Effect》中指出，由于未能完全理解智能真正的含义，人工智能的发展已经受到阻碍。（中文译名 为什么）

在他看来，人工智能领域已经陷入了概率关联（probabilistic association）的泥潭。近来，新闻头条吹捧机器学习和神经网络的最新突破，比如计算机可以下围棋和驾驶汽车。但 Pearl 对此感到腻味。在他看来，当今人工智能领域的最新技术仅仅是上一代机器所做事情的强化版：在大量数据中找到隐藏的规律。其最近称：「所有令人印象深刻的深度学习成果都只是曲线拟合。

他在新书中阐述了一个关于真正智能的机器如何思考的愿景。他认为，关键是用因果推理来代替关联推理。机器不能只有把发烧和疟疾联系起来的能力，还要有推理「疟疾引起发烧」的能力。一旦这种因果框架到位，机器就有可能提出反事实的问题——询问在某种干预下因果关系将如何变化，Pearl 认为这是科学思考的基础。他还提出了一种使这种思维成为可能的正式语言——21 世纪版的贝叶斯框架，允许机器进行概率思维。

“贝叶斯网络”之父重磅力作《为什么》中文版来啦！

图灵奖得主、“贝叶斯网络之父”朱迪亚·珀尔：不透明机器学习的局限性

---

Shafrira Goldwasser & Silvio Micali

2012年图灵奖得主

贡献领域: 在密码学领域 于复杂理论基础之上做出变革性工作；并发展出新的具有数学可证明性的有效验证机制； “零知识证明”

中文一般译作"莎弗莉拉·“莎菲”·戈德瓦塞尔"，1958年11月14日出生于美国纽约，以色列裔美国人。毕业于CMU和UCB，任教于MIT

现代加密技术依靠计算机完成某些数学任务（例如分解非常大的数字）的难度来维持安全性。最复杂的计算机将花费数年甚至数十年才能解码的代码基本上是坚不可摧的。Goldwasser结合了随机性和复杂性领域，以拓宽对计算的可能性和不可能的数学理解。Goldwasser和她的合作者Silvio Micali帮助定义了对任何代码的各种可能的攻击，并设计了新的工具对其进行保护。除零知识证明外，她还开发了测试数字是否为质数的新方法，并且广泛研究了为什么即使在人们仅寻求近似值的情况下，计算机也无法轻易解决现实生活中出现的某些数学问题。

零知识证明

零知识证明-视频介绍

中文一般译作"希尔维奥·米卡利"，1954年10月13日出生于意大利帕勒莫，毕业于罗马大学和UCB，现任职于麻省理工学院计算机科学和人工智能实验室，主要研究密码学，零知识证明，伪随机数生成，安全协议和机制设计。和 Goldwasser是同事关系

同时还是区块链平台阿尔戈兰德的创始人

图灵奖得主Sivio Micali的Algorand区块链协议简介

Algorand-图灵or涂灵，“不可能三角”已破？

---

Leslie Lamport

2013年图灵奖得主

贡献领域: 对于分布式及并形系统的理论与实践具有基础性贡献，尤其是诸如因果逻辑时序（causality and logical clocks）、安全性与存活度（safety and liveness）、复制状态机（replicated state machines）及循序一致性（sequential consistency）等理论概念的发明

中文一般译作"莱斯利·兰波特"，1941年2月7日出生于美国纽约，其父是欧洲移民。

MIT获学士学位，之后到布兰戴斯大学攻读数学博士。

曾在学校教授数学课程，现为微软首席计算机科学家。

• LaTeX排版系统的开发者 (La即Lamport的前两个字母)
• Paxos算法 (问世于1990年)
• 拜占庭将军问题
• Sequential consistency
• Atomic Register Hierarchy
• Lamport面包店算法

认为自己是一个数学家，其次才算是计算机科学家，强调对于证明的重视

兰伯特的研究为分布式系统理论奠定了基础。他最著名的论文是《分布式系统中的时间、时钟和事件顺序》，该论文在2000年获得了PODC影响力论文奖。同时，他也是允许计算机系统合作、避免错误和解决混淆的协议开发的核心人物。

兰伯特的另一篇论文《如何制造一台能正确执行多进程程序的多处理器计算机》，主要定义了顺序一致性的概念，在分布式计算系统看似混乱的行为中增加了清晰的一致性，在系统中，几台自主计算机通过传递消息相互通信，兰伯特设计了重要的算法，并开发了正式的建模和验证协议，以提高真实分布式系统的质量。这些贡献提高了计算机系统的正确性、性能和可靠性。随后，他还撰写了《拜占庭将军的问题》、《分布式快照：确定分布式系统的全局状态》和《兼职议会》等论文。这些论文涉及到逻辑时钟（和前发生的关系）和拜占庭式的失败的概念，在计算机科学领域，它们被数次引用。之后，兰伯特还奖延伸了帕克斯共识算法、面包店算法，和用于计算机系统中同时需要相同资源的多个线程互斥的Chandy – Lamport算法等。

其中，面包店算法在他的《Dijkstra并发编程问题的新解决方案》中有所描述，该算法旨在解决相互排斥的问题，它证明了数据损坏的原因不是由多个线程写入同一内存的位置，之后，还解决了在当前程序未完成前另一个程序读取该位置的漏洞。

20世纪80年代早期，唐纳德·克努特（Donald Knuth）发布了TeX的早期版本，兰伯特在它的基础上开发一套宏。这套宏后来成为标准版宏包，被称之为LaTeX 。

1983年，Addison – Wesley的编辑彼得·戈登（Peter Gordon）向兰伯特提出建议，希望他将其用户手册编汇成一本书。次年9月，兰伯特发布了LaTeX 宏的2.06 a版本，一年后，La TeX 2.09—— Lamport LaTex 的最后版本上线。与此同时， Addison – Wesley也发布了兰伯特此前编写的LaTeX用户手册，名叫《LaTe X ：文件编制系统》，该手册在1986年一共卖掉几十万份。1989年8月21日，斯坦福大学举行TeX用户组会议，兰伯特在会议上同意了将LaTeX的维护和开发工作转交给弗兰克·米特尔·巴赫（Frank Mittel bach）的决策 ，具体后续工作由他与克里斯·罗利（Chris Rowley）和里纳·施普夫（Rainer Schpf）组成 LaTeX3 团队共同完成。随后，在1994年，他们共同发布了LaTe X2e。

兰伯特除了在编程方面极富天赋之外，他也因在时态逻辑方面的工作而闻名。早年间，他介绍了动作的时态逻辑（TLA）。最近，他研究出了TLA +，这是一种用于指定并发和反应系统来进行推理的“语言”。对于这种“语言”，兰伯特在《指定系统》一书中进行了详尽解释，它是一种面向软硬件工程师的工具，并将其定义为“克服工程师对数学反感的堂吉诃德式尝试”。

莱斯利·兰伯特——分布式系统中的开创者

图灵奖得主莱斯利·兰伯特：思考比编码重要

遇见令人惊叹的莱斯利·B·兰伯特

一些轶事

Leslie Lamport

Paxos算法的历史：

Paxos 的诞生

共识算法的前生今世

---

Michael Stonebraker

2014年图灵奖得主

贡献领域: 对现代数据库的概念和实践作出的根本性贡献

中文一般译作"迈克尔·斯通布雷克"，1943年10月11日出生于新罕布什尔州米尔顿.

普林斯顿大学取得学士学位，而后转至密歇根大学分别获得硕士学位和博士学位。其博士论文为《大型马尔科夫随机链的压缩》。

1971年博士毕业，当时科德的关系模型论文发表不久，引起了其极大兴趣。这篇论文引发了传统数据库学者和关系数据库学者之间的一场激烈争论。传统数据库阵营认为，全新的关系数据库不可能被构建出来，即使建起来，也没有人能理解。关系数据库派则反唇相讥，认为这是一项有趣而重要的工作。作为加州大学伯克利分校的小助教，其坚定地站在了关系数据库一派。

研究领域为数据库，通过一系列学术原型及初步商业化，在关系数据库方面的研究结果对现今市场上的产品有很深影响。同时也是以下数据库公司的创始人：Ingres, Illustra, Cohera, StreamBase Systems, Vertica，以及VoltDB。（其中Postgres是Ingres的后续项目，引入了平衡多分数–B树）

数据库领域的布道者，SQL Server/Sysbase的奠基人

冲浪在数据潮头的实干家——数据库界的四位图灵奖得主（4）

数据库大师访谈 – 迈克尔·斯通布雷克Michael Stonebraker访谈录 （数据库实现，Ingres

---

Whitfield Diffie & Martin Hellman

2015年图灵奖得主

贡献领域: 公开密钥加密技术,迪菲-赫尔曼密钥交换

中文一般译作"惠特菲尔德·迪菲",1944年出生于华盛顿

在华盛顿特区出生,在纽约市长大,从10岁开始就对密码学有兴趣. 大学进入麻省理工,主修数学.

中文一般译作"马丁·赫尔曼",1945年出生于纽约

在大学主修主修电机工程。1966年，在纽约大学取得学士学位。1967年，在斯坦福大学取得硕士学位，1969年取得电机工程博士。曾在在IBM华生研究中心（Thomas J. Watson Research Center）工作

迪菲-赫尔曼密钥交换发表于1976年

迪菲-赫尔曼密钥交换（Diffie–Hellman key exchange，缩写为D-H）发表于1976年,可以让双方在完全没有对方任何预先信息的条件下通过不安全信道创建起一个密钥。这个密钥可以在后续的通讯中作为对称密钥来加密通讯内容。

这个方法被发明后不久出现了RSA，另一个进行公钥交换的算法，其使用了非对称加密算法

不论是SSL还是TLS, 其核心都是利用 迪菲-赫尔曼密钥交换（D-H）, 或者其他类似的算法进行加密 (默认用的是RSA，但用D-H算法更安全，可参考 阮一峰-图解SSL/TLS协议)

马丁·赫尔曼：那个带给我们“安全感“的男人

---

Tim Berners-Lee

2016年图灵奖得主

贡献领域: HTTP

中文一般译作"蒂姆·伯纳斯-李"

---

John Hennessy & [David Patterson](https://zh.wikipedia.org/wiki/%E5%A4%A7%E8%A1%9B%C2%B7%E5%B8%95%E7%89%B9%E6%A3%AE_(%E5%AD%B8%E8%80%85 "David Patterson")

2017年图灵奖得主

贡献领域: 计算机体系结构，微处理器

中文一般译作"约翰·轩尼诗","大卫·帕特森"。 二人开发了RISC微处理器 并且让这一概念流行起来。

二人还有一本合著 《计算机体系结构：量化研究方法》

约翰·轩尼诗（1953年9月22日 – ）, MIPS公司创办人，第十任斯坦福大学校长, 2018年担任Alphabet董事会主席

马克·安德森称其为 “矽谷教父”

大卫·帕特森(1947年11月16日 － ), 加州大学伯克利分校教授(2016年从UCB退休，作为杰出工程师加入谷歌)，曾任ACM主席一职。主要成就包括 精简指令集，RAID(磁盘阵列的三位主要研发者之一)与计算机集群

MIPS，路在何方？

解读两大精简指令集：RISC-V和MIPS

两人平分由谷歌提供的100万美元奖金。而轩尼诗恰好是谷歌母公司Alphabet的执行主席，帕特森则是Google Brain团队的成员，故而有2017年图灵奖得主花落谁家？GOOGLE竟把图灵奖奖金发给自己的员工

---

Yoshua Bengio & Geoffrey Hinton & Yann LeCun

2018年图灵奖得主

贡献领域: 深度学习

约书亚·本希奥（法语：Yoshua Bengio，1964年3月5日－），加拿大计算机科学家，因人工神经网络和深度学习领域的研究而闻名

杰弗里·辛顿（英语：Geoffrey Hinton，1947年12月6日－），英国出生的加拿大计算机学家和心理学家，多伦多大学教授。以其在类神经网络方面的贡献闻名。辛顿是反向传播算法和对比散度算法的发明人之一，也是深度学习的积极推动者，被誉为“深度学习之父” （同时还是乔治·布尔的曾曾孙；布尔值即出自其名）

杨立昆（法语：Yann Le Cun，英语：Yann LeCun，原中文译名扬·勒丘恩，1960年7月8日－），法国籍计算机科学家，2018年图灵奖得主，其在机器学习、计算机视觉、移动机器人和计算神经科学等领域都有很多贡献。最著名的工作是在光学字符识别和计算机视觉上使用卷积神经网络 (CNN)，因而也被称为卷积网络之父。他同Léon Bottou和Patrick Haffner等人创建了DjVu图像压缩技术，同Léon Bottou开发了Lush语言。 Facebook人工智能研究院的第一任主任

诺奖季说诺奖：一家 9 次 15 人获诺贝尔奖的公司，它是怎样兴衰的?

Yoshua Bengio、 Yann LeCun、Geoffrey Hinton 获 2018 年图灵奖

Deep Learning Pioneers: Yoshua Bengio, Yann LeCun & Geoffrey Hinton

图灵奖揭晓：授予深度学习三巨头

---

Edwin Catmull & Patrick Hanrahan

2019年图灵奖得主

贡献领域: 计算机图形学及其应用

是自 1988年图灵奖得主Ivan Edward Sutherland后，时隔31年，计算机图形学再获图灵奖

艾德文·卡特姆（1945年3月31日－），迪士尼动画工作室和皮克斯动画工作室现任总裁，皮克斯的创始人之一

帕特里克·汉拉恩（1955年－），斯坦福大学计算机图形实验室计算机科学与电机工程学教授，主要研究渲染算法、图形处理器及科学插画与可视化,因渲染和计算机图形研究获得三个奥斯卡金像奖。 Tableau创办者

2019图灵奖得主10年前的对话

---

Alfred Aho & Jeffrey Ullman

2020年图灵奖得主

贡献领域: 编译原理

阿尔佛雷德·艾侯（1941年8月9日－），生于加拿大安大略省提明斯（Timmins）。在哥伦比亚大学任教，贝尔实验室计算机科学研究中心的会长。研究领域为量子计算、编程语言、编译器和算法

AWK中的A就是其姓氏“Aho ”的缩写

同时也与杰弗瑞·乌尔曼和约翰·霍普克洛夫特著作大量计算机科学领域的参考书，包括算法、数据结构以及计算机科学基础。其中最著名的是与 Ravi Sethi及杰弗瑞·乌尔曼合著《编译器：原理、技术、工具》,即著名的龙书

也写了Unix下egrep和fgrep工具的最初版本

杰弗瑞·乌尔曼（1942年11月22日－），斯坦福大学名誉教授。其合作编写的编译器教材（也称龙书）、计算理论（也称灰姑娘书，中文一般译作「自动机理论、语言和计算导论」）、数据结构、数据库教材，被认为是所在领域的标准

图灵奖出炉，“龙书” 作者、编程语言大佬 Alfred Aho 和 Jeffrey Ullman 获奖

2020图灵奖颁给编程的回忆——Jeff Dean的编译启蒙

红宝书与绿宝书与书：哪些经典计算机书籍的诨名和它们背后的故事

原文地址

不少诨名得自原书封面，比如“灰姑娘书”，说的就是图灵得主Hopcroft等人的名作《自动机理论、语言和计算导论》（Addison－Wesley，1979，清华大学出版社2002年影印了第2版）。本来书名实在拗口，要不是内容了不起，恐怕会拒不少读者于千里之外；但聪明的读者们不仅没有被这个原名吓倒，反而从封面上找到了解决之道：该书初版的封面也确实吸引人——画的是一个小女孩儿，拼命地从一个古怪装置上拉一条绳子（那个恶魔般的装置上赫然写着“NP完全问题”）。对，就叫它“灰姑娘书”吧！这个名字在读者中不胫而走，每个人刚拿到这本书，看着那小女孩儿的认真样儿（封底上画着她把那个劳什子弄得一团糟），都不禁对“灰姑娘”这个称呼会心一笑。

该书甫一问世就成了这个领域最权威的教材，20多年的工业发展都未能撼动灰姑娘的地位。但经过时代变迁，“自动机理论”逐渐从研究生科目落到了本科生的课程表里。为了让学生们好过一些，作者们推出了难度降低、涉及面减小的第二版。不想读者们根本不领情——老师和学生都说还是第一版内容充实，说第二版删掉了一些关键内容，还说作者们为了显得“易懂”，有些地方竟改得口罗嗦了。在我看来，这些抱怨都有道理，但很可能大家的腹诽更多地是为了封面：灰姑娘不见了，取而代之的是蓝黑过渡的底色上的状态机图案。这不能不让念旧的老读者沮丧。抱怨在所难免，而对所有人来说，无论封面怎样，这本书还是“灰姑娘书”。

另一部因封面得名的书是“龙书”，也就是Aho等人所著的《编译原理技术与工具》（Addison－Wesley，1986，人民邮电出版社2002年影印版）。Aho是ACM会员奖得主，还与上述Hopcroft合著过《数据结构与算法》等名作，但他最了不起的著作恐怕还是这一部。所谓“龙书”，说全了应该是“屠龙宝书”，因为封面上画著一条红龙和一位骑士。西方人眼里，龙都是恶龙，是妖邪之物，而这条龙身上却写着“编译器设计复杂度”的字样！那么骑士又会用何种法宝迎战呢？只见他披着“数据流分析”铠甲，挟著“LALR分析器生成器”长剑，正忙着在一台终端前输入呢，敢情是个高科技武士！这部“龙书”，人人谈起都要皱眉，列出一堆牢骚（概念定义不清晰呀，多位作者分工不明确呀），但没人能绕过它谈编译原理：毕竟“编译器设计”这条恶龙太歹毒，而此书还是屠龙的最佳指南。

有意思的是，该书3位作者中的两位此前还合作过另一本《编译器设计原则》，封面上同样是对峙的恶龙和勇士，只不过那时他们还没开打，仅仅怒目相向而已。为了区别，人们把早先的这本称为“绿龙书”，而后来名声更大的还是“红龙书”。从绿龙到红龙，从怒视到交手，也许封面上的冲突程度也体现了编译器领域的研究进展吧。

如果在编程语言课上有人说到了“旧约”、“新约”，大家用不着以为这是在讨论信仰问题。这里的“圣经隐喻”，指的无非是编程语言的圣书，Kernighan和Ritchie写的《C程序语言》（也被按作者称为“K＆R”），而所谓旧、新约，不过是该书的初版（Prentice－Hall，1978）和第二版（Prentice－Hall，1988，清华大学出版社2000年影印版）。

Kernighan是上述Aho在贝尔实验室的同事，甚至还共同发明了另一门语言AWK（他们俩分别是其中的A和K），但谈到对C语言的贡献，Kernighan却连忙撇清自己：“Ritchie发明了C语言，没我什么事，句号。”

那么这部圣经呢？它的雏形是Kernighan给贝尔的同事们写的一份教程。后来，Kernighan索性“拧著Ritchie的胳膊”，和这个原创者一起完成了全书。ANSIC标准形成后，两位作者又把该书更新到第二版。虽然Kernighan总在称赞Ritchie这位合作者和图灵奖得主（“Ritchie的文章绝了，我们俩写的段落放在一起高下立判”），但其实他本人在C语言发展中的作用也难以抹煞——我们知道，“旧约”出版的几年后，实验室里他负责的那个部门来了一个叫Stroustrup的年轻人；我们还知道，这个年轻人后来发明了C＋＋语言。

既然在计算机课上“圣经”未必有宗教含义，那么“四人帮（GoF）”也往往另有所指。这说的是划时代的软件开发专著《设计模式》（Addison－Wesley，1995，机械工业出版社2002年影印版）。

GoF指的是四位作者Gamma、Helm、Johnson和Vlissides。当年他们还是声名未彰的软件开发者，而本书一炮打响后，这四位都成了名重天下的大师。说起他们能结成“帮派”，并最终成书，简直近乎不可思议：在写作该书时，四人分散在北美大陆的不同角落：魁北克、伊利诺斯、纽约、加州，Vlissides甚至愿意用“3个时区”强调他们地理分布上的跨度。

未来的大师们主要通过当时刚刚时兴的电子邮件交换意见，有时候，他们发现距离对这样复杂的写作可能也是一种优势：大家要考虑成熟再发表想法；而当东部的同事早已丢下问题蒙头大睡时，西部的某个同事还能拾起难题，从他止步的地方重新开始。“设计模式”对软件行业的影响无法低估，很多幼稚的开发者甚至言必称“模式”或“GoF”，殊不知这四位老友现在比当时更加天各一方（Gamma、Helm分别回了瑞士、澳大利亚老家），大家至今也只是在会议上碰过几次面而已。

谈到这里，如果您是一位雄心勃勃的作者，也许您已经大致明白了构成名著的要素：最好是有奇特的封面，要不就得找到有趣的合作者，再不，还可以在版次方面下功夫——这样八成能够促成一个响亮的外号，作品的知名也指日可待。可是，如果“巴巴雷里”先生画不好画儿，恐怕个头儿再高也没法成为艺术史上的乔尔乔内；同样，要是您的大作里没有“干货”，再响亮的诨名怕也只是个玩笑吧。

---

Jack Dongarra

2021年图灵奖得主

贡献领域: 高性能计算

杰克·唐加拉(1950年7月18日－), 生于芝加哥，1972年在芝加哥州立大学获得数学学士学位(类似于地方性师范学校，本想当高中老师)，1973年在伊利诺伊理工学院获得计算机科学硕士学位，1980年在新墨西哥大学获得应用数学的博士学位(师从Matlab创始人、美国国家工程院院士Cleve Moler)

对数值算法和库的开创性贡献，使高性能计算软件在40多年来跟上了指数级硬件改进的步伐

专注于线性代数、并行计算、高级计算机体系结构的使用、编程方法，和并行计算机工具的数值算法。同时研究包括开发，测试和记录高质量的数学软件，很多被整合到了MATLAB、R语言、SciPy等软件中.

我眼中一切都是线性代数

此外还是 超级计算机排名 TOP500 发起人之一

图灵奖公布！高性能计算先驱、为超算铺平道路的Jack Dongarra获奖

图灵奖颁给超算跑分开创者！Matlab&SciPy都跟他有关：“我眼中一切都是线性代数

---

更多参考：

图灵奖获得者

[1]

罗宾·米尔纳——标准元语言ML发明者: http://www.iis7.com/a/nr/189387.html

[2]

罗宾·米尔纳: https://baike.baidu.com/item/%E7%BD%97%E5%AE%BE%C2%B7%E7%B1%B3%E5%B0%94%E7%BA%B3/7868253

[3]

亨利·罗伯茨: http://www.iis7.com/a/nr/219684.html

[4]

巴特勒·兰普森——Alto系统首席科学家: http://www.iis7.com/a/nr/199462.html

[5]

曼纽尔·布卢姆及其《迈向有意识的人工智能》的演讲: https://blog.sciencenet.cn/blog-3005681-1194536.html

[6]

Go语言的并发模型: https://juejin.cn/post/6994008797085696007

[7]

获图灵奖的三位数据库专家介绍.pptx: https://max.book118.com/html/2020/0603/8074037120002114.shtm

[8]

OS/360系统: https://baike.baidu.com/item/OS%2F360

[9]

焦油坑: https://zhuanlan.zhihu.com/p/121105924

[10]

《人月神话》: https://book.douban.com/subject/26358448/

[11]

只有喜欢研究编程的人才能成为10x程序员: https://www.techug.com/post/hackers-are-the-real-10x-engineers.html

[12]

Ole-Johan Dahl: https://baike.baidu.com/item/%E5%A5%A5%E5%88%A9-%E7%BA%A6%E7%BF%B0%C2%B7%E8%BE%BE%E5%B0%94/9788198

[13]

Kristen Nygaard: https://zh.wikipedia.org/wiki/%E5%85%8B%E5%88%A9%E6%96%AF%E7%99%BB%C2%B7%E5%A5%88%E5%8A%A0%E7%89%B9

[14]

Tony Hoare: https://dashen.tech/2020/05/07/%E5%A4%A9%E7%A5%9E%E8%8D%9F%E8%90%83/#Tony-Hoare

[15]

Dijkstra: https://dashen.tech/2020/05/07/%E5%A4%A9%E7%A5%9E%E8%8D%9F%E8%90%83/#Dijkstra

[16]

Alan Kay: https://zh.wikipedia.org/wiki/%E8%89%BE%E4%BC%A6%C2%B7%E5%87%AF

[17]

Vinton Cerf: https://zh.wikipedia.org/wiki/%E6%96%87%E9%A0%93%C2%B7%E7%91%9F%E5%A4%AB

[18]

Robert Kahn: https://zh.wikipedia.org/wiki/%E7%BE%85%E4%BC%AF%E7%89%B9%C2%B7%E5%8D%A1%E6%81%A9

[19]

文顿·瑟夫：把互联网送上“天堂” : https://www.sohu.com/a/163162042_152590

[20]

三访互联网之父文顿·瑟夫: https://www.sohu.com/a/251667430_152590

[21]

“互联网之父”文顿·瑟夫：我从没后悔改变世界: https://www.chinanews.com.cn/it/hlwxw/news/2007/03-05/883423.shtml

[22]

《互联网时代》：“互联网之父”首度齐聚荧屏: http://politics.people.com.cn/n/2014/0830/c70731-25571531.html

[23]

TCP/IP的故事: https://dashen.tech/2021/03/16/Wireshark%E7%BD%91%E7%BB%9C%E5%88%86%E6%9E%90%E5%B0%B1%E8%BF%99%E4%B9%88%E7%AE%80%E5%8D%95/#TCP-IP%E7%9A%84%E6%95%85%E4%BA%8B

[24]

Presidential Medal of Freedom: https://en.wikipedia.org/wiki/Presidential_Medal_of_Freedom

[25]

Peter Naur: https://zh.wikipedia.org/wiki/%E5%BD%BC%E5%BE%97%C2%B7%E8%AB%BE%E7%88%BE

[26]

BNF for Go: https://kuree.gitbooks.io/the-go-programming-language-report/content/18/text.html

[27]

Frances Allen: https://zh.wikipedia.org/wiki/%E6%B3%95%E5%85%B0%C2%B7%E8%89%BE%E4%BC%A6

[28]

全球首位图灵奖女性得主去世，她的研究影响了计算机发展历程: https://tech.sina.com.cn/digi/2020-08-06/doc-iivhvpwx9531849.shtml

[29]

巾帼不让须眉：程序媛秘史: https://zhuanlan.zhihu.com/p/58638643

[30]

Barbara Liskov: https://zh.wikipedia.org/wiki/%E8%8A%AD%E8%8A%AD%E6%8B%89%C2%B7%E5%88%A9%E6%96%AF%E7%A7%91%E5%A4%AB

[31]

约翰·麦卡锡: https://dashen.tech/2020/05/07/%E5%A4%A9%E7%A5%9E%E8%8D%9F%E8%90%83/#John-McCarthy

[32]

周以真: https://www.guokr.com/article/439742/

[33]

里氏替换原则: https://baike.baidu.com/item/%E9%87%8C%E6%B0%8F%E6%9B%BF%E6%8D%A2%E5%8E%9F%E5%88%99/3744239

[34]

她改变了编程: http://www.360doc.com/content/19/1215/14/485301_879885333.shtml

[35]

Barbara Liskov：CLU与Argus语言发明人: https://blog.csdn.net/weixin_33906657/article/details/92566431

[36]

计算机领域中的女性: https://zh.wikipedia.org/wiki/%E8%AE%A1%E7%AE%97%E6%9C%BA%E9%A2%86%E5%9F%9F%E4%B8%AD%E7%9A%84%E5%A5%B3%E6%80%A7

[37]

计算机科学家莱斯利 瓦利安特,人工智能的边界在哪里？: https://blog.csdn.net/weixin_42509720/article/details/118376976

[38]

为什么: https://book.douban.com/subject/33438811/

[39]

“贝叶斯网络”之父重磅力作《为什么》中文版来啦！: https://www.sohu.com/a/339429660_473283

[40]

图灵奖得主、“贝叶斯网络之父”朱迪亚·珀尔：不透明机器学习的局限性: https://www.sohu.com/a/354990395_99979179

[41]

零知识证明: https://baike.baidu.com/item/%E9%9B%B6%E7%9F%A5%E8%AF%86%E8%AF%81%E6%98%8E/8804311

[42]

零知识证明-视频介绍: https://search.bilibili.com/all?keyword=%E9%9B%B6%E7%9F%A5%E8%AF%86%E8%AF%81%E6%98%8E

[43]

阿尔戈兰德: https://www.algorand.com/

[44]

图灵奖得主Sivio Micali的Algorand区块链协议简介: https://blog.csdn.net/omnispace/article/details/80135402

[45]

Algorand-图灵or涂灵，“不可能三角”已破？: https://www.163.com/dy/article/ELNLC10P05313T94.html

[46]

Paxos算法: https://blog.csdn.net/hanghangaidoudou/article/details/76014502

[47]

Sequential consistency: https://www.imooc.com/article/287140

[48]

莱斯利·兰伯特——分布式系统中的开创者: http://www.iis7.com/a/nr/1711316.html

[49]

遇见令人惊叹的莱斯利·B·兰伯特: https://blog.csdn.net/weixin_26722031/article/details/108136034

[50]

一些轶事: https://www.zhihu.com/question/20922216

[51]

Leslie Lamport: http://lamport.azurewebsites.net/pubs/pubs.html#lamport-paxos

[52]

Paxos 的诞生: http://icyfenix.cn/distribution/consensus/paxos.html

[53]

共识算法的前生今世: https://www.bilibili.com/video/BV13Z4y1U7QL

[54]

冲浪在数据潮头的实干家——数据库界的四位图灵奖得主（4）: https://xueqiu.com/3993902801/84449285

[55]

数据库大师访谈 – 迈克尔·斯通布雷克Michael Stonebraker访谈录 （数据库实现，Ingres: https://www.modb.pro/db/105091

[56]

迪菲-赫尔曼密钥交换: https://zh.wikipedia.org/wiki/%E8%BF%AA%E8%8F%B2-%E8%B5%AB%E7%88%BE%E6%9B%BC%E5%AF%86%E9%91%B0%E4%BA%A4%E6%8F%9B

[57]

迪菲-赫尔曼密钥交换: https://zh.wikipedia.org/wiki/%E8%BF%AA%E8%8F%B2-%E8%B5%AB%E7%88%BE%E6%9B%BC%E5%AF%86%E9%91%B0%E4%BA%A4%E6%8F%9B

[58]

阮一峰-图解SSL/TLS协议: https://www.ruanyifeng.com/blog/2014/09/illustration-ssl.html

[59]

马丁·赫尔曼：那个带给我们“安全感“的男人: https://www.freebuf.com/articles/people/216090.html

[60]

Tim Berners-Lee: https://twitter.com/timberners_lee

[61]

John Hennessy: https://zh.wikipedia.org/wiki/%E7%B4%84%E7%BF%B0%C2%B7%E8%BB%92%E5%B0%BC%E8%A9%A9

[62]

《计算机体系结构：量化研究方法》: https://book.douban.com/subject/7006537/

[63]

乔治·布尔: https://zh.wikipedia.org/wiki/%E4%B9%94%E6%B2%BB%C2%B7%E5%B8%83%E5%B0%94

[64]

Yoshua Bengio、 Yann LeCun、Geoffrey Hinton 获 2018 年图灵奖 : https://www.sohu.com/a/304222893_651893

[65]

Deep Learning Pioneers: Yoshua Bengio, Yann LeCun & Geoffrey Hinton: https://www.bilibili.com/video/av65812161/

[66]

Ivan Edward Sutherland: https://dashen.tech/2020/05/07/%E5%A4%A9%E7%A5%9E%E8%8D%9F%E8%90%83/#Ivan-Edward-Sutherland

[67]

《编译器：原理、技术、工具》: https://book.douban.com/subject/3296317/

[68]

2020图灵奖颁给编程的回忆——Jeff Dean的编译启蒙: http://finance.sina.com.cn/tech/csj/2021-04-01/doc-ikmyaawa3111597.shtml

[69]

红宝书与绿宝书与书：哪些经典计算机书籍的诨名和它们背后的故事: https://zhuanlan.zhihu.com/p/119497274

[70]

原文地址: https://www.claudxiao.net/oldblog/?action=show&id=14

[71]

SciPy: https://github.com/cuishuang/scipy

[72]

TOP500: https://www.top500.org/

[73]

发起人之一: https://zh.wikipedia.org/wiki/TOP500

[74]

图灵奖获得者: https://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96

本文由 mdnice 多平台发布