Robert Floyd
| Robert Floyd | |
|---|---|
| Henkilötiedot | |
| Syntynyt | 8. kesäkuuta 1936 New York, Yhdysvallat |
| Kuollut | 25. syyskuuta 2001 (65 vuotta) Kalifornia, Yhdysvallat |
| Kansalaisuus | Yhdysvallat |
| Koulutus ja ura | |
| Tutkimusalue | Tietojenkäsittelytiede |
Robert W. Floyd (8. kesäkuuta 1936 New York – 25. syyskuuta 2001 Kalifornia) oli yhdysvaltalainen tietojenkäsittelytieteilijä. Hän sai Turing-palkinnon vuonna 1978 työstään, johon kuului parseroinnin teoria, ohjelmointikielten semantiikka, automaattinen ohjelmien verifiointi, automaattinen synteesi ja algoritmien analyysi.[1][2]
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]
Lähteet[muokkaa | muokkaa wikitekstiä]
- ↑ a b Robert (Bob) W Floyd amturing.acm.org. Viitattu 9.3.2024. (englanniksi)
- ↑ a b c Robert W Floyd britannica.com. Viitattu 9.3.2024. (englanniksi)
- ↑ a b Professor Robert W. Floyd legacy.cs.stanford.edu. Viitattu 9.3.2024. (englanniksi)
Aiheesta muualla[muokkaa | muokkaa wikitekstiä]
- An algorithm for coding efficient arithmetic operations (PDF) (englanniksi)
| ||||||||||||||||||
