Academic Year 2012-2013:

Introduction to Theory of Computation:
Winter 2013
Software Verification and Testing: Winter 2013
Topics in Verification (Game Theory in Formal Verification): Winter 2013


Past Courses:

Introduction to Theory of Computation: Winter 2012
Software Verification and Testing: Winter 2012


Topics in Verification (Research Directions in Concurrency): Winter 2011
Software Verification and Testing: Winter 2011
Introduction to Theory of Computation: Fall 2010


Program Analysis: Fall 2009
Introduction to Theory of Computation: Spring 2010

Algorithmic Software Verification: Fall 2008
Introduction to Theory of Computation: Spring 2009