Põhiline teadus

Robert W Floyd Ameerika arvutiteadlane

Robert W Floyd Ameerika arvutiteadlane
Robert W Floyd Ameerika arvutiteadlane
Anonim

Robert W Floyd (sündinud 8. juunil 1936 New Yorgis, NY, USA - suri 25. septembril 2001), ameerika arvutiteadlane ja 1978. aasta AM Turingi auhinna laureaat, mis on arvutiteaduse kõrgeim au „abi leidmisel järgmised arvutiteaduse olulised alamvaldkonnad: parsimise teooria, programmeerimiskeelte semantika, programmi automaatne kontrollimine, automaatne programmi süntees ja algoritmide analüüs. ”

Aastal 1953 teenis Floyd vabade kunstide bakalaureuse kraadi Chicago ülikoolist, kus ta oli registreerunud andekate laste eksperimentaalprogrammi raames. Kooli lõpetamise järel asus ta tööle Illinoisi Tehnikainstituudi Armor Research Foundationisse, esmalt arvutioperaatori ja seejärel arvutiprogrammeerijana. Ta leidis aega, et teenida 1958. aastal Chicago ülikoolist teine ​​füüsika bakalaureuse kraad. 1962. aastal kolis Floyd Wakefieldi, Massachustsiasse, et töötada vanemas kirjutamisele spetsialiseerunud tarkvaraettevõtte Computer Associates vanemprojekti teadurina. koostajad.

Floyd liitus 1965. aastal Carnegie tehnoloogiainstituudi (nüüdne Carnegie Melloni ülikool) arvutiteaduskonnaga. Arvutiteadus oli uus akadeemiline teadusharu ja Floyd aitas kooli õppekava väljatöötamisel. 1968. aastal siirdus Floyd edasi Stanfordi ülikooli infotehnoloogia osakonda, kus ta sai 1970. aastal täiskohaga professoriks. Vahetult pärast 1994. aastal Stanfordi pensionile jäämist diagnoositi Floydil Picki tõbi, mis on enneaegse dementsuse haruldane vorm.

Floyd valiti Ameerika Kunstide ja Teaduste Akadeemiasse, Ameerika Teaduse Edendamise Assotsiatsiooni ja Arvutimasinate Assotsiatsiooni (ACM). Ta töötas aastaid ACM-i Kommunikatsiooni toimetustes ja sai 1992. aastal IEEE Computer Pioneer Awardi. Koos Ameerika arvutiteadlase Richard Beigeliga kirjutas Floyd klassika Masinate keel: sissejuhatus arvutatavusse ja ametlikesse keeltesse (1994).).