Robert Floyd (n. 8 iunie 1936, New York, SUA — d. 25 septembrie 2001) a fost un informatician american, laureat al Premiului Turing în 1978 pentru influența pe care a exercitat-o asupra metodologiilor de creare de software eficient și fiabil. El a inventat tehnica de verificare a programelor folosind aserțiuni logice, în lucrarea sa Assigning Meaning to Programs.
Categorie:Informaticieni americani Categorie:Laureați ai Premiului Turing Categorie:Nașteri în 1936 Categorie:Decese în 2001 Categorie:Absolvenți ai Universității din Chicago