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
Externí odkazy
Kategorie:Američtí logici Kategorie:Američtí informatici Kategorie:Američtí matematici Kategorie:Matematici 20. století Kategorie:Matematičtí logici Kategorie:Topologové Kategorie:Nositelé Turingovy ceny Kategorie:Členové Národní akademie věd USA Kategorie:Držitelé čestných doktorátů Technické univerzity Darmstadt Kategorie:Pedagogové na Kalifornské univerzitě v Berkeley Kategorie:Pedagogové na Oxfordské univerzitě Kategorie:Absolventi Princetonské univerzity Kategorie:Absolventi Kalifornské univerzity v Berkeley Kategorie:Narození v Berkeley Kategorie:Narození v roce 1932 Kategorie:Narození 11. října Kategorie:Muži Kategorie:Žijící lidé