Robert Floyd

Robert Floyd
Date personale
Născut8 iunie 1936(1936-06-08)
New York, SUA
Decedat (65 de ani)
Stanford, Comitatul Santa Clara, California, SUA Modificați la Wikidata
Căsătorit cuChristiane Floyd[*][[Christiane Floyd (Austrian computer scientist)|​]] Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațieinformatician
inginer
cadru didactic universitar[*] Modificați la Wikidata
Limbi vorbitelimba engleză[1] Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Carnegie Mellon
Universitatea Stanford
Alma MaterUniversitatea din Chicago  Modificați la Wikidata
OrganizațiiAcademia Americană de Arte și Științe[*]
Association for Computing Machinery  Modificați la Wikidata
Cunoscut pentruAlgoritmul Floyd-Warshall
PremiiPremiul Turing

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.


  1. ^ IdRef, accesat în