Ana Bilim

Robert W Floyd Amerikalı bilgisayar bilimcisi

Robert W Floyd Amerikalı bilgisayar bilimcisi
Robert W Floyd Amerikalı bilgisayar bilimcisi

Video: Heat Shootout Scene (High Quality) 2024, Temmuz

Video: Heat Shootout Scene (High Quality) 2024, Temmuz
Anonim

Robert W Floyd, (8 Haziran 1936 doğumlu, New York, NY, ABD — 25 Eylül 2001'de öldü), Amerikalı bilgisayar bilimcisi ve bilgisayar bilimindeki en büyük onur olan 1978 AM Turing Ödülü'nün “ bilgisayar biliminin aşağıdaki önemli alt alanları: ayrıştırma teorisi, programlama dillerinin anlambilimi, otomatik program doğrulama, otomatik program sentezi ve algoritmaların analizi. ”

1953'te Floyd, üstün yetenekli çocuklar için deneysel bir programın bir parçası olarak kaydolduğu Chicago Üniversitesi'nden liberal sanatlar alanında lisans derecesi aldı. Mezun olduktan sonra Illinois Teknoloji Enstitüsü Zırh Araştırma Vakfı tarafından önce bilgisayar operatörü, sonra bilgisayar programcısı olarak çalıştı. 1958'de Chicago Üniversitesi'nden fizikte ikinci bir lisans derecesi kazanmak için zaman buldu. 1962'de Floyd, Wakefield, Mass. 'A yazıda uzmanlaşmış eski bir yazılım firması olan Computer Associates için kıdemli bir proje bilimcisi olarak çalışmaya başladı. derleyiciler.

Floyd, 1965 yılında Carnegie Teknoloji Enstitüsü'nün (şu anda Carnegie Mellon Üniversitesi) bilgisayar bilimleri fakültesine katıldı. Bilgisayar bilimi yeni bir akademik disiplindi ve Floyd okulun müfredatını geliştirmede etkili oldu. 1968'de Floyd, 1970'de tam profesör olduğu Stanford Üniversitesi'nde bilgisayar bilimleri bölümüne geçti. 1994 yılında Stanford'dan emekli olduktan kısa bir süre sonra, Floyd'a nadir bir erken demans türü olan Pick hastalığı teşhisi kondu.

Floyd, Amerikan Bilim ve Sanat Akademisi'ne, Amerikan Bilimi Geliştirme Derneği'ne ve Bilgisayar Makineleri Derneği'ne (ACM) seçildi. ACM İletişimin yayın kurulunda uzun yıllar görev yaptı ve 1992'de IEEE Bilgisayar Öncüsü Ödülü'nü aldı. Amerikalı bilgisayar bilimcisi Richard Beigel ile Floyd klasik Makinelerin Dili: Hesaplanabilirlik ve Biçimsel Dillere Giriş (1994)).