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 grafie oraz analiza składniowa. Za najistotniejsze osiągnięcie uważana jest jego 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 dziedzin nauk komputerowych: analizy składniowej, semantyki języków programowania, automatycznej weryfikacji programów, automatycznej syntezy programów i analizy algorytmów.
Linki zewnętrzne
XX wiek |
|
---|
XXI wiek |
- 2001: Ole-Johan Dahl, Kristen Nygaard
- 2002: Ron Rivest, Adi Szamir, Leonard Adleman
- 2003: Alan Kay
- 2004: Vinton G. Cerf, Robert E. Kahn
- 2005: Peter Naur
- 2006: Frances E. Allen
- 2007: Edmund Clarke, Allen Emerson, Joseph Sifakis
- 2008: Barbara Liskov
- 2009: Charles P. Thacker
- 2010: Leslie Valiant
- 2011: Judea Pearl
- 2012: Silvio Micali, Shafrira Goldwasser
- 2013: Leslie Lamport
- 2014: Michael Stonebraker
- 2015: Whitfield Diffie, Martin Hellman
- 2016: Tim Berners-Lee
- 2017: John L. Hennessy, David Patterson
- 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun
- 2019: Ed Catmull, Pat Hanrahan
- 2020: Alfred V. Aho, Jeffrey Ullman
- 2021: Jack Dongarra
- 2022: Robert Metcalfe
- 2023: Awi Wigderson
|
---|