Robert Floyd

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Robert Floyd
Născut 8 iunie 1936(1936-06-08)
New York, SUA
Decedat 25 septembrie 2001 (65 ani)
Rezidență Statele Unite ale Americii Statele Unite
Naționalitate american
Domeniu informatician
Instituție Universitatea Carnegie Mellon
Universitatea Stanford
Alma Mater Universitatea Chicago
Cunoscut pentru Algoritmul Floyd-Warshall
Premii Premiul Turing
modifică Consultați documentația formatului

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.

v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)
Flag of the United States.svg  Acest articol biografic despre un american este deocamdată un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la http://ro.wikipedia.org/w/index.php?title=Robert_Floyd&oldid=7628539