Robert Willoughby Floyd (June 8, 1936 to September 25, 2001) was an American computer scientist who received the 1978 ACM Turing Award for a clear influence on the methodology of creating efficient and reliable software, and for helping found the fields of parsing theory, programming language semantics, program verification and algorithm analysis. He devised the Floyd-Warshall algorithm for finding shortest paths between all pairs of nodes in a graph, a cycle detection algorithm for sequences that bears his name, and Floyd-Steinberg dithering, a widely used method of error diffusion for rendering images with a limited color palette. His 1967 paper Assigning Meanings to Programs introduced the use of logical assertions to reason about program correctness, work that became a foundation of what is now known as Hoare logic.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.