Sources
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Robert Floyd
From Wikipedia, the free encyclopedia
| Robert W Floyd | |
|---|---|
| Born | June 8, 1936 New York |
| Died | September 25, 2001 (aged 65) |
| Nationality | American |
| Field | Computer Science |
| Institutions | Carnegie Mellon University Stanford University |
| Known for | Floyd's algorithm |
| Notable prizes | Turing Award |
- Robert Floyd is also the name of an American 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 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.
- 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
|
|
|---|
|
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) |
| 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 | |