Hlavní Věda

Robert W Floyd americký počítačový vědec

Robert W Floyd americký počítačový vědec
Robert W Floyd americký počítačový vědec

Video: Calling All Cars: The Long-Bladed Knife / Murder with Mushrooms / The Pink-Nosed Pig 2024, Červenec

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

Robert W Floyd (narozen 8. června 1936, New York, NY, USA - zemřel 25. září 2001), americký počítačový vědec a vítěz ceny AM Turing Award z roku 1978, nejvyšší vyznamenání v počítačové vědě, za „pomoc při hledání následující důležitá podpole informatiky: teorie analýzy, sémantika programovacích jazyků, automatická verifikace programu, automatická syntéza programu a analýza algoritmů. “

V roce 1953 získal Floyd bakalářský titul v oboru svobodných umění na University of Chicago, kde se zapsal v rámci experimentálního programu pro nadané děti. Po ukončení studia byl zaměstnán v Armor Research Foundation v Illinois Institute of Technology, nejprve jako počítačový operátor a poté jako počítačový programátor. Na univerzitě v Chicagu v roce 1958 našel čas na získání druhého bakalářského titulu z fyziky na univerzitě v Chicagu. V roce 1962 se Floyd přestěhoval do Wakefield, Massachusetts, aby pracoval jako vedoucí projektového vědce pro Computer Associates, ranou softwarovou firmu specializující se na psaní kompilátory.

Floyd se připojil k fakultě informatiky na Carnegie Institute of Technology (nyní Carnegie Mellon University) v roce 1965. Počítačová věda byla nová akademická disciplína a Floyd byl nápomocen při vývoji školních osnov. V roce 1968 Floyd přešel na oddělení informatiky na Stanfordské univerzitě, kde se v roce 1970 stal profesorem. Krátce po svém odchodu ze Stanfordu v roce 1994 byl Floydovi diagnostikována Pickova choroba, vzácná forma předčasné demence.

Floyd byl zvolen do Americké akademie umění a věd, Americké asociace pro rozvoj vědy a Asociace pro výpočetní techniku ​​(ACM). Mnoho let působil v redakční radě Komunikace ACM a v roce 1992 získal cenu IEEE Computer Pioneer Award. S americkým počítačovým vědcem Richardem Beigelem napsal Floyd klasiku The Language of Machines: Úvod do kompatibility a formálních jazyků (1994)).