Dana Scott
Dana Stewart Scott (* 11. október 1932, Berkeley, Kalifornia, USA) je americký informatik, matematik, logik a filozof. V roku 1976 dostal Turingovu cenu za svoju prácu v oblasti teórie automatov. Výsledkom jeho spolupráce s Christopherom Stracheyom bolo položenie základov moderného prístupu k sémantike programovacích jazykov. Pracoval tiež v modálnej logike, topológii a teórii kategórií.
| Dana Stewart Scott | |||
 americký informatik a matematik | |||
| Narodenie | 11. október 1932 (88 rokov) Berkeley, Kalifornia, USA | ||
|---|---|---|---|
| Odkazy | |||
| Webstránka | cmu.edu | ||
| Commons |  Dana Scott | ||
| |||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.