Dana Scott

Amerikalı matematikçi ve bilgisayar bilimcisi

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ğum11 Ekim 1932 (91 yaşında)
Berkeley, Kaliforniya, ABD
EğitimKaliforniya Üniversitesi, Berkeley
Princeton Üniversitesi
ÖdüllerLeroy P. Steele Ödülü (1972)
Turing Ödülü (1976)
Kariyeri
DalıBilgisayar bilimi
Matematik
Felsefe
Çalıştığı kurumlarKaliforniya Üniversitesi, Berkeley
Stanford Üniversitesi
Oxford Üniversitesi
Carnegie Mellon Üniversitesi
Doktora
danışmanı
Alonzo Church
Doktora öğrencileriJack Copeland
Michael Fourman
Fred S. Roberts
David Turner[1]

Kaynakça 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)