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.
 | Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |
Previzualizare a notelor
- ^ https://awards.acm.org/fellows/award-recipients, accesat în Lipsește sau este vid:
|title=(ajutor) - ^ IdRef, accesat în