| Winter 2006 | ||
| CS 284A: | Advanced Automata Theory | |
| MATH 220B: | Mathematical Logic and Set Theory | |
| Fall 2005 | ||
| CS 234: | Computer-Aided Verification | |
| MATH 220A: | Mathematical Logic and Set Theory | |
| Spring 2005 | ||
| CS 239: | Modularity in Program Analysis | |
| CS 280A: | Algorithms | |
| Winter 2005 | ||
| CS 239: | Readable Kernel Systems | |
| CS 280G: | Graph Algorithms | |
| Fall 2004 | ||
| CS 239: | Topics in Software Quality | |
| MATH 285D: | Logic: Automata Theory and its Applications |
| Undergraduate classes | Fundamentals of Computing, Data Structures, Algorithms, Computer Organization,
Linear Algebra, Computer Networks, Operating Systems, Programming Tools and Techniques, Discrete Mathematics, Principles of Programming Languages, Database Systems, Theory of Computation, Compiler Design |
| Graduate Classes | Artificial Intelligence, Advanced Computer Networks, Typed Lambda Calculus,
Wireless Networks, Advanced Compiler Optimizations, Mobile Computing, Natural Language Processing Semantics, Topics in Networking, Logic in Computer Science, Computer Architecture |