Galvenais zinātne

Roberts W Floyd amerikāņu datorzinātnieks

Roberts W Floyd amerikāņu datorzinātnieks
Roberts W Floyd amerikāņu datorzinātnieks

Video: The Great Gildersleeve: Gildy Considers Marriage / Picnic with the Thompsons / House Guest Hooker 2024, Jūlijs

Video: The Great Gildersleeve: Gildy Considers Marriage / Picnic with the Thompsons / House Guest Hooker 2024, Jūlijs
Anonim

Roberts W Floids (dzimis 1936. gada 8. jūnijā Ņujorkā, Ņujorkā, ASV - miris 2001. gada 25. septembrī), amerikāņu datorzinātnieks un 1978. gada AM Tjūringa balvas, kas ir augstākais datorzinātņu gods, laureāts par “palīdzību atrast šādas svarīgas datorzinātnes apakšnozares: parsēšanas teorija, programmēšanas valodu semantika, automātiska programmu pārbaude, automātiska programmu sintēze un algoritmu analīze. ”

1953. gadā Floids ieguva bakalaura grādu brīvajā mākslā Čikāgas Universitātē, kur viņš bija reģistrējies apdāvinātu bērnu eksperimentālās programmas ietvaros. Pēc absolvēšanas viņš tika nodarbināts Ilinoisas Tehnoloģiju institūta Armor Research Foundation, vispirms kā datoru operators un pēc tam kā datorprogrammētājs. Viņš atrada laiku, lai nopelnītu otro bakalaura grādu fizikā no 1958. gada Čikāgas Universitātes. 1962. gadā Floyds pārcēlās uz Veikfeldu, Masačūsetsā, lai strādātu par vecāko projektu zinātnieku Computer Associates - agrīnās programmatūras firmai, kas specializējās rakstniecībā. sastādītāji.

Floids 1965. gadā iestājās Kārnegi Tehnoloģiju institūta (tagadējā Kārnegi Melona universitātē) datorzinātņu fakultātē. Datorzinātne bija jauna akadēmiska disciplīna, un Floids bija noderīgs skolas mācību programmas izstrādē. 1968. gadā Floids pārcēlās uz datorzinātņu nodaļu Stenfordas universitātē, kur 1970. gadā kļuva par pilntiesīgu profesoru. Neilgi pēc pensionēšanās no Stenfordas 1994. gadā Floyd tika diagnosticēta Pika slimība - reta priekšlaicīgas demences forma.

Floids tika ievēlēts Amerikas Mākslas un zinātnes akadēmijā, Amerikas Zinātnes attīstības asociācijā un Datortehnikas asociācijā (ACM). Viņš daudzus gadus kalpoja ACM Komunikāciju redakcijas kolēģijai un 1992. gadā saņēma IEEE Computer Pioneer balvu. Kopā ar amerikāņu datorzinātnieku Ričardu Beigelu, Floids uzrakstīja klasisko mašīnu valodu: ievads aprēķināmībai un formālajām valodām (1994).).