Figura contemporâneaFeminino
Dana Scott
nasc. 1932
Sobre a personalidade
Resumo da 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í.
Dados biográficos e profissionais
Data de nascimento
11 de outubro de 1932
- Área e ocupação
- americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků
Outras personalidades notáveis chamadas Dana
Inspire-se noutras personalidades que partilham este nome ao longo da história e na atualidade.
