Teaching in 2007-2008
I haven't taught for a few years, being on maternity leave and then taking an administrative position. So, this is the reflection of my most recent teaching.
Fall 2007
- CSC 2108: Model-Checking, Wednesdays 2-5 p.m. in BA3116.
- CSC330: Logical Specifications, Tuesdays 2-3, Thursdays 2-4, MP118.
Winter 2008
- CSC410: Software Testing and Verification (aka Quality Assurance), Mondays 10-11, Wednesdays 10-12, BA 2135.