Personalità contemporaneaFemminile
Dana Scott
n. 1932
Informazioni sulla personalità
Riepilogo di WikipediaDana Stewart Scott 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í.
Dati biografici e professionali
Data di nascita
11 ottobre 1932
- Settore e professione
- americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Altre personalità illustri di nome Dana
Lasciati ispirare da altre figure che portano questo nome nella storia e nell'epoca contemporanea.
