Courses Completed
CMU courses - PhD in CS
- 15-819K - Logic Programming, Fall 2006. (Frank Pfenning)
- 15-859P - Introduction to Theoretical Cryptography, Spring
2006. (Manual Blum and Steven Rudich)
- 15-817A - Introduction to Model Checking, Spring 2005. (Ed Clarke)
- 15-750 - Graduate algorithms, Spring 2004. (Manual Blum)
- 15-829 - Special Topics in Network Security & Software, Fall 2004.
(Dawn Song)
- 15-814 - Introduction to Type Systems, Fall 2004. (Karl
Crary)
Stanford courses - Masters in CS (not a complete list)
- CS 355 - Topics in cryptography (Dan Boneh)
- CS 255 - Introduction to cryptography (Dan Boneh)
- CS 343 - Topics in Compilers (Monica Lam)
- CS 243 - Advanced Compilers (Monica Lam)
- CS 143 - Introduction to Compilers (Julie Zelenski)
- CS 242 - Programming Languages. (John Mitchell)
- CS 154 - Introduction to Automata and Complexity Theory (Rajeev Motwani)
- CS 145 - Introduction to Databases (Jeffery Ullman)
- CS 221 - Artificial Intellegence: Principles and Techniques
(Daphne Koller)
UNC - BA in Math (not a complete list)
- Calculus and Analytic Geometry I, II, & III (regular -
multivariable/partial diff-q)
- Linear Algebra
- Discrete Mathematics
- Statistics
- Probability
- Numerical Analysis
- Formal Logic
- Many philosophy courses.....