Robert Floyd
Aspect
Robert Floyd | |
Date personale | |
---|---|
Născut | 8 iunie 1936 New York, SUA |
Decedat | (65 de ani) Stanford, Comitatul Santa Clara, California, SUA ![]() |
Căsătorit cu | Christiane Floyd[*] ![]() |
Cetățenie | ![]() ![]() |
Ocupație | informatician inginer cadru didactic universitar[*] ![]() |
Limbi vorbite | limba engleză[2] ![]() |
Activitate | |
Rezidență | ![]() |
Domeniu | informatician |
Instituție | Universitatea Carnegie Mellon Universitatea Stanford |
Alma Mater | Universitatea din Chicago ![]() |
Organizații | Academia Americană de Arte și Științe[*] Association for Computing Machinery[1] ![]() |
Cunoscut pentru | Algoritmul Floyd-Warshall |
Premii | Premiul Turing |
Modifică date / text ![]() |
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.
- ^ https://awards.acm.org/fellows/award-recipients, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ IdRef, accesat în