Robert Forbes McNaughton, Jr. (1924–2014) fue un matemático , lógico y científico informático estadounidense con varias contribuciones clave en lenguajes formales , gramáticas y sistemas de reescritura y combinatoria de palabras . [1]
McNaughton era originario de Brooklyn y obtuvo una licenciatura en la Universidad de Columbia . [1] Completó su doctorado en la Universidad de Harvard ; su disertación, On Establishing the Consistency of Systems , fue supervisada por Willard Van Orman Quine . [2] Enseñó en la Universidad de Pensilvania y luego en el Instituto Politécnico Rensselaer . [1]
Murió en 2014 en Troy, Nueva York . [1]