Dana Scott

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
Dana Stewart Scott
americký informatik a matematik
americký informatik a matematik
Narodenie11. október 1932 (85 rokov)
Berkeley, Kalifornia, USA
Odkazy
Webstránkacmu.edu
CommonsSpolupracuj na Commons 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í.

Iné projekty[upraviť | upraviť zdroj]