Robert Floyd
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.
- IdRef, accesat în
| 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ă[1] |
| 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 |
| Cunoscut pentru | Algoritmul Floyd-Warshall |
| Premii | Premiul Turing |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.