Robert W Floyd, (născut la 8 iunie 1936, New York, New York, SUA - a murit la 25 septembrie 2001), informatician american și câștigător al premiului Turing AM din 1978, cea mai înaltă onoare în domeniul informaticii, pentru „a ajuta la fondarea următoarele sub-domenii importante ale informaticii: teoria analizării, semantica limbajelor de programare, verificarea automată a programelor, sinteza automată a programelor și analiza algoritmilor."
În 1953 Floyd a obținut o diplomă de licență în arte liberale de la Universitatea din Chicago, unde se înscrisese ca parte a unui program experimental pentru copii supradotați. La absolvire, el a fost angajat al Armour Research Foundation din Illinois Institute of Technology, mai întâi ca operator de calculatoare și apoi ca programator de calculatoare. El a găsit timp pentru a câștiga o a doua diplomă de licență, în fizică, de la Universitatea din Chicago în 1958. În 1962, Floyd s-a mutat la Wakefield, Mass., Pentru a lucra ca om de știință de proiect senior pentru Computer Associates, o firmă software timpurie care s-a specializat în scriere. compilatoare.
Floyd s-a alăturat facultății de informatică a Institutului de Tehnologie Carnegie (acum Carnegie Mellon University) în 1965. Știința calculatorului era o nouă disciplină academică, iar Floyd a contribuit la dezvoltarea curriculumului școlii. În 1968 Floyd a trecut la departamentul de informatică de la Universitatea Stanford, unde a devenit profesor complet în 1970. La scurt timp după pensionarea sa din Stanford în 1994, Floyd a fost diagnosticat cu boala Pick, o formă rară de demență prematură.
Floyd a fost ales în Academia Americană de Arte și Științe, Asociația Americană pentru Avansarea Științei și Asociația pentru Mașini de Calcul (ACM). A activat în consiliul de redacție al Comunicărilor ACM timp de mai mulți ani și a primit premiul IEEE Computer Pioneer în 1992. Cu computerul american Richard Beigel, Floyd a scris clasicul The Language of Machines: An Introduction to Computability and Formal Languages (1994)).
