Graduate Courses Taken
Fall 2003
- 15-814* Introduction to Type Systems
- 15-819 Seminar in Type Refinements
- 15-781* Graduate Machine Learning
Spring 2004
- 80-713 Category Theory
- 15-815 Automated Theorem Proving
Fall 2004
- 15-851 Computation and Deduction
- 15-855* Introduction to Computational Complexity Theory
Spring 2005
- 15-745* Optimizing Compilers for Modern Architectures
- 80-820 Categorical Logic
Fall 2005
- 15-712* Advanced Operating Systems and Distributed Systems
Fall 2006
- 15-819K Logic Programming
Fall 2007
- 15-819 Languages and Logics for Security