Dana Scott
Dana Stewart Scott (Berkeley, 11 de outubro de 1932) é um matemático, lógico, informático e filósofo estadunidense.
| Dana Stewart 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[1] |
| 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 |
Contribuiu significativamente para a teoria dos autômatos, teoria dos modelos e semântica de linguagens de programação.
Referências
- ↑ Dana Scott (em inglês) no Mathematics Genealogy Project
Ligações externas
editar- 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 |
