Marsha Chechik

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).
• 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).