Dana Scott
 |
Você está visualizando uma edição arquivada desta página, feita por Kaktus Kid (discussão | contribs) em 13h12min de 26 de outubro de 2009. Esta edição pode ser muito diferente da versão atual da página. O endereço URL mostrado no navegador é uma ligação permanente para esta edição. Para mais informações, consulte a página de ajuda sobre histórico de edições. |
| Dana Stewart Scott | |
|---|---|
 | |
| Prêmios | Turing Award (1977) |
Dana Stewart Scott (Berkeley, 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
- «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 |
Turing Award 1976 com Michael Rabin |
Sucedido por John Backus |