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) (86 yaşında)
Berkeley, Kaliforniya, ABD
Dalı Bilgisayar bilimi
Matematik
Felsefe
Çalıştığı yerler Kaliforniya Üniversitesi, Berkeley
Stanford Üniversitesi
Oxford Üniversitesi
Carnegie Mellon Üniversitesi
Öğrenim Kaliforniya Üniversitesi, Berkeley
Princeton Üniversitesi
Doktora hocası Alonzo Church
Doktora öğrencileri Jack Copeland
Michael Fourman
Fred S. Roberts
David Turner[1]
Önemli başarıları Özdevinim kuramı
Aldığı ödüller Leroy P. Steele Ödülü (1972)
Turing Ödülü (1976)

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)