Current Teaching

I am currently (Winter 2015) teaching the following course:

CAS756:  Advanced Topics in Formal Methods and Software Architecture

SE3BB4:  Software Design III

I have recently taught the following courses:

SE2AA4: Software Design I

SE3BB4: Software Design III

SE3A04: Software Design II

CAS703: Software Design