| Fall 2007: | CS336 Analysis of Programs | (taught by Margaret Myers) |
| Spring 2007: | CS341 Automata Theory | (taught by Elaine Rich) |
| Spring 2006: | CS341 Automata Theory | (taught by Elaine Rich) |
| Spring 2005: | CS336H Analysis of Programs (Honors) | (taught by Alan K. Cline) |
| Fall 2004: | CS341 Automata Theory | (taught by Glen Nuckolls) |
| Spring 2004: | CS341 Automata Theory | (taught by Glen Nuckolls) |
| Fall 2002: | CS336 Analysis of Programs | (taught by Vladimir Lifschitz) |
| Spring 2002: | CS336 Analysis of Programs | (taught by Vladimir Lifschitz) |
| Fall 2001: | CS343 Artificial Intelligence | (taught by Mary Dee Harris) |
| Spring 2001: | CS343 Artificial Intelligence | (taught by Mary Dee Harris) |
| Fall 2000: | CS343 Artificial Intelligence | (taught by Ray Mooney) |