- Spring 2015
- CSCI-B522: Programming Language Foundations
- Spring 2013
- COGS-Q260: Programming for the Cognitive and Information Sciences
- COGS-Q320: Computation in the Cognitive and Information Sciences
- Spring 2012
- COGS-Q520: Mathematics and Logic for Cognitive Science
- Fall 2012
- COGS-Q101: Introduction to Cognitive Science
- Fall 2011
- COGS-Q250: Math and Logic for Cognitive and Information Sciences