Robert W. Floyd

罗伯特·W·弗洛伊德 [1]（原名罗伯特·威洛比·弗洛伊德；1936 年 6 月 8 日－2001 年 9 月 25 日）是一位美国计算机科学家。他的贡献包括设计了 Floyd-Warshall 算法（独立于 Stephen Warshall），该算法可以有效地找到图中的所有最短路径，以及他在解析方面的工作；弗洛伊德用于检测序列中循环的循环查找算法也归功于他。在一篇孤立的论文中，他介绍了渲染图像的误差扩散的重要概念，也称为弗洛伊德-斯坦伯格抖动（尽管他区分了抖动和扩散）。他在 1967 年发表的论文《为程序分配含义》中开创了使用逻辑断言进行程序验证的领域。这是对后来的霍尔逻辑的贡献。弗洛伊德于 1978 年获得图灵奖。弗洛伊德出生于纽约市，14 岁完成高中学业。1953 年（当时年仅 17 岁）在芝加哥大学获得文科学士学位 (B.A.)，并于 1958 年获得物理学第二学士学位。弗洛伊德是卡尔·萨根的大学室友。 [2] 弗洛伊德于20世纪50年代成为伊利诺伊理工学院装甲研究基金会（现为IIT研究所）的一名工作人员。在 20 世纪 60 年代初成为计算机操作员后，他开始发表许多论文，包括有关编译器（尤其是解析）的论文。他是运算符优先语法的先驱，并因在 Floyd (1967) 中开创了编程语言语义领域而受到赞誉。 27 岁时，他被任命为卡内基梅隆大学副教授，六年后成为斯坦福大学正教授。他在没有获得哲学博士学位的情况下获得了这一职位。领域： 计算机科学 教育背景： 芝加哥大学 文学士 理学学士 奖项获奖情况： 图灵奖 (1978) 计算机先锋奖 (1991)