Hoved vitenskap

Robert W Floyd amerikansk dataforsker

Robert W Floyd amerikansk dataforsker
Robert W Floyd amerikansk dataforsker
Anonim

Robert W Floyd, (født 8. juni 1936, New York, NY, USA - døde 25. september 2001), amerikansk informasjonsforsker og vinner av 1978 AM Turing Award, den høyeste ære innen informatikk, for "å hjelpe til med å finne følgende viktige underfelt innen informatikk: teorien om analysering, semantikk for programmeringsspråk, automatisk programverifisering, automatisk programsyntese og analyse av algoritmer. ”

I 1953 fikk Floyd en bachelorgrad i liberal kunst fra University of Chicago, hvor han hadde meldt seg inn som del av et eksperimentelt program for begavede barn. Etter endt utdanning ble han ansatt i Armour Research Foundation ved Illinois Institute of Technology, først som en datamaskinoperatør og deretter som en programmerer. Han fant tid til å få en annen bachelorgrad, i fysikk, fra University of Chicago i 1958. I 1962 flyttet Floyd til Wakefield, Mass., For å jobbe som seniorprosjektforsker for Computer Associates, et tidlig programvarefirma som spesialiserte seg i å skrive kompilatorer.

Floyd begynte i datavitenskapelig fakultet ved Carnegie Institute of Technology (nå Carnegie Mellon University) i 1965. Datavitenskap var en ny akademisk disiplin, og Floyd var med på å utvikle skolens læreplan. I 1968 gikk Floyd videre til informatikkavdelingen ved Stanford University, hvor han ble professor i 1970. Kort tid etter at han ble pensjonist fra Stanford i 1994 fikk Floyd diagnosen Pick-sykdom, en sjelden form for for tidlig demens.

Floyd ble valgt inn i American Academy of Arts and Sciences, American Association for the Advancement of Science og Association for Computing Machinery (ACM). Han tjenestegjorde i redaksjonen for Communications of ACM i mange år og mottok IEEE Computer Pioneer Award i 1992. Med den amerikanske informatikeren Richard Beigel skrev Floyd klassikeren The Language of Machines: An Introduction to Computability and Formal Language (1994).