Winter 2008
Optimizing Compilers

Fall 2007
Software Architecture

Fall 2005
Software Evolution

Winter 2005
Probabilistic Reasoning and AI
Distributed Data Management

Fall 2004
Cryptography & Data Security
Concurrent Programming Languages
Software Fault Tolerance