Models in Software Development: Methods, Techniques, and Tools (CISC 836). Fall 2009, Fall 2010.
Formal Methods in Software Engineering (CISC 422/853). Winter 2009.
Introduction to the Computer Aided Verification of Software Systems (CISC 853). Fall 2004, Winter 2006, Fall 2006, Fall 2007.
Introduction to the Automatic Analysis of Software Artifacts (CISC 835). Fall 2000, Fall 2001, Fall 2002, Fall 2003.
Formal Methods in Software Engineering (CISC422). Winter 2001, Winter 2002, Winter 2003, Winter 2004, Winter 2005, Fall 2006, Winter 2008, Fall 2010.
Introduction to Software Engineering (CISC323). Winter 2003, Winter 2004, Winter 2005.
Information Technology Project (CISC498). Fall 2002/Winter 2003, Fall 2003/Winter 2004, Fall 2004/Winter 2005.
Advanced Undergraduate Project (CISC499). Winter 2001, Winter 2002, Winter 2003, Winter 2005, Winter 2008
Information Structures (CISC 235). Winter 2000, Winter 2001, Winter 2002.