Robert W. (Bob) Floyd (8 Haziran 1936 - 25 Eylül 2001), Amerikalı bilgisayar bilimcisi. Bir çizgedeki en kısa yolları bulmaya yarayan Floyd-Warshall algoritmasıyla tanınmıştır. 1967 tarihli Assigning Meanings to Programs makalesiyle program doğrulama dalının temellerini atan Floyd 1978'de Turing Ödülü'ne değer görülmüştür. Kategori:1936 doğumlular Kategori:New York doğumlu bilim insanları Kategori:2001 yılında ölenler Kategori:Amerikalı bilgisayar bilimcileri Kategori:Turing Ödülü sahipleri Kategori:Association for Computing Machinery Fellow'ları Kategori:Biçimsel yöntemler kişileri Kategori:Chicago Üniversitesinde öğrenim görenler Kategori:Stanford Üniversitesi Mühendislik Fakültesi öğretim üyeleri Kategori:Guggenheim Fellows