Huvud vetenskap

Robert W Floyd amerikansk datavetare

Robert W Floyd amerikansk datavetare
Robert W Floyd amerikansk datavetare
Anonim

Robert W Floyd, (född 8 juni 1936, New York, NY, USA - död 25 september 2001), amerikansk datorforskare och vinnare av 1978 AM Turing Award, den högsta ära inom datavetenskap, för att ”hjälpa till att hitta följande viktiga underfält inom datavetenskap: teorin om analysering, semantik för programmeringsspråk, automatisk programverifiering, automatisk programsyntes och analys av algoritmer. ”

1953 fick Floyd en kandidatexamen i liberal konst från University of Chicago, där han hade registrerat sig som en del av ett experimentellt program för begåvade barn. Efter examen anställdes han av Armor Research Foundation vid Illinois Institute of Technology, först som datoroperatör och sedan som dataprogrammerare. Han hittade tid att tjäna en andra kandidatexamen, i fysik, från University of Chicago 1958. 1962 flyttade Floyd till Wakefield, Mass., För att arbeta som seniorprojektforskare för Computer Associates, ett tidigt programvaruföretag som specialiserade sig på att skriva kompilatorer.

Floyd gick med i datavetenskapliga fakulteten vid Carnegie Institute of Technology (nu Carnegie Mellon University) 1965. Datavetenskap var en ny akademisk disciplin och Floyd var avgörande för att utveckla skolans läroplan. 1968 flyttade Floyd vidare till datavetenskapliga avdelningen vid Stanford University, där han blev universitetsprofessor 1970. Kort efter sin avgång från Stanford 1994 diagnostiserades Floyd med Pick-sjukdomen, en sällsynt form av för tidig demens.

Floyd valdes till American Academy of Arts and Sciences, American Association for the Advancement of Science och Association for Computing Machinery (ACM). Han tjänstgjorde i redaktionen för ACM: s kommunikation i många år och fick IEEE Computer Pioneer Award 1992. Med den amerikanska datavetenskapsmannen Richard Beigel skrev Floyd klassikern The Language of Machines: An Introduction to Computability and Formal Language (1994).