Robert W Floyd, (geboren op 8 juni 1936, New York, NY, VS - stierf op 25 september 2001), Amerikaanse computerwetenschapper en winnaar van de 1978 AM Turing Award, de hoogste onderscheiding in de informatica, voor 'helpen bij het vinden de volgende belangrijke deelgebieden van de informatica: de theorie van het parseren, de semantiek van programmeertalen, automatische programmaverificatie, automatische programmasynthese en analyse van algoritmen. ”
In 1953 behaalde Floyd een bachelordiploma in vrije kunsten aan de Universiteit van Chicago, waar hij zich had ingeschreven als onderdeel van een experimenteel programma voor hoogbegaafde kinderen. Na zijn afstuderen werkte hij bij de Armor Research Foundation van het Illinois Institute of Technology, eerst als computerbestuurder en vervolgens als computerprogrammeur. Hij vond tijd om een tweede bachelor in natuurkunde te behalen aan de Universiteit van Chicago in 1958. In 1962 verhuisde Floyd naar Wakefield, Massachusetts, om te werken als senior projectwetenschapper voor Computer Associates, een vroeg softwarebedrijf dat gespecialiseerd was in schrijven compilers.
Floyd trad in 1965 toe tot de informatica-faculteit van het Carnegie Institute of Technology (nu Carnegie Mellon University). Computerwetenschappen was een nieuwe academische discipline en Floyd speelde een belangrijke rol bij het ontwikkelen van het curriculum van de school. In 1968 stapte Floyd over naar de informatica-afdeling van de Stanford University, waar hij in 1970 hoogleraar werd. Kort na zijn pensionering bij Stanford in 1994 werd bij Floyd de ziekte van Pick vastgesteld, een zeldzame vorm van premature dementie.
Floyd werd gekozen in de American Academy of Arts and Sciences, de American Association for the Advancement of Science en de Association for Computing Machinery (ACM). Hij was jarenlang lid van de redactie van de Communications of the ACM en ontving in 1992 de IEEE Computer Pioneer Award. Samen met de Amerikaanse informaticus Richard Beigel schreef Floyd de klassieker The Language of Machines: An Introduction to Computability and Formal Languages (1994).
