Coursework
My graduate computer science coursework, with links to course homepages
where available.
Fall 2004
- cs294:
Techniques for Automated Deduction
Spring 2004
- cs262b: Advanced
Topics in Computer Systems
Spring 2003
- cs270: Combinatorial
Algorithms and Data Structures
- cs265: Advanced Programming
Language Implementation
Fall 2002
- cs263: Design and Analysis
of Programming Languages
- cs262a: Advanced Topics in
Computer Systems
Spring 2002
- 6.836: Embodied
Intelligence
- 6.898: Advanced Topics in
Software Design
Spring 2001
- 6.823:
Computer Systems Architecture
Fall 2000
- 6.840:
Introduction to the Theory of Computation
- 6.821:
Programming Languages