Vigtigste videnskab

Robert W Floyd amerikansk computerforsker

Robert W Floyd amerikansk computerforsker
Robert W Floyd amerikansk computerforsker
Anonim

Robert W Floyd, (født 8. juni 1936, New York, NY, USA - døde 25. september 2001), amerikansk computervidenskabsmand og vinder af 1978 AM Turing Award, den højeste ære inden for datalogi, for at ”hjælpe med at finde følgende vigtige underfelter inden for datalogi: parsningsteori, semantik i programmeringssprog, automatisk programverifikation, automatisk programsyntese og analyse af algoritmer. ”

I 1953 fik Floyd en bachelorgrad i liberal kunst fra University of Chicago, hvor han havde tilmeldt sig som en del af et eksperimentelt program for begavede børn. Efter eksamen blev han ansat i Armor Research Foundation ved Illinois Institute of Technology, først som en computeroperatør og derefter som en computerprogrammør. Han fandt tid til at optjene en anden bachelorgrad i fysik fra University of Chicago i 1958. I 1962 flyttede Floyd til Wakefield, Mass., For at arbejde som seniorprojektforsker for Computer Associates, et tidligt softwarefirma, der specialiserede sig i at skrive compilere.

Floyd sluttede sig til det datalogiske fakultet ved Carnegie Institute of Technology (nu Carnegie Mellon University) i 1965. Computer science var en ny akademisk disciplin, og Floyd var med til at udvikle skolens læseplan. I 1968 flyttede Floyd videre til computervidenskabsafdelingen ved Stanford University, hvor han blev fuld professor i 1970. Kort efter sin pensionering fra Stanford i 1994 blev Floyd diagnosticeret med Pick sygdom, en sjælden form for for tidlig demens.

Floyd blev valgt til American Academy of Arts and Sciences, American Association for the Advancement of Science og Association for Computing Machinery (ACM). Han tjente i redaktionen for ACMs kommunikation i mange år og modtog IEEE Computer Pioneer Award i 1992. Med den amerikanske computerforsker Richard Beigel skrev Floyd den klassiske The Language of Machines: An Introduction to Computability and Formal Language (1994).