ロバート・フロイド
ロバート・W・フロイド(Robert W. Floyd、1936年6月8日 - 2001年9月25日)は、アメリカ合衆国の計算機科学者。
彼の貢献としてワーシャル-フロイド法の設計がある(スティーブン・ワーシャル(英語版)とはそれぞれ独立に考案)。これはグラフ理論における最短経路問題の解法のひとつである。また、数列の循環を検出するフロイドの循環検出法があり、これらは構文解析にも利用できる。また、別の論文で彼は画像描画のための誤差拡散に関する重要な概念を提案しており、これがフロイド-スタインバーグ・ディザリングとして知られている(ただしフロイド自身は誤差拡散とディザリングは区別して考えていた)。特に有名な貢献は1967年の論文 Assigning Meanings to Programs(プログラムへの意味の割り当て)である。この中でプログラム検証を数理論理学の手法を使って行うという先駆的な試みがなされている。これは後のホーア論理につながる重要な貢献となった。