Advanced Topics in Complexity: Spring 2010
Computability Theory: Winter 2009 - Spring 2011
Combinatorics for CS: Summer 2009, Summer 2011
File Systems: Winter 2007 - Spring 2009, Winter 2010 - Spring 2013