Suvremena ličnostŽena
Dana Scott
rođ. 1932
O ovoj osobi
Sažetak s WikipedijeDana 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í.
Biografski i profesionalni detalji
Datum rođenja
11. listopada 1932.
- Područje i djelatnost
- americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Ostale znamenite ličnosti s imenom Dana
Inspirirajte se drugim ličnostima koje nose ovo ime kroz povijest i u suvremeno doba.
