Dana Scott
| Dana Stewart Scott | |
|---|---|
![]() | |
| Narození | 11. října 1932 (92 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. | |
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í.
Odkazy
Reference
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
Obrázky, zvuky či videa k tématu Dana Scott na Wikimedia Commons - Dana Scott na Mathematics Genealogy Project (anglicky)
Portály: Matematika | Spojené státy americké
