Figura destacadaFemenino
Dana Scott
n. 1932
Sobre la personalidad
Resumen de 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í.
Datos biográficos y profesionales
Fecha de nacimiento
11 de octubre de 1932
- Ámbito y ocupación
- americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Otras figuras destacadas llamadas Dana
Inspírate con otras figuras que llevan este nombre a lo largo de la historia y en la actualidad.
