Utama sains

Saintis komputer Amerika Robert W Floyd

Saintis komputer Amerika Robert W Floyd
Saintis komputer Amerika Robert W Floyd
Anonim

Robert W Floyd, (lahir 8 Jun 1936, New York, NY, AS - meninggal 25 September 2001), saintis komputer Amerika dan pemenang Anugerah Turing 1978 AM, penghormatan tertinggi dalam sains komputer, kerana "membantu sub-bidang penting sains komputer berikut: teori penghuraian, semantik bahasa pengaturcaraan, pengesahan program automatik, sintesis program automatik, dan analisis algoritma."

Pada tahun 1953 Floyd memperoleh gelar sarjana dalam seni liberal dari University of Chicago, di mana dia telah mendaftar sebagai sebahagian daripada program eksperimen untuk anak-anak berbakat. Setelah tamat pengajian, dia dipekerjakan oleh Armor Research Foundation dari Illinois Institute of Technology, pertama sebagai pengendali komputer dan kemudian sebagai pengaturcara komputer. Dia mendapat masa untuk memperoleh ijazah sarjana muda kedua, dalam bidang fizik, dari University of Chicago pada tahun 1958. Pada tahun 1962 Floyd pindah ke Wakefield, Mass., Untuk bekerja sebagai saintis projek kanan untuk Computer Associates, sebuah firma perisian awal yang khusus dalam bidang penulisan penyusun.

Floyd bergabung dengan fakulti sains komputer di Carnegie Institute of Technology (sekarang Carnegie Mellon University) pada tahun 1965. Sains komputer adalah disiplin akademik yang baru, dan Floyd berperanan dalam mengembangkan kurikulum sekolah. Pada tahun 1968 Floyd pindah ke jurusan sains komputer di Universiti Stanford, di mana dia menjadi profesor penuh pada tahun 1970. Tidak lama selepas bersara dari Stanford pada tahun 1994, Floyd didiagnosis dengan penyakit Pick, bentuk demensia pramatang yang jarang berlaku.

Floyd terpilih ke Akademi Seni dan Sains Amerika, Persatuan Amerika untuk Kemajuan Sains, dan Persatuan Mesin Pengkomputeran (ACM). Dia berkhidmat di lembaga editorial Komunikasi ACM selama bertahun-tahun dan menerima Anugerah Perintis Komputer IEEE pada tahun 1992. Dengan saintis komputer Amerika Richard Beigel, Floyd menulis klasik The Language of Machines: An Introduction to Computability and Formal Languages ​​(1994).