Floyd valmistui high schoolista 14 vuotiaana. Hänen ensikosketuksensa tietotekniikkaan oli Armour Research Foundationissa ja hän luki ohjekirjoja uteliaisuuteensa, jolloin hän aloitti ohjelmoijana. Hän työskenteli ohjelmointikielten kääntäjien parissa Computer Associatesilla. Hän työskenteli vuonna 1967 ohjelmien oikeellisuuden todistamisen parissa, ensin vuokaavioilla ja myöhemmin oikeiden ohjelmien kanssa. Hänen julkaisemansa artikkeli Assigning Meanings to Programs (1967) oli merkittävä ja inspiroi Tony Hoaren työtä.[1][2][3]
Floydin työstä on sanottu, että ennen häntä ohjelmoijat säätivät ohjelmaansa kunnes ne näyttivät toimivan, mutta Floyd osoitti, että on tapa todistaa ohjelman toimivan hyödyntämällä matematiikkaa. Donald Knuthin mukaan hänen työnsä oli paljastava alalle.[3]
Floyd työskenteli Communications of the ACM -lehden toimituksessa ja kirjoitti Richard Beigelin kanssa teoksen The Language of Machines: An Introduction to Computability and Formal Languages (1994).[2]
