Robert Floyd

Wikipediasta
Siirry navigaatioon Siirry hakuun
Robert Floyd
Henkilötiedot
Syntynyt8. kesäkuuta 1936
New York, Yhdysvallat
Kuollut25. syyskuuta 2001 (65 vuotta)
Kalifornia, Yhdysvallat
Kansalaisuus Yhdysvallat
Koulutus ja ura
Tutkimusalue Tietojenkäsittelytiede

Robert W. Floyd (8. kesäkuuta 1936 New York25. 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]

  1. a b Robert (Bob) W Floyd amturing.acm.org. Viitattu 9.3.2024. (englanniksi)
  2. a b c Robert W Floyd britannica.com. Viitattu 9.3.2024. (englanniksi)
  3. a b Professor Robert W. Floyd legacy.cs.stanford.edu. Viitattu 9.3.2024. (englanniksi)

Aiheesta muualla

[muokkaa | muokkaa wikitekstiä]