Dana Scott

Dana Stewart Scott
Narození 11. října 1932 (91 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.

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

Externí odkazy

Zdroj