Dana Scott
Z Wikipedie, otevřené encyklopedie
| Dana Stewart Scott | |
 |
|
| Narozen | 11. října 1932 (80 let) Berkeley, Kalifornie, USA |
|---|---|
| Alma mater | University of California, Berkeley, Princeton University |
| Pracoviště | University of California, Berkeley, Oxfordská univerzita, Univerzita Carnegie Mellon |
| Obor | informatika, matematika, filosofie |
| Získaná ocenění | Turingova cena |
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 [editovat]
Reference [editovat]
V tomto článku byl použit překlad textu z článku Dana Scott na slovenské Wikipedii.
