At Appalachian State University:

• Spring 2025:
  • CS2531 (Computational Reasoning)
• Fall 2024:
  • CS4536/5536 (Functional Programming)
• Spring 2024:
  • CS2531 (Computational Reasoning)
  • CS5998 (Thesis Preparation)
• Fall 2023:
  • CS2531 (Computational Reasoning)
  • CS5500 (Independent Study in Category Theory for Computer Science)
• Spring 2023:
  • CS3536/5536 (Functional Programming)
• Fall 2022:
  • CS2490 (Introduction to Theoretical Computer Science)
• Fall 2021 and Spring 2022: On leave at the Logic and Semantics Group at Aarhus University in Denmark.
• Spring 2021:
  • CS3536 (Functional Programming)
  • CS5500 (Independent Study in Semantics of Advanced Data Types)
  • CS5999 (Thesis)
• Fall 2020:
  • CS2490 (Introduction to Theoretical Computer Science)
  • CS5998 (Thesis Preparation)
• Spring 2020:
  • CS2490 (Introduction to Theoretical Computer Science)
  • CS4550 (Independent Study in Advanced Theoretical Computer Science)
• Fall 2019:
  • CS2490 (Introduction to Theoretical Computer Science)
• Spring 2019:
  • CS1440 (Computer Science I)
  • CS3536 (Functional Programming)
• Fall 2018:
  • CS1440 (Computer Science I) (2 sections)
• Spring 2018:
  • CS1440 (Computer Science I) (2 sections)
  • CS3500 (Independent Study in Short Cut Fusion for GADTs)
• Fall 2017:
  • CS1440 (Computer Science I)
  • CS3536 (Functional Programming)
  • CS5500 (Independent Study in Real-World Functional Programming)
• Spring 2017:
  • CS1440 (Computer Science I) (2 sections)
• Fall 2016:
  • CS1440 (Computer Science I) (2 sections)
• Spring 2016:
  • CS1440 (Computer Science I) (2 sections)
• Fall 2015:
  • CS1440 (Computer Science I) (2 sections)
• Spring 2015:
  • CS1440 (Computer Science I) (2 sections)
• Fall 2014:
  • CS1440 (Computer Science I) (2 sections)
  • CS 5800 (Masters Project)
• Spring 2014:
  • CS4550/5550 (Advanced Theoretical Computer Science)
  • CS3515 (Functional Programming)
  • CS5800 (Masters Project)
• Fall 2013:
  • CS1440 (Computer Science I) (2 sections)

At Strathclyde:

• Fall 2012: CS411 (Computability and Complexity)
• Spring 2012: 52.424 (Computability and Complexity)
• Fall 2011: 52.497 (Individual Project)
• Spring 2011: 52.424 (Computability and Complexity)
• Fall 2010: 52.497 (Individual Project)
• 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).

Plus more at Dickinson College, at Bates College, and at Hobart and William Smith Colleges...