americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků From Wikipedia, the free encyclopedia
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 | |
---|---|
![]() | |
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 |
Některá data mohou pocházet z datové položky. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.