Glavni znanost

Robert W Floyd ameriški računalničar

Robert W Floyd ameriški računalničar
Robert W Floyd ameriški računalničar

Video: Spirit - Taurus 2024, Julij

Video: Spirit - Taurus 2024, Julij
Anonim

Robert W Floyd (rojen 8. junija 1936, New York, NY, ZDA - umrl 25. septembra 2001), ameriški računalničar in dobitnik nagrade Turing iz leta 1978, ki je bila najvišja čast računalništva, "ker je pomagal najti naslednja pomembna podpolja računalništva: teorija razčlenjevanja, semantika programskih jezikov, samodejna verifikacija programov, samodejna sinteza programov in analiza algoritmov."

Leta 1953 je Floyd diplomiral iz svobodne umetnosti na Univerzi v Chicagu, kamor se je vpisal v okviru eksperimentalnega programa za nadarjene otroke. Po diplomi se je zaposlil v fundaciji za raziskave oklepov Tehnološkega inštituta Illinois, najprej kot računalniški operater, nato pa kot računalniški programer. Našel je čas za pridobitev druge diplome iz fizike na Univerzi v Chicagu leta 1958. Leta 1962 se je Floyd preselil v Wakefield, Massachusetts, kjer je delal kot višji znanstvenik v projektu Computer Associates, zgodnje programsko podjetje, ki se je specializiralo za pisanje prevajalnike.

Floyd se je leta 1965 pridružil fakulteti za računalništvo na Tehnološkem inštitutu Carnegie (zdaj Univerza Carnegie Mellon). Računalništvo je bila nova akademska disciplina, Floyd pa je bil ključnega pomena pri razvoju učnega načrta šole. Leta 1968 se je Floyd preselil na oddelek za računalništvo na Univerzi Stanford, kjer je postal redni profesor leta 1970. Kmalu po upokojitvi iz Stanforda leta 1994 je Floydu zbolel za Pick-ovo boleznijo, redko obliko prezgodnje demence.

Floyd je bil izvoljen v Ameriško akademijo znanosti in umetnosti, Ameriško združenje za napredek znanosti in Združenje za računalniške stroje (ACM). Dolga leta je bil v uredništvu komunikacij ACM in leta 1992 prejel nagrado IEEE Computer Pioneer. Z ameriškim računalničarjem Richardom Beigelom je Floyd napisal klasiko The Language of Machines: An Introduction to Computability in Formal Languages ​​(1994).