Robert W. Floyd

Robert W Floyd (* 8. Juni 1936 in New York City; † 25. September 2001) war ein US-amerikanischer Informatiker. Er ließ seinen ursprünglichen zweiten Vornamen auf „W“ ändern, jedoch betonte er oft, dass „W.“ eine gültige Abkürzung dafür sei. ^[1]

Biographie

Floyd wurde 1936 in New York City geboren. Mit 14 Jahren beendete er die Schule. An der University of Chicago erhielt er 1953 einen Bachelor-Grad (also mit 17 Jahren), einen zweiten Bachelor-Grad erhielt er 1958 in Physik.

Als er in den frühen 1960er Jahren Computer-Operator geworden war, begann er mehrere bemerkenswerte Artikel zu publizieren und wurde mit 27 Jahren zum außerordentlichen Professor an der Carnegie Mellon University berufen. Sechs Jahre später erhielt er eine ordentliche Professur an der Stanford University. Er erreichte diese Position ohne einen Doktortitel.

Zu seinen Beiträgen gehören effiziente Algorithmen zum Finden aller kürzesten Wege in einem Graphen (Algorithmus von Floyd und Warshall) und Parsen, aber seine wahrscheinlich wichtigste Leistung war seine Pionierarbeit auf dem Gebiet der Programmverifikation mittels logischer Zusicherungen in seinem 1967 erschienenen Artikel Assigning Meanings to Programs. Dies war ein wichtiger Beitrag, der später zum Hoare-Kalkül führte.

Floyd arbeitete eng mit Donald E. Knuth zusammen. Er war der Hauptrezensent für Knuths wegweisendes Buch The Art of Computer Programming, und er ist derjenige, der in diesem Werk am häufigsten zitiert wird.

Floyd erhielt 1978 den Turing-Preis für seinen Einfluss auf die Methoden zur Erzeugung effizienter und verlässlicher Software und für seinen Beitrag zur Gründung der folgenden Gebiete der Informatik: Theorie des Parsens, Semantik von Programmiersprachen, automatische Programmverifikation, automatische Programmsynthese und Analyse von Algorithmen.

Floyd war zweimal verheiratet (zuletzt mit der Informatikerin Christiane Floyd) und hatte vier Kinder. Zu seinen Hobbys gehörten Backgammon und Wandern.

Quellen

1. ↑ Robert W Floyd, In Memoriam, von Donald E. Knuth

Literatur

• Donald E. Knuth, Robert W Floyd, In Memoriam, SIGACT News 34, 4 (Dezember 2003), 3–13. Neudruck in IEEE Annals of the History of Computing 26 (2004).

Weblinks

• Robert Floyd, pioneer in computer programming, dead at 65, Stanford Report, 7. November 2001 (englisch)
• Memories of Professor Robert W. Floyd, Video von Donald E. Knuth, 20. März 2002, Computer Musings Lecture Series (englisch)
• Special Collections – Living Legends, Video von Feigenbaum, Floyd, Golub, Herriot, Knuth, McCarthy, Miller und Wiederhold über die Gründung des Computer-Science-Fachbereichs in Stanford, Februar 1997 (englisch)

Personendaten
NAME	Floyd, Robert W.
KURZBESCHREIBUNG	US-amerikanischer Informatiker
GEBURTSDATUM	8. Juni 1936
GEBURTSORT	New York City
STERBEDATUM	25. September 2001