Personalitate contemporanăFemeie
Dana Scott
n. 1932
Despre această persoană
Rezumat 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í.
Detalii biografice și profesionale
Data nașterii
11 octombrie 1932
Berkeley
Cetățenie
Statele Unite ale Americii
Ocupații și domenii
matematicianinformaticianinginertopologprofesor universitarlogician
Premii și distincții
premiul TuringBursă GuggenheimHarold Pender AwardRolf Schock Prize in Logic and PhilosophyGödel Lecturerpremiul EATCS
- Domeniu și ocupație
- americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Alte personalități celebre cu numele Dana
Găsiți inspirație în alte figuri istorice sau contemporane care poartă acest nume.
