Fall'98

• CS671  Intro. to Automated Reasoning
• CS754  Systems Research Seminar
• EE597  Wireless Info. Tech. Seminar

Spring'98

• CS614   Advanced Operating Systems
• CS618  Principle of Distributed Computing: Message Passing
• CS789  Seminar on Theory of Computation
• EE566   Wireless Networks

Fall'97

• CS677 Reasoning about Uncertainty
• CS519 Engineering Approach to Computer Networking
• CS481 Theory of Computing

Spring'97

• CS664 Computer Vision
• CS613 Concurrent Programming
• CS482 Introduction to the Analysis of Algorithms
• CS412 Introduction to Compilers and Translators
• CS432 Introduction to Database Systems

Fall'96

• CS681 Advanced Algorithms
• CS611 Semantics of Programming Languages