**Robert Flojd** (engl. ; 8. jun 1936 — 25. septembar 2001) je bio eminentni američki informatičar.

Rođen je u Njujorku. Diplomirao je na opštem smeru univerziteta u Čikagu, 1953. godine, sa tek navršenih 17 godina, a diplomu iz fizike je stekao pet godina kasnije.

Ranih šezdesetih radio je kao operater na kompjuteru i objavio mnoge zapažene radove, te postao vanredni profesor na Univerzitetu Karnegi Meloun sa svojih 27 godina, a šest godina kasnije i redovni profesor na Stenfordskom univerzitetu. Interesantno je da je postavljen za profesora iako nije odbranio doktorat.

Među njegovim doprinosima je i dizajn Flojdovog algoritma, koji efikasno pronalazi sve najkraće puteve na grafu, kao i njegov rad na parsiranju. U jednom od svojih radova je uveo važan koncept difuzije grešaka u iscrtavanju slika na računaru, poznat kao Flojd-Stajnbergova rasterizacija (iako je pravio razliku između rasterizacije i difuzije).

Značajno Flojdovo dostignuće su bili njegovi početni koraci na polju verifikacije programa korišćenjem logičkih pretpostavki što je uveo u svom radu iz 1967. godine, *Dodeljivanje značenja programima*. Time je dao veliki doprinos delu logike kojio je kasnije postao poznat kao Horova logika.

Blisko je sarađivao sa Donaldom Knutom, posebno kao glavni recenzent Knutove knjige *Umetnost kompjuterskog programiranja*, i istovremeno je najviše citiran autor u tom delu. Zajedno sa Ričardom Bejgelom napisao je udžbenik *Jezik mašina: uvod u kompatibilnost i formalne jezike* (1994, W.H. Freeman and Company, ISBN 978-0-7167-8266-7).

Postao je dobitnik Tjuringove nagrade 1978. godine „za jasan uticaj na metodologije za stvaranje efikasnog i pouzdanog softvera, i za pomoć u zasnivanju sledećih važnih podoblasti računarstva: teorije parsiranja, semantike programskih jezika, automatske verifikacije programa, automatskog generisanja programskog koda, i analize algoritama."

Fljod se dva puta ženio i razvodio i imao je četvoro dece. Voleo je da igra bekgemon.

Spoljašnje veze
---------------

* Sećanje na Roberta Flojda
* Biografija Roberta Flojda Arhivirano 2003-12-27 na Wayback Machine-u

| * p
* r
* u
Dobitnici Nagrade A. M. Turing |
| --- |
| 
* Alan Perlis (1966)
* Maurice Vincent Wilkes (1967)
* Richard Hamming (1968)
* Marvin Minsky (1969)
* James H. Wilkinson (1970)
* John McCarthy (1971)
* Edsger W. Dijkstra (1972)
* Charles Bachman (1973)
* Donald Knuth (1974)
* Allen Newell / Herbert A. Simon (1975)
* Michael O. Rabin / Dana Scott (1976)
* John Backus (1977)
* Robert W. Floyd (1978)
* Kenneth E. Iverson (1979)
* Tony Hoare (1980)
* Edgar F. Codd (1981)
* Stephen Cook (1982)
* Ken Thompson / Dennis Ritchie (1983)
* Niklaus Wirth (1984)
* Richard Karp (1985)
* John Hopcroft / Robert Tarjan (1986)
* John Cocke (1987)
* Ivan Sutherland (1988)
* William Kahan (1989)
* Fernando J. Corbató (1990)
* Robin Milner (1991)
* Butler Lampson (1992)
* Juris Hartmanis / Richard Stearns (1993)
* Edward Feigenbaum / Raj Reddy (1994)
* Manuel Blum (1995)
* Amir Pnueli (1996)
* Douglas Engelbart (1997)
* Jim Gray (1998)
* Fred Brooks (1999)
* Andrew Yao (2000)
* Ole-Johan Dahl / Kristen Nygaard (2001)
* Ron Rivest / Adi Shamir / Leonard Adleman (2002)
* Alan Kay (2003)
* Vint Cerf / Bob Kahn (2004)
* Peter Naur (2005)
* Frances E. Allen (2006)
* Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007)
* Barbara Liskov (2008)
* Charles P. Thacker (2009)
* Leslie G. Valiant (2010)
* Judea Pearl (2011)
* Shafi Goldwasser / Silvio Micali (2012)
* Leslie Lamport (2013)
* Michael Stonebraker (2014)
* Martin Hellman / Whitfield Diffie (2015)
* Tim Berners-Lee (2016)
* John L. Hennessy / David Patterson (2017)

 |

|  |  |
| --- | --- |
| Normativna kontrola Uredi na Wikidati | 
* WorldCat identiteti
* VIAF: 9939181
* LCCN: n93027960
* ISNI: 0000 0001 1559 6909
* GND: 12988037X
* SUDOC: 033433860
* BNF: cb124299633 (podaci)
* BIBSYS: 90928994
* MGP: 69223
* CiNii: DA09352685

 |