Robert Floyd

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Robert Floyd
Date personale
Născut 8 iunie 1936(1936-06-08)
New York, SUA
Decedat (65 de ani)
Stanford, California, SUA Modificați la Wikidata
Căsătorit cu Christiane Floyd[*] Modificați la Wikidata
Naționalitate american
Cetățenie Flag of the United States.svg SUA Modificați la Wikidata
Ocupație informatician
inginer
profesor universitar Modificați la Wikidata
Activitate
Rezidență Statele Unite ale Americii Statele Unite ale Americii
Domeniu informatician
Instituție Universitatea Carnegie Mellon
Universitatea Stanford
Alma Mater Universitatea din Chicago  Modificați la Wikidata
Organizații Universitatea Carnegie-Mellon[*]
Universitatea Stanford  Modificați la Wikidata
Cunoscut pentru Algoritmul Floyd-Warshall
Premii Premiul 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.