Previously Taught Classes

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