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