Previously Taught Classes

Undergraduate

CSC410 - Software Testing and Verification (Winter 2006, Winter 2007)
CSC326 - Programming Languages for Engineers (Fall'96)
CSC324 - Programming Languages for Arts & Science (Fall'96'97'98)
CSC488 - Compiler Construction (Winter'98, Winter'05), Fall'06, Winter'07
CSC148 - Introduction to Computer Science (Fall'99,'00, Winter'02, Winter'05)
ECE450 - Software Engineering II (for ECE) (Winter'00,'01)
ECE203 - Discrete Mathematics for Engineers (Winter'04)

Graduate

CSC2108 - Automated Verification (Winter'97, Fall'97, Winter'99, Fall'99, Fall'00, Fall'01, Fall'03 (completely redesigned), Fall'05).
CSC 2125: Special Topics in Software Engineering -- Logic, Games and Automata in Automated Verification (Fall 2004).
CSC 2125: Topics in Software Engineering: Static Analysis of Programs , (Fall 2006).

Last updated: Sept. 2, 2006