| degree | year | school | thesis | ||
|---|---|---|---|---|---|
| M.S. | 1977 | Massachusetts Institute of Technology | Truth Maintenance Systems for Problem Solving | ||
| Ph.D | 1980 | A Model for Deliberation, Action, and Introspection | |||
| B.S. | 1974 | University of Houston | Computational Investigations of Non-Repetitive Sequences |
Please send questions/comments to Benjamin Kuipers.