Robert McNaughton

Source: Wikipedia, the free encyclopedia.

Robert Forbes McNaughton, Jr. (1924–2014) was an American

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. ^
    Bulletin of the European Association for Theoretical Computer Science
    , 114
  2. ^ Robert McNaughton at the Mathematics Genealogy Project