图灵奖：罗伯特·弗洛伊德（1978）

文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 16 期。图灵奖：罗伯特·弗洛伊德（1978）

本文来自 wiki:Robert W. Floyd，翻译基于 谷歌翻译.

知识点：图最短路径算法——弗洛伊德算法

罗伯特·W·弗洛伊德（1936 年 6 月 8 日 - 2001 年 9 月 25 日），美国计算机科学家。他设计了 Floyd-Warshall 算法，该算法可以有效地找到图中的所有最短路径。他在一篇论文中介绍了渲染图像的误差扩散的重要概念，也称为 Floyd–Steinberg 抖动（尽管他区分了抖动和扩散）。他在 1967 年发表的论文《Assigning Meanings to Programs》中开创了使用逻辑断言进行程序验证的领域，这是对后来的 Hoare 逻辑的贡献。

他于 1978 年获得图灵奖。

其图灵奖颁奖词为“对创建高效可靠软件的方法论产生了显著影响，并帮助建立了计算机科学的以下重要子领域：解析理论、编程语言语义、自动程序验证、自动程序合成以及算法分析。”。（For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms.）

生平

弗洛伊德 1936 年出生于纽约市，14 岁高中毕业。

1953 年（当时年仅 17 岁）在芝加哥大学获得文科学士学位 (B.A.)，并于 1958 年获得物理学的学士学位。

弗洛伊德于 20 世纪 50 年代成为伊利诺伊理工学院装甲研究基金会（现为 IIT 研究所）的一名工作人员。

在 20 世纪 60 年代初成为计算机操作员后，他开始发表许多论文，包括有关编译器（尤其是解析）的论文。他是运算符优先语法的先驱，并因开创了编程语言的语义领域而备受赞赏。

27 岁时，他被任命为卡内基梅隆大学副教授，6 年后成为斯坦福大学正教授。

注意，他是本科。

弗洛伊德与唐纳德·高德纳 (Donald Knuth) 合作密切，是高德纳 (Donald Knuth) 的开创性著作《计算机编程的艺术》(The Art of Computer Programming) 的主要审稿人，并且是该著作中被引用次数最多的人。

而后，他罹患皮克氏病（一种神经退行性疾病），因此于 1994 年初退休。

2001 年 9 月 25 日去世。

他的爱好包括徒步旅行，而且他还是一位狂热的西洋双陆棋玩家。

贡献

• Floyd–Warshall algorithm
• Floyd–Steinberg dithering
• Floyd’s cycle-finding algorithm
• Floyd’s triangle
• ALGOL

~~

都看到这儿了，不如关注每日推送的“科文路”、互动起来~

至少点个赞再走吧~

觉得还不错？可以在公众号菜单栏找到“赞赏”入口~