| CS 507T | INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA | |
| CS 521M | COMPUTER SYSTEMS ORGANIZATION | |
| CS 563T | CONCURRENT ALGORITHMS: SHARED DATA | |
| CS 531S | THEORY OF COMPILING AND LANGUAGE TRANSLATION | |
| CS 541T | ALGORITHMS AND PROGRAMS | |
| CS 501S | ADVANCED USER INTERFACE | |
| CS 576S | DISTRIBUTED SYSTEM DESIGN: MODELS AND LANGUAGES | |
| CS 511A | ARTIFICIAL INTELLIGENCE I | |
| CS 539T | ADVANCED ALGORITHMS | |
| CS 422S | OPERATING SYSTEMS ORGANIZATION | |
| CS 423S | INTRODUCTION TO COMPUTER NETWORKS | |
| CS 520A | INTELLIGENT REAL-TIME SYSTEMS | |
| EE 538 | PATTERN THEORY | |
| SSM 570 | RANDOM VARIABLES & STOCHASTIC PROCESSES I | |
| L41-5641 | COMPUTATIONAL NEUROSCIENCE | |
| CS 6743 | RESEARCH SEMINAR ON ARTIFICIAL INTELLIGENCE | |
| CS 6731-35 | RESEARCH SEMINAR ON DISTRIBUTED SYSTEM DESIGN |