Robert W. Floyd Scientist

Robert W (Bob) Floyd (June 8, 1936 – September 25, 2001) was an eminent 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). 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.

Personal facts

Birth date	June 08, 1936
Birth place	New York City , New York
Date of death	September 25, 2001
Place of death	Palo Alto California , Stanford California
Known for	Cycle detection Floyd–Warshall algorithm Floyd–Steinberg dithering