Dana Scott

Dana Stewart Scott
Dana Scott
Nascimento	11 de outubro de 1932 (92 anos) Berkeley
Nacionalidade	Estadunidense
Prêmios	Prêmio Leroy P. Steele (1972), Prêmio Turing (1977), Tarski Lectures (1989), Gödel Lecturer (1991), Prêmios Rolf Schock (1997)
Orientador(es)(as)	Alonzo Church
Orientado(a)(s)	Jack Copeland, Michael Fourman, Kenneth Kunen, Angus Macintyre, Ketan Mulmuley, Marko Petkovšek, Fred S. Roberts, David Turner, Dana Stewart Scott
Campo(s)	Matemática, lógica, ciência da computação e filosofia
Tese	1958: Convergent sequences of complete theories

Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é 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

• Dana Scott (em inglês) no Mathematics Genealogy Project
• «Página pessoal» (em inglês) 
• «Prêmio Rolf Schock» (em inglês) 
• «ACM Fellow» (em inglês) 
• «Série Perspectives in Mathematical Logic» (em inglês) 

Precedido por Allen Newell, Herbert Simon

Prêmio Turing 1976 com Michael Rabin

Sucedido por John Backus