Course Listings
Not all of the following graduate courses are offered every year. Students should check the current Grad courses schedule in the menu to the left, to find out the current offerings.
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 & Hardware
512: Architecture and Control in Artificial Intelligence
513: Introduction to Formal Verification and Analysis
Data Management & 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 & Data Communication
508: Operating Systems
527: Computer Communication Protocols
528: Formal Techniques for Communication Protocols
538: Topics in Computer Systems
Robotics & 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 & 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
530: Topics in Information Processing (subject to the topic)