Q:Read the bio below and try to give details on robert w. floyd 's: - prizes - known for - death date - field - work institution - birth date - name - nationality - death place - birth place - alma mater Bio: robert w -lrb- bob -rrb- floyd -lrb- june 8 , 1936 -- september 25 , 2001 -rrb- was an eminent computer scientist . his contributions include the design of the floyd -- warshall algorithm -lrb- independently of stephen warshall -rrb- , 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 -lrb- though he distinguished dithering from diffusion -rrb- . 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 .
A:
- prizes is turing 1991 -rrb- award -lrb- 1978 -rrb- computer pioneer award -lrb-- known for is floyd 's cycle-finding algorithm -- warshall algorithm floyd -- steinberg dithering floyd- death date is 25 september 2001- field is computer science- work institution is carnegie mellon university stanford university illinois institute of technology- birth date is 8 june 1936- name is robert w floyd- nationality is american- death place is stanford- birth place is new york city- alma mater is university of chicago