Dana Scott
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 (89 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 (manželčin otec)[1] |
| Web | www |
Některá data mohou pocházet z datové položky. | |
Odkazy
Reference
V tomto článku byl použit překlad textu z článku Dana Scott na slovenské Wikipedii.
- MacTutor History of Mathematics archive. Dostupné online.
Externí odkazy
Obrázky, zvuky či videa k tématu Dana Scott na Wikimedia Commons - (anglicky) Dana Scott na The Mathematics Genealogy Project
Autoritní data  |
|
|---|
Portály: Matematika | Spojené státy americké
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.