Dana Scott

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