Dana Scott

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Dana Stewart Scott
Nascimento 11 de outubro de 1932 (84 anos)
Berkeley
Nacionalidade Estados Unidos Estadunidense

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