• 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.....