Otevřít hlavní menu

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í.

Dana Stewart Scott
Scott Dana small.jpg
Narození 11. října 1932 (86 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
Některá data mohou pocházet z datové položky.

OdkazyEditovat

ReferenceEditovat

V tomto článku byl použit překlad textu z článku Dana Scott na slovenské Wikipedii.

Externí odkazyEditovat