Dana Scott

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
Dana Stewart Scott
Scott Dana small.jpg
Doğum 11 Ekim 1932 (1932-10-11) (87 yaşında)
Berkeley, Kaliforniya, ABD
Eğitim Kaliforniya Üniversitesi, Berkeley
Princeton Üniversitesi
Ödüller Leroy P. Steele Ödülü (1972)
Turing Ödülü (1976)
Bilimsel kariyeri
Dalı Bilgisayar bilimi
Matematik
Felsefe
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]

  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)