Dana Scott
| Dana Stewart Scott | |
|---|---|
 | |
| Narození | 11. října 1932 (92 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. | |
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.
- ↑ MacTutor History of Mathematics archive. Dostupné online.
Externí odkazy
[editovat | editovat zdroj]
Obrázky, zvuky či videa k tématu Dana Scott na Wikimedia Commons - Dana Scott na Mathematics Genealogy Project (anglicky)
Kategorie:
- Narození v roce 1932
- Američtí logici
- Američtí informatici
- Američtí matematici
- Matematici 20. století
- Matematičtí logici
- Topologové
- Nositelé Turingovy ceny
- Američtí vysokoškolští pedagogové
- Absolventi Princetonské univerzity
- Absolventi Kalifornské univerzity v Berkeley
- Členové Národní akademie věd USA
- Narození 11. října
- Narození v Berkeley
- Držitelé čestných doktorátů Technické univerzity Darmstadt