Undergraduate
- CSC330: Logical Specifications (Fall 2007)
- CSC410 - Software Testing and Verification (Winter 2006,
Winter 2007,
Winter 2008, Fall 2016,
Fall 2018)
- 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,
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)
- CSC2125 - Special Topics in Software Engineering: Safety and Certification of Autonomous Vehicles (Winter'19)
Last updated: August 18, 2016