Robert W. Floyd, Date of Birth, Place of Birth, Date of Death

Robert W. Floyd

American computer scientist

Date of Birth: 08-Jun-1936

Place of Birth: New York City, New York, United States

Date of Death: 25-Sep-2001

Profession: engineer, computer scientist, university teacher

Nationality: United States

Zodiac Sign: Gemini

Robert W "Bob" Floyd (June 8, 1936 – September 25, 2001) was a 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, Floyd's cycle-finding algorithm for detecting cycles in a sequence, and his 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).
One achievement was pioneering 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.