Robert McNaughton
| Robert McNaughton | |
|---|---|
| Nascimento | 1924 |
| Morte | 5 de junho de 2014 Troy |
| Cidadania | Estados Unidos |
| Alma mater | |
| Ocupação | matemático, cientista de computação |
| Distinções |
|
| Empregador(a) | Universidade da Pensilvânia, Instituto Politécnico Rensselaer |
| Orientador(a)(es/s) | Willard Van Orman Quine |
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]
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
Categorias:
- Nascidos em 1924
- Mortos em 2014
- Professores da Universidade da Pensilvânia
- Professores do Instituto Politécnico Rensselaer
- Matemáticos dos Estados Unidos do século XX
- Matemáticos dos Estados Unidos do século XXI
- Cientistas da computação dos Estados Unidos
- Alunos da Universidade Columbia
- Alunos da Universidade Harvard