Biografia | |
---|---|
Naixement | 8 juny 1936 ![]() Nova York ![]() |
Mort | 25 setembre 2001 ![]() Stanford (Califòrnia) ![]() |
Nacionalitat | Americà |
Formació | Universitat de Chicago |
Es coneix per | Algorisme de Floyd-Warshall Algorisme de Floyd-Steinberg Algorisme de Floyd per trobar cicles |
Activitat | |
Camp de treball | Ciències de la computació ![]() |
Ocupació | Informàtica |
Organització | Carnegie Mellon Stanford Illinois Institute of Technology |
Membre de | |
Obra | |
Estudiant doctoral | Ron Rivest |
Família | |
Cònjuge | Christiane Floyd ![]() |
Parella | Christiane ![]() |
Premis | |
Robert W (Bob) Floyd[1] (8 de juny de 1936 – 25 de setembre de 2001) fou un pioner de la informàtica.
Entre les seves contribucions es troben el disseny de l'algorisme Floyd-Warshall (desenvolupador independentment de Stephen Warshall), que troba de forma eficient tots els camins més curts en un graf, l'algorisme de Floyd per trobar cicles en una seqüència, i la seva feina en anàlisi sintàctica. En un sol article va introduir el concepte important de difusió d'errors en el renderitzat d'imatges, anomenat també algorisme de Floyd-Steinberg. Una altra fita destacada fou la seva feina pionera en el camp de la verificació formal de programes amb assercions lògiques amb l'article de 1967 Assigning Meanings to Programs. Això va ser una contribució important al que es va acabar anomenant lògica de Hoare.