Robert W. Floyd | |
---|---|
![]() | |
Born | New York City, New York, U.S. | June 8, 1936
Died | September 25, 2001 Stanford, California, U.S. | (aged 65)
Education | University of Chicago (BA, BA) |
Known for | Floyd–Warshall algorithm Floyd–Steinberg dithering Floyd's cycle-finding algorithm Floyd's triangle ALGOL |
Spouse(s) | Jana M. Mason; Christiane Floyd (née Riedl) |
Children | 4 |
Awards | Turing Award (1978) Computer Pioneer Award (1991) |
Scientific career | |
Fields | Computer science |
Institutions | Illinois Institute of Technology Carnegie Mellon University Stanford University |
Doctoral students |
Robert W. Floyd[1] (June 8, 1936 – September 25, 2001) was an American computer scientist. His contributions include the design of the Floyd–Warshall algorithm (independently of Stephen Warshall), which efficiently finds all shortest paths in a graph and his work on parsing; Floyd's cycle-finding algorithm for detecting cycles in a sequence was attributed to him as well. 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). He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978.