Robert W Floyd (né le 8 juin 1936 à New York, NY, États-Unis - décédé le 25 septembre 2001), informaticien américain et lauréat du prix AM Turing de 1978, la plus haute distinction en informatique, pour «avoir aidé à fonder les sous-domaines importants suivants de l'informatique: la théorie de l'analyse, la sémantique des langages de programmation, la vérification automatique des programmes, la synthèse automatique des programmes et l'analyse des algorithmes.
En 1953, Floyd a obtenu un baccalauréat en arts libéraux de l'Université de Chicago, où il s'était inscrit dans le cadre d'un programme expérimental pour les enfants surdoués. Après avoir obtenu son diplôme, il a été employé par la Armor Research Foundation de l'Illinois Institute of Technology, d'abord comme opérateur informatique puis comme programmeur informatique. Il a trouvé le temps de gagner un deuxième baccalauréat en physique de l'Université de Chicago en 1958. En 1962, Floyd a déménagé à Wakefield, Mass., Pour travailler en tant que scientifique principal de projet pour Computer Associates, une première société de logiciels spécialisée dans l'écriture compilateurs.
Floyd a rejoint la faculté d'informatique du Carnegie Institute of Technology (aujourd'hui Carnegie Mellon University) en 1965. L'informatique était une nouvelle discipline académique et Floyd a joué un rôle déterminant dans l'élaboration du programme de l'école. En 1968, Floyd est passé au département d'informatique de l'Université de Stanford, où il est devenu professeur titulaire en 1970. Peu de temps après sa retraite de Stanford en 1994, Floyd a été diagnostiqué avec la maladie de Pick, une forme rare de démence prématurée.
Floyd a été élu à l'American Academy of Arts and Sciences, à l'American Association for the Advancement of Science et à l'Association for Computing Machinery (ACM). Il a fait partie du comité de rédaction des Communications de l'ACM pendant de nombreuses années et a reçu le prix IEEE Computer Pioneer en 1992. Avec l'informaticien américain Richard Beigel, Floyd a écrit le classique The Language of Machines: An Introduction to Computability and Formal Languages (1994).
