At Strathclyde:

• Spring 2010: 52.424 (Computability and Complexity)
• Fall 2009: CS213 (Functional Programming)
• Spring 2009: CS203 (Topics in Computing 2) and 52.424 (Computability and Complexity)
• Fall 2008: 52.138 (Computer Systems)

At Rutgers:

• Spring 2008: 50:198:111 (Programming Fundamentals) (2 sections) and 50:198:522 (Program Transformation and Optimization).
• Fall 2007: 50:198:321 (Programming Language Concepts) and 50:198:493 (Senior Design Project).
• Spring 2007: 50:525:106 (Honors Seminar: The Case of the Killer Robot) and 50:198:114 (Software Lab II).
• Fall 2006: 50:198:113 (Object-Oriented Programming), 50:198:114 (Software Lab II), and 50:198:321 (Programming Language Concepts).
• Spring 2006: 50:198:113 (Object-Oriented Programming), 50:198:321 (Programming Language Concepts), and 56:645:539 (Program Transformation and Optimization).
• Spring 2005: 50:198:221 (Programming Language Concepts) and 56:645:539 (Program Transformation and Optimization).
• Fall 2004: 50:198:221 (Programming Language Concepts) and 50:198:493 (Senior Design Project).
• Spring 2004: 50:198:221 (Programming Language Concepts) (2 sections).
• Fall 2003: 50:198:221 (Programming Language Concepts) (2 sections).
• Spring 2003: 50:198:221 (Programming Language Concepts) (2 sections).
• Fall 2002: 50:198:111 (Introduction to Computing) and 50:198:112 (Software Laboratory I).