Dana Scott

Dana Stewart Scott (d. 11 Ekim 1932), Amerikalı bilgisayar bilimcisi. Özdevinim kuramına katkılarından ötürü 1976'da Turing Ödülü'nü almaya hak kazanmıştır. Scott'ın Christopher Strachey'le birlikte yaptığı çalışmalar programlama dillerinin anlam bilimine yönelik çağdaş yaklaşımların ilki kabul edilmektedir.

Dana Stewart Scott
Doğum 11 Ekim 1932 (1932-10-11)
Berkeley, Kaliforniya, ABD
Eğitim Kaliforniya Üniversitesi, Berkeley
Princeton Üniversitesi
Ödüller Leroy P. Steele Ödülü (1972)
Turing Ödülü (1976)
Kariyeri
Dalı Bilgisayar bilimi
Matematik
Felsefe
Çalıştığı kurumlar Kaliforniya Üniversitesi, Berkeley
Stanford Üniversitesi
Oxford Üniversitesi
Carnegie Mellon Üniversitesi
Doktora
danışmanı
Alonzo Church
Doktora öğrencileri Jack Copeland
Michael Fourman
Fred S. Roberts
David Turner[1]

Kaynakça

  1. "Dana Stewart Scott". Mathematics Genealogy Project. Kuzey Dakota Eyalet Üniversitesi. 8 Haziran 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 31 Aralık 2017. (İngilizce)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.