January-April 2012: Formal Methods in Software Engineering.

August-December 2011: Program analysis and verification.

August-December 2009: Topics in Program Analysis: Software design using Application Frameworks.