Teaching

CSC324	Principles of Programming Languages	Winter, 2007
CSC486/2502	Knowledge Representation and Reasoning	Fall, 2006
CSC2542	Topics in Knowledge Representation and Reasoning: Automated Reasoning	Winter 2006
CSC324	Principles of Programming Languages	Fall, 2005 (2 sections)
CSC324	Principles of Programming Languages	Fall, 2004
CSC324	Principles of Programming Languages	Winter, 2004