University of North Carolina at Chapel Hill
- COMP 520: Compilers (Jan Prins, Fall 2008)
- COMP 590-009 A Personal History of Computing (Fred Brooks, Spring 2010, audit)
- COMP 651: Computational Geometry (Jack Snoeyink, Spring 2008)
- COMP / MATH 662: Scientific Computation (Sorin Mitran, Spring 2008)
- COMP 665 Images, Graphics and Vision (Leonard McMillan, Fall 2008, audit)
- COMP 740: Computer Architecture (Anselmo Lastra, Spring 2008).
- COMP 768: Physically-based Modeling, Simulation, and Animation (Ming C. Lin, Fall 2007)
- COMP 776: Computer Vision (Svetlana Lazebnik, Spring 2009)
- COMP 790-001 Sound Rendering (Anish Chandak and Dinesh Manocha, Spring 2010)
- COMP 790-058: Motion Planning in Real and Virtual Worlds (Dinesh Manocha, Fall 2007)
- COMP 790-072 Algorithmics of Motion (Ming C. Lin, Spring 2010)
- COMP 870: Advanced Image Synthesis (Anselmo Lastra, Fall 2008)
- COMP 915: Technical Communication in Computer Science (Fred Brooks and Steve Weiss, Fall 2009)
- COMP 916: Seminar in Professional Practice (Fred Brooks, Fall 2008, audit)
University of Oxford
- Databases (Oege de Moor, Hilary 2005)
- Functional Programming (Luke Ong, Michaelmas 2004)
- Information Retrieval (Stephen Clark, Hilary 2005)
- Lambda Calculus and Types (Andrew D. Ker, Hilary 2005)
- Mathematics for Software Engineering: Introduction to Specification (Jeff Sanders, Michaelmas 2004)
- Object Oriented Programming I (Bernard Sufrin, Michaelmas 2004)
- Security (Gavin Lowe, Hilary 2005)
University of Durham
- CHEM 1011: Molecules in Action (Michaelmas 2000 and Epiphany 2001)
- COMP 1011: Introduction to Programming (Michaelmas 2000 and Epiphany 2001)
- MATH 1012: Core Mathematics A (Michaelmas 2000 and Epiphany 2001)
- MATH 1022: Core Mathematics B (Michaelmas 2000 and Epiphany 2001)
- MATH 2011: Complex Analysis II (Michaelmas 2001 and Epiphany 2002)
- MATH 2021: Linear Analysis and Applications II (Michaelmas 2001 and Epiphany 2002)
- MATH 2031: Vector Calculus and Partial Differential Equations II (Michaelmas 2001 and Epiphany 2002)
- MATH 2051: Numerical Analysis II (Michaelmas 2001 and Epiphany 2002)
- MATH 2051: Statistical Concepts II (Michaelmas 2001 and Epiphany 2002)
- MATH 2061: Algebra and Number Theory II (Michaelmas 2001 and Epiphany 2002)
- MATH 3011: Analysis III (Michaelmas 2002 and Epiphany 2003)
- MATH 3021: Differential Geometry III (Michaelmas 2002 and Epiphany 2003)
- MATH 3031: Number Theory III (Michaelmas 2002 and Epiphany 2003)
- MATH 3141: Operations Research III (Michaelmas 2002 and Epiphany 2003)
- MATH 4011: Algebraic Geometry IV (Michaelmas 2003 and Epiphany 2004)
- MATH 4021: Topology IV (Michaelmas 2003 and Epiphany 2004)
- MATH 4101: Representation Theory and Modules III/IV (Michaelmas 2002 and Epiphany 2003)
- MATH 4111: Analytic Number Theory III/IV (Michaelmas 2002 and Epiphany 2003)
- MATH 6011: Geometry III/IV (Michaelmas 2002 and Epiphany 2003)
- MATH 6021: Elliptic Functions III/IV (Michaelmas 2002 and Epiphany 2003)