Awards & Winners

Robert W. Floyd

Date of Birth 08-June-1936
Place of Birth New York City
(New York, United States of America, Area code 917)
Nationality United States of America
Also know as Robert W (Bob) Floyd
Profession Computer Scientist
Robert W Floyd was an eminent computer scientist. His contributions include the design of the Floyd–Warshall algorithm, 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. 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.

Awards by Robert W. Floyd

Check all the awards nominated and won by Robert W. Floyd.

1978


Turing Award
(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)