Dana Scott

Dana Stewart Scott
Narození	11. října 1932 (90 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
Manžel(ka)	Irene Schreier Scott
Příbuzní	Otto Schreier (tchán)[1]
Web	www.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

Reference

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

Externí odkazy

• Obrázky, zvuky či videa k tématu Dana Scott na Wikimedia Commons
• (anglicky) Dana Scott na The Mathematics Genealogy Project