Robert W Floyd, (nato l'8 giugno 1936 a New York, New York, Stati Uniti, è morto il 25 settembre 2001), scienziato informatico americano e vincitore del premio AM Turing del 1978, il più alto riconoscimento nell'informatica, per “aver contribuito a fondare i seguenti importanti sottocampi dell'informatica: la teoria dell'analisi, la semantica dei linguaggi di programmazione, la verifica automatica dei programmi, la sintesi automatica dei programmi e l'analisi degli algoritmi ".
Nel 1953 Floyd si è laureato in arti liberali all'Università di Chicago, dove si era iscritto come parte di un programma sperimentale per bambini dotati. Dopo la laurea, è stato assunto dall'Armor Research Foundation dell'Illinois Institute of Technology, prima come operatore informatico e poi come programmatore di computer. Trovò il tempo per conseguire un secondo diploma di laurea, in fisica, presso l'Università di Chicago nel 1958. Nel 1962 Floyd si trasferì a Wakefield, in Massachusetts, per lavorare come scienziato di progetto senior per Computer Associates, una prima società di software specializzata nella scrittura compilatori.
Floyd entrò a far parte della facoltà di informatica del Carnegie Institute of Technology (ora Carnegie Mellon University) nel 1965. L'informatica era una nuova disciplina accademica e Floyd fu determinante nello sviluppo del curriculum della scuola. Nel 1968 Floyd passò al dipartimento di informatica della Stanford University, dove divenne professore ordinario nel 1970. Poco dopo il suo ritiro da Stanford nel 1994, a Floyd fu diagnosticata la malattia di Pick, una rara forma di demenza prematura.
Floyd è stato eletto alla American Academy of Arts and Sciences, alla American Association for the Advancement of Science e alla Association for Computing Machinery (ACM). Ha fatto parte del comitato editoriale della Communications of the ACM per molti anni e ha ricevuto l'IEEE Computer Pioneer Award nel 1992. Con lo scienziato informatico americano Richard Beigel, Floyd ha scritto il classico The Language of Machines: An Introduction to Computability and Formal Languages (1994).
