Robert Mcnaughton
From Handwiki Short description: American mathematician
Robert Forbes McNaughton, Jr. (1924–2014) was an American mathematician, logician, and computer scientist with several key contributions in formal languages, grammars and rewriting systems, and word combinatorics.[1]
McNaughton was originally from Brooklyn, and earned a bachelor's degree from Columbia University.[1] He completed his Ph.D. at Harvard University; his dissertation, On Establishing the Consistency of Systems, was supervised by Willard Van Orman Quine.[2] He taught at the University of Pennsylvania and then at the Rensselaer Polytechnic Institute.[1]
He died in 2014 in Troy, New York.[1]
References
- ↑ 1.0 1.1 1.2 1.3 "Obituary Robert McNaughton 1924 – 2014", Bulletin of the European Association for Theoretical Computer Science 114, October 2014, https://bulletin.eatcs.org/index.php/beatcs/article/view/309
- ↑ Robert McNaughton at the Mathematics Genealogy Project
 |  |
Categories: [American computer scientists] [Theoretical computer scientists]
↧ Download as ZWI file | Last modified: 08/30/2024 18:43:53 | 3 views
☰ Source: https://handwiki.org/wiki/Biography:Robert_McNaughton | License: CC BY-SA 3.0
✘
ZWI is not signed. [what is this?]
ZWI viewer
by the 
KSF
KSF