Academic Year 2015-2016:

Topics in Verification:
Fall 2015

Past Courses:

Introduction to Theory of Computation: Fall 2015

Introduction to Theory of Computation: Fall 2013
Topics in Verification (Program Analysis): Winter 2014


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


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

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

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