Dana Scott
americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Dana Stewart Scott (* 11. října 1932, Berkeley, USA) je americký informatik, matematik, logik a filosof. V roce 1976 získal společně s Michaelem O. Rabinem Turingovu cenu za práci v oblasti teorie automatů. Výsledkem jeho spolupráce s Christopherem Stracheyem bylo položení základů moderního přístupu k sémantice programovacích jazyků. Pracoval též na poli modální logiky, topologie a teorie kategorií.
| Dana Stewart Scott | |
|---|---|
 | |
| Narození | 11. října 1932 (91 let) Berkeley, Kalifornie, USA |
| Alma mater | University of California, Berkeley, Princeton University |
| Pracoviště | University of California, Berkeley, Oxfordská univerzita, Univerzita Carnegie Mellon |
| Obory | informatika, matematika, filosofie |
| Ocenění | Turingova cena |
| Manžel(ka) | Irene Schreier Scott |
| Příbuzní | Otto Schreier (tchán)[1] |
| Web | www |
Některá data mohou pocházet z datové položky. | |
Odkazy editovat
Reference editovat
V tomto článku byl použit překlad textu z článku Dana Scott na slovenské Wikipedii.
- ↑ MacTutor History of Mathematics archive. Dostupné online.
Externí odkazy editovat
Obrázky, zvuky či videa k tématu Dana Scott na Wikimedia Commons - (anglicky) Dana Scott na The Mathematics Genealogy Project
