For the actor, see Robert Floyd (actor).
Robert W Floyd (June 8, 1936 – September 25, 2001) was an eminent computer scientist.
Born in New York, Floyd finished school at age 14. At the University of Chicago, he received a Bachelor's degree in liberal arts in 1953 (when still only 17) and a second Bachelor's degree in physics in 1958.
Becoming a computer operator in the early 1960s, he began publishing many noteworthy papers and was appointed an associate professor at Carnegie Mellon University by the time he was 27 and became a full professor at Stanford University six years later. He obtained this position without a Ph.D.
His contributions include the design of Floyd's algorithm, which efficiently finds all shortest paths in a graph, and work on parsing. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd-Steinberg dithering (though he distinguished dithering from diffusion).
A significant achievement was pioneering the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was an important contribution to what later became Hoare logic.
Floyd worked closely with Donald Knuth, in particular as the major reviewer for Knuth's seminal book The Art of Computer Programming, and is the person most cited in that work. He was the co-author, with Richard Beigel, of the textbook The Language of Machines: an Introduction to Computability and Formal Languages (1994, W.H. Freeman and Company, ISBN 978-0716782667).
He received the Turing Award in 1978 "for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms".
Floyd married and divorced twice, and had four children. His hobbies included backgammon and hiking.
External links and sources
http://sigact.acm.org/floyd
http://www.stanford.edu/dept/news/report/news/november7/floydobit-117.html
R.W. Floyd, "Assigning Meaning to Programs", in Proceedings of Symposium on Applied Mathematics, Vol. 19, J.T. Schwartz (Ed.), A.M.S., 1967, pp. 19-32
v • d • e
A. M. Turing Award laureates
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) · 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)
Persondata
NAME
Floyd, Robert W
ALTERNATIVE NAMES
SHORT DESCRIPTION
American computer scientist
DATE OF BIRTH
June 8, 1936
PLACE OF BIRTH
New York
DATE OF DEATH
September 25, 2001
PLACE OF DEATH
NewPP limit report
Preprocessor node count: 1755/1000000
Post-expand include size: 25660/2048000 bytes
Template argument size: 14973/2048000 bytes
Expensive parser function count: 0/500
Retrieved from "http://en.wikipedia.org/wiki/Robert_Floyd"
Categories: 1936 births | 2001 deaths | American computer scientists | Turing Award laureates | Fellows of the Association for Computing Machinery | Formal methods people | American backgammon players
Views
Article
Discussion
Edit this page
History
Personal tools
Log in / create account
if (window.isMSIE55) fixalpha();
Navigation
Main page
Contents
Featured content
Current events
Random article
Search
Interaction
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Donate to Wikipedia
Help
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version Permanent linkCite this page
Languages
Deutsch
Español
Français
Polski
Română
Српски / Srpski
This page was last modified on 15 July 2008, at 14:57.
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.) Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
Privacy policy
About Wikipedia
Disclaimers
if (window.runOnloadHook) runOnloadHook();
