科学

罗伯特·弗洛伊德(Robert W Floyd)美国计算机科学家

罗伯特·弗洛伊德(Robert W Floyd)美国计算机科学家
罗伯特·弗洛伊德(Robert W Floyd)美国计算机科学家
Anonim

罗伯特·弗洛伊德Robert W Floyd)(1936年6月8日出生,美国纽约,2001年9月25日去世),美国计算机科学家,并以1978年“图灵奖”获得了“计算机科学的最高荣誉”。以下是计算机科学的重要子领域:解析理论,编程语言的语义,自动程序验证,自动程序综合以及算法分析。”

1953年,弗洛伊德(Floyd)从芝加哥大学(University of Chicago)取得了文科学士学位,并在那里参加了针对天才儿童的实验计划。毕业后,他被伊利诺伊理工学院的装甲研究基金会雇用,首先是计算机操作员,然后是计算机程序员。1958年,他找到了时间从芝加哥大学获得物理学的第二个学士学位。1962年,弗洛伊德(Floyd)搬到马萨诸塞州韦克菲尔德(Wakefield),担任Computer Associates(一家专门从事写作的早期软件公司)的高级项目科学家。编译器。

弗洛伊德(Floyd)于1965年加入卡内基理工学院(现为卡内基梅隆大学)的计算机科学系。计算机科学是一门新兴的学科,弗洛伊德(Floyd)有助于开发该学校的课程。1968年,弗洛伊德(Floyd)进入斯坦福大学计算机科学系,于1970年成为正式教授。1994年,弗洛伊德(Floyd)从斯坦福大学退休后不久,被诊断出患有皮克氏病,这是一种罕见的过早性痴呆形式。

弗洛伊德(Floyd)当选为美国艺术与科学研究院,美国科学促进协会和计算机协会(ACM)。他曾在ACM通信部编辑委员会任职多年,并于1992年获得IEEE计算机先锋奖。弗洛伊德与美国计算机科学家理查德·贝格尔(Richard Beigel)共同撰写了经典的《机器语言:可计算性和形式语言入门》(1994年)。 )。