Robert Floyd
Robert Flojd | |
Rođenje | 8. jun 1936. Njujork, Njujork, SAD |
---|---|
Smrt | 25. 9. 2001. (2001-09-25) (dob: 22) |
Polje | računarstvo |
Poznat po | Flojdovom algoritmu |
Istaknute nagrade | Tjuringova nagrada |
Robert Flojd (engl. Robert W. Floyd; 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
- 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)