Robert W Floyd, (γεννημένος στις 8 Ιουνίου 1936, Νέα Υόρκη, Νέα Υόρκη, ΗΠΑ - πέθανε στις 25 Σεπτεμβρίου 2001), Αμερικανός επιστήμονας υπολογιστών και νικητής του 1978 AM Turing Award, της υψηλότερης τιμής στην επιστήμη των υπολογιστών, για «βοήθεια στη δημιουργία τα ακόλουθα σημαντικά πεδία της επιστήμης των υπολογιστών: η θεωρία της ανάλυσης, η σημασιολογία των γλωσσών προγραμματισμού, η αυτόματη επαλήθευση προγράμματος, η αυτόματη σύνθεση προγραμμάτων και η ανάλυση των αλγορίθμων."
Το 1953 ο Floyd απέκτησε πτυχίο φιλελεύθερων τεχνών από το Πανεπιστήμιο του Σικάγο, όπου είχε εγγραφεί ως μέρος ενός πειραματικού προγράμματος για τα χαρισματικά παιδιά. Μετά την αποφοίτησή του, απασχολήθηκε στο Armor Research Foundation του Ινστιτούτου Τεχνολογίας του Ιλινόις, πρώτα ως χειριστής υπολογιστών και στη συνέχεια ως προγραμματιστής υπολογιστών. Βρήκε χρόνο για να κερδίσει ένα δεύτερο πτυχίο, στη Φυσική, από το Πανεπιστήμιο του Σικάγο το 1958. Το 1962 ο Floyd μετακόμισε στο Wakefield της Μασαχουσέτης, για να εργαστεί ως ανώτερος επιστήμονας έργου για Computer Associates, μια πρώιμη εταιρεία λογισμικού που ειδικεύτηκε στη γραφή μεταγλωττιστές.
Ο Floyd έγινε μέλος της σχολής πληροφορικής του Carnegie Institute of Technology (τώρα Πανεπιστήμιο Carnegie Mellon) το 1965. Η επιστήμη των υπολογιστών ήταν μια νέα ακαδημαϊκή πειθαρχία και ο Floyd συνέβαλε στην ανάπτυξη του προγράμματος σπουδών του σχολείου. Το 1968 ο Floyd μετακόμισε στο τμήμα επιστήμης των υπολογιστών στο Πανεπιστήμιο του Στάνφορντ, όπου έγινε πλήρης καθηγητής το 1970. Λίγο μετά τη συνταξιοδότησή του από το Στάνφορντ το 1994, ο Floyd διαγνώστηκε με νόσο Pick, μια σπάνια μορφή πρόωρης άνοιας.
Ο Floyd εξελέγη στην Αμερικανική Ακαδημία Τεχνών και Επιστημών, στην Αμερικανική Ένωση για την Προώθηση της Επιστήμης και στην Ένωση Μηχανημάτων Υπολογιστών (ACM). Υπηρέτησε στο συντακτικό συμβούλιο των επικοινωνιών του ACM για πολλά χρόνια και έλαβε το βραβείο IEEE Computer Pioneer το 1992. Με τον Αμερικανό επιστήμονα υπολογιστών Richard Beigel, ο Floyd έγραψε το κλασικό The Language of Machines: An Introduction to Computability and Formal Languages (1994)).
