| Fødsel |
8. juni 1936 New York |
|---|---|
| Død |
25. september 2001(65 år) Stanford |
| Navn på morsmål | Robert w floyd |
| Nasjonalitet | amerikansk |
| Opplæring | University of Chicago |
| Aktiviteter | Informatiker , ingeniør , universitetsprofessor |
| Ektefelle | Christiane Floyd |
| Jobbet for | Carnegie-Mellon University , Stanford University |
|---|---|
| Felt | Informatikk |
| Medlem av |
American Academy of Arts and Sciences Association for Computing Machinery |
| Utmerkelser |
Turing-prisen (1978) |
Robert W. Floyd (født den8. juni 1936 og døde den 25. september 2001i Stanford (California) er en teoretiker grafer og informatiker amerikaner .
Floyd ble født i New York og ble uteksaminert fra videregående skole i en alder av 14 år. Ved University of Chicago oppnådde han en bachelorgrad i fri kunst i 1953 (bare 17) og en andre bachelorgrad i fysikk i 1958 .
Etter å ha blitt informatiker tidlig på 1960 - tallet begynte han å publisere mange fremtredende artikler og ble foreleser ved Carnegie-Mellon University i en alder av 27 år. Han fikk et professorat ved Stanford University seks år senere, uten å ha doktorgrad .
Han veiledet avhandlingene til et dusin studenter, inkludert Ronald Rivest og Robert Tarjan .
Floyd var gift og skilt to ganger, og hadde fire barn. På fritiden trente han backgammon og fotturer .
Han led av Picks sykdom i 1993, gikk av med pensjon tidlig året etter og døde noen år senere.
Hans bidrag inkluderer en algoritme for å effektivt bestemme alle de korteste banene i en graf , kjent som Floyd-Warshall-algoritmen , og jobbe med parsing . I en isolert artikkel introduserte han det viktige begrepet feildiffusjon i bildebehandling og algoritmen kjent i dag som Floyd-Steinberg-algoritmen .
Robert Floyd var banebrytende for programverifisering i en artikkel fra 1967 med tittelen Assigning Meanings to Programs . Det var et viktig bidrag til Hoares fremtidige logikk .
Floyd har samarbeidet med Donald Knuth , spesielt som den viktigste korrekturleseren av Knuths hovedverk The Art of Computer Programming , der han tilfeldigvis er den mest siterte personen.
Floyd mottok Turing-prisen i 1978 for "å ha en betydelig innflytelse på metoder for å skape trygg og effektiv programvare, og for å bidra til fremveksten av viktige områder for vitenskapelig databehandling: parsing . Teori , de semantikk av programmeringsspråk , den verifikasjon av programmer , den syntese av programmer og analyse av algoritmer ”.