Robert McNaughton

Robert Forbes McNaughton, Jr. (March 13, 1924 – June 5, 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. 1 2 3 4 Corcoran, John; Narendran, Paliath; Thomas, Wolfgang (October 2014), "Obituary Robert McNaughton 1924 – 2014", Bulletin of the European Association for Theoretical Computer Science, 114
  2. ↑ Robert McNaughton at the Mathematics Genealogy Project
This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.