Dana Scott

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání
Dana Stewart Scott
Scott Dana small.jpg
Narození11. října 1932 (89 let)
Berkeley, Kalifornie, USA
Alma materUniversity of California, Berkeley, Princeton University
PracovištěUniversity of California, Berkeley, Oxfordská univerzita, Univerzita Carnegie Mellon
Oboryinformatika, matematika, filosofie
OceněníTuringova cena
Manžel(ka)Irene Schreier Scott
PříbuzníOtto Schreier (manželčin otec)[1]
Webwww.cs.cmu.edu/~scott
Některá data mohou pocházet z datové položky.

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.

  1. MacTutor History of Mathematics archive. Dostupné online.

Externí odkazy[editovat | editovat zdroj]