| CSC 2429 | Foundations of Communication Complexity, Fall 2009 |
| CSC2402H | Methods to deal with Intractability, Fall 2009 |
| CSC 438 | Computability and Logic, Fall 2011 |
| CSC 2429 | PCP and Hardness of Approximation, Fall 2007 |
| CSC 364 | Computability and Complexity, Fall 2002 |
| CSC 2429 | Propositional Proof Complexity, Fall 2002 |
| CSC 2416 | Machine Learning Theory, Fall 2005 |
| CSC 448/2405 | Formal Languages and Automata, Spring 2006 |
| CSC265 | Enriched Data Structures and Analysis, Fall 2011 |
| CSC263 | Data Structures and Analysis, Fall 2011 |
| CSC2401 | Complexity Theory, Fall 2006 |
| CSC 2429 | Derandomization, Spring 2001 |