Legfontosabb tudomány

Robert W Floyd amerikai számítógépes tudós

Robert W Floyd amerikai számítógépes tudós
Robert W Floyd amerikai számítógépes tudós

Videó: How synthetic biology could wipe out humanity -- and how we can stop it | Rob Reid 2024, Július

Videó: How synthetic biology could wipe out humanity -- and how we can stop it | Rob Reid 2024, Július
Anonim

Robert W Floyd (született 1936. június 8-án, New York, NY, Egyesült Államok - 2001. szeptember 25-én halt meg), amerikai informatikus és az 1978. évi Turing-díj, a számítástechnika legmagasabb tiszteletének nyertese, azért, mert „segít megtalálni a számítástechnika következő fontos alterületei: az elemzés elmélete, a programozási nyelvek szemantikája, az automatikus program-ellenőrzés, az automatikus program-szintézis és az algoritmusok elemzése. ”

1953-ban Floyd a Chicagói Egyetemen szerzett szabad művészetek főiskolai diplomáját, ahol tehetséges gyermekek kísérleti programjába beiratkozott. A diploma megszerzésekor az Illinoisi Technológiai Intézet Páncél Kutatási Alapítványában dolgozott, először számítógépes operátorként, majd számítógépes programozóként. Időt talált arra, hogy 1958-ban második fizikai alapfokozatot szerezzen a Chicagói Egyetemen. 1962-ben Floyd a Massachusetts Wakefieldbe költözött, hogy a Computer Associates, az írásra szakosodott korai szoftvercég, vezető projekttudósként dolgozzon. fordítóprogramok.

Floyd 1965-ben csatlakozott a Carnegie Technológiai Intézet (ma Carnegie Mellon Egyetem) számítástechnikai karához. A számítástechnika új tudományos tudományág volt, és Floyd hozzájárult az iskola tantervének kidolgozásához. 1968-ban Floyd továbbköltözött a Stanfordi Egyetem számítástechnikai tanszékéhez, ahol 1970-ben teljes professzor lett. Röviddel azután, hogy 1994-ben visszamentek Stanfordból, Floydot Pick-kórban diagnosztizálták, amely a korai demencia ritka formája.

Floydot az Amerikai Művészeti és Tudományos Akadémiára, az Amerikai Tudományos Fejlesztési Szövetségre és a Számítástechnikai Gépek Szövetségére (ACM) választották. Sok éven át az ACM Kommunikáció szerkesztõ testületén volt, és 1992-ben megkapta az IEEE Computer Pioneer díjat. Richard Beigel amerikai számítógépes tudósával Floyd a Gépek nyelve: bevezetés a számíthatósághoz és a formális nyelvekbe című 1994-es klasszikus cikket írta.).