Application

Fall 2007


Com S 511 Design and Analysis of Algorithms
Com S 586 Computer Network Architectures
Com S 572 Principles of Artificial Intelligence




Spring 2008


Com S 531 Theory of Computation
Com S 512 Formal Methods in Software Engineering
Cpr E-InfAs-Math 533 Cryptography




Fall 2008


Com S 526 Introduction to Parallel Algorithms and Programming
Com S 541 Programming Languages



Spring 2009


Com S 540 Principles and Practice of Compiling
Com S 634 Theory of Games, Knowledge and Uncertainty