Dana Scott

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Dana Stewart Scott
Narození 11. října 1932 (82 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 | editovat zdroj]

Reference[editovat | editovat zdroj]

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

Externí odkazy[editovat | editovat zdroj]