Robert McNaughton
Robert Forbes McNaughton, Jr. (1924 – Troy (Nova Iorque), 2014) foi um matemático, lógico e cientista da computação estadunidense, com diversas contribuições em linguagens formais, gramática formal e sistema de redução.[1]
| Robert McNaughton | |
|---|---|
| Nascimento | 1924 |
| Morte | 5 de junho de 2014 Troy |
| Cidadania | Estados Unidos |
| Alma mater | |
| Ocupação | matemático, cientista de computação |
| Prêmios |
|
| Empregador(a) | Universidade da Pensilvânia, Instituto Politécnico Rensselaer |
McNaughton obteve um bacharelado na Universidade Columbia. Obteve um Ph.D. na Universidade Harvard, com a tese On Establishing the Consistency of Systems, orientado por Willard van Orman Quine.[2]
Lecionou na Universidade da Pensilvânia e depois no Instituto Politécnico Rensselaer.
Referências
- ↑ Corcoran, John; Narendran, Paliath; Thomas, Wolfgang (outubro de 2014), «Obituary Robert McNaughton 1924 – 2014», Bulletin of the European Association for Theoretical Computer Science, 114
- ↑ Robert McNaughton (em inglês) no Mathematics Genealogy Project