Dana Stewart Scott (Berkeley, ) é um matemático, lógico, informático e filósofo estadunidense.

Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação.

Ligações externas

Categoria:Prêmio Turing Categoria:Prêmio Rolf Schock Categoria:Membros da Academia Nacional de Ciências dos Estados Unidos Categoria:Fellows da ACM Categoria:Doutores honoris causa da Universidade Técnica de Darmstadt Categoria:Especialistas em lógica matemática Categoria:Teóricos do reticulado Categoria:Topólogos Categoria:Semanticistas Categoria:Lógicos dos Estados Unidos Categoria:Professores da Universidade Carnegie Mellon Categoria:Professores da Universidade de Chicago Categoria:Professores da Universidade da Califórnia em Berkeley Categoria:Matemáticos dos Estados Unidos Categoria:Matemáticos dos Estados Unidos do século XX Categoria:Cientistas da computação dos Estados Unidos Categoria:Alunos da Universidade de Princeton Categoria:Alunos da Universidade da Califórnia em Berkeley Categoria:Bolsistas Guggenheim