Dana Scott

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Dana Stewart Scott
Nascimento 11 de outubro de 1932 (85 anos)
Berkeley
Nacionalidade Estados Unidos 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) Alonzo Church[1]
Orientado(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.

Referências

Ligações externas[editar | editar código-fonte]


Precedido por
Allen Newell, Herbert Simon
Prêmio Turing
1976
com Michael Rabin
Sucedido por
John Backus