| Robert Floyd | |
|---|---|
| Henkilötiedot | |
| Syntynyt | 8. kesäkuuta1936 New York,Yhdysvallat |
| Kuollut | 25. syyskuuta2001 (65 vuotta) Kalifornia, Yhdysvallat |
| Kansalaisuus | Yhdysvallat |
| Koulutus ja ura | |
| Tutkimusalue | Tietojenkäsittelytiede |
| Infobox OK | |
Robert W. Floyd (8. kesäkuuta1936New York –25. syyskuuta2001Kalifornia) oliyhdysvaltalainen tietojenkäsittelytieteilijä. Hän saiTuring-palkinnon vuonna 1978 työstään, johon kuului parseroinnin teoria, ohjelmointikielten semantiikka, automaattinen ohjelmien verifiointi, automaattinen synteesi jaalgoritmien analyysi.[1][2]
Floyd valmistuihigh schoolista 14 vuotiaana. Hänen ensikosketuksensa tietotekniikkaan oli Armour Research Foundationissa ja hän luki ohjekirjoja uteliaisuuteensa, jolloin hän aloittiohjelmoijana. Hän työskenteliohjelmointikielten 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 artikkeliAssigning Meanings to Programs (1967) oli merkittävä ja inspiroiTony 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öskenteliCommunications of the ACM -lehden toimituksessa ja kirjoittiRichard Beigelin kanssa teoksenThe Language of Machines: An Introduction to Computability and Formal Languages (1994).[2]
