Academic Year 2011-2012:
Introduction to Theory of Computation: Winter 2012
Software Verification and Testing: Winter 2012
Past Courses:
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