Robert W. Floyd

Z Wikipedii

Robert W. Floyd (ur. 8 czerwca 1936 w Nowym Jorku - zm. 25 września 2001) - informatyk amerykański, laureat Nagrody Turinga.

W wieku 17 lat otrzymał w University of Chicago stopień bakałarza z nauk humanistycznych, w 1958 stopień bakałarza z fizyki. Na początku lat 60. podjął pracę technika komputerowego i jednocześnie rozpoczął publikowanie artykułów z dziedziny informatyki. Wkrótce, w wieku 27 lat, otrzymał pracę wykładowcy w Carnegie-Mellon University, a w 1969 r., nie mając doktoratu, został profesorem Stanford University.

Do ważniejszych prac należą projektowanie i analiza efektywnych algorytmów znajdowania najkrótszej ścieżki w teorii grafów i parsowanie, ale za najistotniejsze osiągnięcie uważana jest pionierska praca w dziedzinie weryfikacji programów z użyciem twierdzeń logicznych (praca z 1967 r. "Assigning Meanings to Programs").

Floyd współpracował blisko z Donaldem Knuthem i był głównym recenzentem jego fundamentalnej książki The Art of Computer Programming - jest też najczęściej cytowanym w tej książce autorem.

W 1978 r. otrzymał Nagrodę Turinga, za istotny wpływ na metodologię tworzenia efektywnego i niezawodnego oprogramowania i za udział w powstaniu ważnych poddziedzin nauk komputerowych: teorii parsowania, semantyki języków programowania, automatycznej weryfikacji programów, automatycznej syntezy programów i analizy algorytmów.