Computational Intelligence

502: Artificial Intelligence I 
503: Computational Linguistics I 
512: Architecture and Control in Artificial Intelligence
522: Artificial Intelligence II 
523: Computational Linguistics II 
532: Topics in Artificial Intelligence (subject to the topic) 
540: Machine Learning
550: Machine Learning II

Computer Architecture and Hardware

512: Architecture and Control in Artificial Intelligence 
513: Introduction to Formal Verification and Analysis

Data Management and Mining

504: Data Management 
534: Topics in Data Management 
564: Data Mining

Graphics & HCI

514: Computer Graphics: Rendering 
524: Computer Graphics: Modeling
526: Computer Animation 
533: Topics in Computer Graphics 
535: Topics in Simulation and Optimization 
543: Physical User Interface Design and Evaluation
544: Human-Computer Interaction
547:  Information Visualization
554: Topics in Human-Computer Interaction

Numerical Computation

510: Multigrid and Multilevel Methods
517: Sparse Matrix Computation 
520: Numerical Solution of Differential Equations 
541: Computational Methods for Ordinary Differential Equations and Dynamical Systems
542: Topics in Numerical Computation
546: Numerical Optimization

Operating Systems and Data Communication

508: Operating Systems 
527: Computer Communication Protocols 
528: Formal Techniques for Communication Protocols 
538: Topics in Computer Systems

Robotics and Vision

505: Image Understanding I: Image Analysis 
515: Computational Robotics 
525: Image Understanding II: Scene Analysis 
532: Topics in Artificial Intelligence (subject to topic)

Software Engineering and Programming Languages

507: Software Engineering 
509: Programming Language Principles 
511: Implementation of Programming Languages 
519: Logic Programming and Functional Programming
529: Definition of Programming Languages
539: Topics in Programming Languages

Theory of Computation

500: Fundamentals of Algorithm Design and Analysis 
501: Theory of Automata, Formal Languages and Computability 
506: Complexity of Computation 
516: Computational Geometry 
521: Parallel Algorithms & Architecture
531: Topics in Theory of Computation 
536: Topics in Algorithms and Complexity 
545: Algorithms for Bioinformatics

Other

530: Topics in Information Processing
537: Topics in Coding and Information Theory
590: Research Methods in Computer Science

Interdisciplinary Studies