| degree | year | school | thesis | ||
|---|---|---|---|---|---|
| Ph.D | 2005 | University of Washington | Algorithmic Applications of Propositional Proof Complexity | ||
| M.S. | 2001 | University of Washington | |||
| B.S. | 1998 | Indian Institute of Technology, Kanpur |
Please send questions/comments to Benjamin Kuipers.