Courses
Winter 2010: CS 207 - Advanced Programming Languages
Fall 2009: CS 206 - Testing and Verification Techniques in Software Engineering, CS 260 - Decision diagram techniques and applications
Winter 2009: CS 206 - Testing and Verification Techniques in Software Engineering
Fall 2008: CS 245 - Software Evolution, CS 246 - Advanced Verification Techniques in Software Engineering
Spring 2008: CS 260 - Advanced Execution Systems for Reliable High-Performance Computing
Winter 2008: CS 201 - Compiler Construction
Winter 2006: CS 237 - Advanced Topics in Modeling and Simulation
Fall 2005: CS 260 - Topics in Logic and Stochastic Verification
