Personnalité contemporaineFéminin
Dana Scott
né(e) 1932
À propos de cette personnalité
Résumé WikipédiaDana 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í.
Informations biographiques et professionnelles
Date de naissance
11 octobre 1932
Berkeley
Nationalité
États-Unis
Professions et domaines d'activité
mathématicien ou mathématicienneinformaticien ou informaticienneingénieur ou ingénieuretopologueprofesseur d'universitélogicien ou logicienne
Prix et distinctions
prix Turingbourse Guggenheimprix Harold-Penderprix Schock de logique et philosophieGödel Lecturerprix EATCS
- Domaine et profession
- americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Autres personnalités notables nommées Dana
Inspirez-vous d'autres personnalités portant ce prénom à travers l'histoire et à l'époque moderne.
