Robert Floyd
From Wikipedia, the free encyclopedia
From Wikipedia, the free encyclopedia
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]
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 |
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]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.