Tärkein tiede

Robert W Floyd Amerikkalainen tietotekniikan tutkija

Robert W Floyd Amerikkalainen tietotekniikan tutkija
Robert W Floyd Amerikkalainen tietotekniikan tutkija

Video: Calling All Cars: The Long-Bladed Knife / Murder with Mushrooms / The Pink-Nosed Pig 2024, Heinäkuu

Video: Calling All Cars: The Long-Bladed Knife / Murder with Mushrooms / The Pink-Nosed Pig 2024, Heinäkuu
Anonim

Robert W Floyd (syntynyt 8. kesäkuuta 1936, New York, NY, Yhdysvallat - kuollut 25. syyskuuta 2001), amerikkalainen tietotekniikka ja tietotekniikan korkeimman kunnianosoituksen (1978 AM Turing Award) voittaja "auttamisesta löytämään seuraavat tietotekniikan tärkeät osa-alueet: jäsentämisen teoria, ohjelmointikielten semantiikka, automaattinen ohjelman varmennus, automaattinen ohjelman synteesi ja algoritmien analyysi."

Vuonna 1953 Floyd ansaitsi vapaiden taiteiden kandidaatin tutkinnon Chicagon yliopistosta, missä hän oli ilmoittautunut osaksi kokeellista ohjelmaa lahjakkaille lapsille. Valmistuttuaan hänet työskenteli Illinoisin teknillisen instituutin panssaritutkimussäätiössä, ensin tietokoneoperaattorina ja sitten tietokoneohjelmoijana. Hän löysi aikaa ansaita toisen fysiikan kandidaatin tutkinnon Chicagon yliopistosta vuonna 1958. Vuonna 1962 Floyd muutti Wakefieldiin, Massachusettiin työskentelemään vanhempana projektitutkijana Computer Associates -yrityksessä, varhaisessa ohjelmistoyrityksessä, joka on erikoistunut kirjoittamiseen. kerääjiä.

Floyd liittyi Carnegie Institute of Technologyn (nykyinen Carnegie Mellon University) tietojenkäsittelytieteelliseen tiedekunnan palvelukseen vuonna 1965. Tietotekniikka oli uusi akateeminen tieteenala, ja Floyd auttoi kehittämään koulun opetussuunnitelmaa. Vuonna 1968 Floyd muutti tietotekniikan osastoon Stanfordin yliopistossa, jossa hänestä tuli täysi professori vuonna 1970. Pian sen jälkeen kun hän oli jäänyt eläkkeelle Stanfordista vuonna 1994, Floydilla todettiin Pick-tauti, joka on harvinainen ennenaikaisen dementian muoto.

Floyd valittiin Amerikan taiteiden ja tieteiden akatemiaan, Amerikan tieteen edistymisen yhdistykseen ja ACM: ään. Hän toimi useita vuosia ACM: n Viestinnän toimituksella ja sai IEEE Computer Pioneer Award -palkinnon vuonna 1992. Floyd kirjoitti amerikkalaisen tietoteknikon Richard Beigelin kanssa klassisen koneiden kielen: Johdatus laskettavuuteen ja muodollisiin kieliin (1994).).