Robert W. Floyd

Robert W. Floyd (New York, 8 juni 1936 — Stanford, 25 september 2001) was Amerikaans informaticus. Hij ontwikkelde algoritmes voor verschillende deelgebieden van de informatica. Bovendien stamde van hem het idee om logische uitspraken aan computerprogramma's toe te voegen om formele verificatie van software mogelijk te maken. Dit idee werd later door Tony Hoare uitgewerkt tot Hoarelogica. In 1978 kreeg hij de Turing Award voor zijn werk op het gebied van parsen en programmaverificatie.