Dana Scott

Dana Stewart Scott (* 11. október 1932, Berkeley, Kalifornia, USA) je americký informatik, matematik, logik a filozof. V roku 1976 dostal Turingovu cenu za svoju prácu v oblasti teórie automatov. Výsledkom jeho spolupráce s Christopherom Stracheyom bolo položenie základov moderného prístupu k sémantike programovacích jazykov. Pracoval tiež v modálnej logike, topológii a teórii kategórií.

 Iné projekty 

Kategória:Držitelia Turingovej ceny
Kategória:Informatici USA
Kategória:Matematici USA
Kategória:Logici USA
Kategória:Filozofi USA
Kategória:Absolventi Princeton University
Kategória:Absolventi University of California, Berkeley
Kategória:Členovia United States National Academy of Sciences
Kategória:Osobnosti z Berkeley (Kalifornia)