罗伯特·W·弗洛伊德

罗伯特·W·弗洛伊德(生于1936年6月8日，纽约生于美国纽约，2001年9月25日去世)，美国计算机科学家，1978年诺贝尔计算机奖得主点图灵奖的最高荣誉计算机科学，以表彰“帮助建立了计算机科学的以下重要子领域解析编程语言的语义、自动程序验证、自动程序合成和算法分析。”

1953年，弗洛伊德获得了学士学位在文科从芝加哥大学他是该校天才儿童实验项目的一员。毕业后，他受雇于美国陆军装甲研究基金会伊利诺伊理工学院我先做计算机操作员，然后做计算机程序员。他找到时间获得了第二个学士学位物理1958年从芝加哥大学毕业。1962年，弗洛伊德搬到了马萨诸塞州的韦克菲尔德。在早期专门从事写作的软件公司Computer Associates担任高级项目科学家编译器．

弗洛伊德加入了卡内基理工学院的计算机科学系卡内基梅隆大学)。计算机科学是一门新兴的学科纪律弗洛伊德在制定学校课程方面发挥了重要作用。1968年，弗洛伊德转到哈佛大学的计算机科学系斯坦福大学1970年，他成为了该校的正教授。1994年从斯坦福大学退休后不久，弗洛伊德被诊断出患有选择疾病这是一种罕见的早产儿痴呆．

弗洛伊德被选为美国艺术与科学学院,美国科学促进会以及美国计算机协会(ACM)。他曾在ACM通信并于1992年获得IEEE计算机先锋奖。弗洛伊德与美国计算机科学家理查德·贝格尔(Richard Beigel)一起创作了这部经典之作机器语言:可计算性和形式语言导论(1994)。