Robert W Floyd, (nascut el 8 de juny de 1936, Nova York, Nova York, EUA, va morir el 25 de setembre del 2001), informàtic nord-americà i guanyador del premi AM Turing de 1978, el màxim honor en informàtica, per “ajudar a fundar els següents camps importants de la informàtica: la teoria de l'anàlisi, la semàntica dels llenguatges de programació, la verificació automàtica dels programes, la síntesi automàtica dels programes i l'anàlisi d'algorismes."
El 1953 Floyd es va llicenciar en arts liberals per la Universitat de Chicago, on s'havia matriculat com a part d'un programa experimental per a nens dotats. Quan es va graduar, va ser empleat per la Armor Research Foundation de l'Institut Tecnològic d'Illinois, primer com a operador informàtic i després com a programador informàtic. Va trobar temps per guanyar un segon títol de batxillerat, en física, a la Universitat de Chicago el 1958. El 1962 Floyd es va traslladar a Wakefield, Mass., Per treballar com a científic del projecte per a Computer Associates, una antiga empresa de programari especialitzada en escriptura. compiladors
Floyd es va incorporar a la facultat d’informàtica del Carnegie Institute of Technology (actualment Carnegie Mellon University) el 1965. La informàtica era una nova disciplina acadèmica i Floyd va ser fonamental per desenvolupar el currículum de l’escola. El 1968 Floyd va passar al departament d'informàtica de la Universitat de Stanford, on es va convertir en professor titular el 1970. Poc després de retirar-se de Stanford el 1994, a Floyd li van diagnosticar la malaltia Pick, una forma rara de demència prematura.
Floyd va ser elegit a l'Acadèmia Americana de les Arts i les Ciències, l'Associació Americana per a l'Avenç de la Ciència i l'Associació per a la Maquinària d'Informàtica (ACM). Va exercir el consell de redacció de les Comunicacions de l’ACM durant molts anys i va rebre l’IEEE Computer Pioneer Award el 1992. Amb l’informàtic nord-americà Richard Beigel, Floyd va escriure el clàssic The Language of Machines: An Introduction to Computability and Formal Language (1994)).
