Dana Scott - Vikipedi
Dana Stewart Scott | |
---|---|
![]() | |
Doğum | 11 Ekim 1932 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] |
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.
Kaynakça
[değiştir | kaynağı değiştir]- ^ "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)
![]() | Amerikalı bilim insanı ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |