ロバートWフロイド（1936年6月8日、ニューヨーク、ニューヨーク、アメリカ合衆国-2001年9月25日死去）、アメリカのコンピューターサイエンティストであり、コンピューターサイエンスの最高の栄誉である1978 AMチューリング賞を受賞しました。コンピュータサイエンスの次の重要なサブフィールド：解析の理論、プログラミング言語のセマンティクス、自動プログラム検証、自動プログラム合成、およびアルゴリズムの分析。」
1953年、フロイドは、才能のある子供たちのための実験プログラムの一部として登録したシカゴ大学で教養学士号を取得しました。卒業すると、彼はイリノイ工科大学の鎧研究財団に、最初はコンピューターオペレーターとして、次にコンピュータープログラマーとして採用されました。1958年にシカゴ大学で物理学の2番目の学士号を取得する時間を見つけました。1962年にフロイドはマサチューセッツ州ウェイクフィールドに移り、執筆に特化した初期のソフトウェア会社であるComputer Associatesのシニアプロジェクトサイエンティストとして働いていました。コンパイラ。
フロイドは1965年にカーネギー工科大学（現在はカーネギーメロン大学）のコンピューターサイエンス学部に参加しました。コンピューターサイエンスは新しい学問分野であり、フロイドは学校のカリキュラム開発に尽力しました。フロイドは1968年にスタンフォード大学のコンピューターサイエンス学部に転入し、1970年に教授になりました。1994年にスタンフォード大学を退職した直後に、フロイドはまれな早期認知症の一種であるピック病と診断されました。
フロイドは、アメリカ芸術科学アカデミー、アメリカ科学振興協会、およびコンピューティング機械協会（ACM）に選出されました。彼は長年にわたってCommunications of the ACMの編集委員を務め、1992年にIEEE Computer Pioneer Awardを受賞しました。Floydはアメリカのコンピューター科学者Richard Beigelとともに、古典的なThe Language of Machines：An Introduction to Computability and Formal Languages（1994）を書きました。 ）。
