- CSC330: Logical Specifications (Fall 2007)
- CSC410 - Software Testing and Verification (Winter 2006, Winter 2007, Winter 2008, Fall 2016)
- 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)
- CSC2108 - Automated Verification (Winter'97, Fall'97, Winter'99, Fall'99, Fall'00, Fall'01, Fall'03 (completely redesigned), Fall'05, Fall'07).
- CSC2125 - Special Topics in Software Engineering -- Logic, Games and Automata in Automated Verification (Fall 2004).
- CSC2125 - Topics in Software Engineering: Static Analysis of Programs (Fall 2006).
- CSC2125 - Special Topics in Software Engineering: Modeling - Methods, Tools and Techniques (Fall'12, Winter'18)