Robert Floyd
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 | Statele Unite ale Americii |
Ocupație | informatician inginer cadru didactic universitar[*] |
Limbi vorbite | limba engleză[2] |
Activitate | |
Rezidență | Statele Unite ale Americii |
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