Dana Scott
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. |
Kategori:
- Amerikalı bilim insanı taslakları
- 1932 doğumlular
- Berkeley, Kaliforniya doğumlular
- Kaliforniya doğumlu bilim insanları
- Yaşayan insanlar
- Amerikalı bilgisayar bilimcileri
- Amerikalı mantıkçılar
- Ulusal Bilimler Akademisi üyeleri
- Carnegie Mellon Üniversitesi öğretim üyeleri
- Association for Computing Machinery Fellow'ları
- Biçimsel yöntemler kişileri
- Guggenheim Fellows
- Model teorisyenleri
- Programlama dili araştırmacıları
- Rolf Schock Ödülü sahipleri
- Turing Ödülü sahipleri
- Anlambilimciler
- Küme teorisyenleri
- Chicago Üniversitesi öğretim üyeleri
- Kaliforniya Üniversitesi, Berkeley öğretim üyeleri
- Princeton Üniversitesinde öğrenim görenler
- Kaliforniya Üniversitesi, Berkeley'de öğrenim görenler
- 20. yüzyıl Amerikalı matematikçileri
- 21. yüzyıl Amerikalı matematikçileri