Theory / Foundations Area

 

Course ID Title
CS 209 Logic and Applications in Computer Science
CS 216 Level Set Methods
CS 220 Theory of Computation and Complexity
CS 225 Information Theory
CS 230 Approximations, NP-Completeness and Algorithms
CS 231 Topics in Combinatorial Algorithms
CS 234 Randomized Algorithms
CS 235 Computational Geometry
CS 260 Advanced Topics in Program Analysis
CS 266 Formal Specification and Verification
CS 267 Automated Verification
CS 290 Special Topics (view pdf)
CS 292 Special Topics

Systems Area

 

Course ID Title
CS 254 Advanced Computer Architecture
CS 263 Modern Programming Languages and Their Implementation
CS 270 Advanced Topics in Operating Systems
CS 271 Advanced Topics in Distributed Systems
CS 272 Software Engineering
CS 273 Data and Knowledge Bases
CS 274 Advanced Topics in Database Systems
CS 276 Advanced Topics in Networking
CS 279 Advanced Topics in Computer Security
CS 284 Mobile Computing
CS 290 Special Topics (view pdf)
CS 293 Special Topics

Applications Area

 

Course ID Title
CS 211A Matrix Analysis and Computation
CS 211B Numerical Simulation
CS 211C Numerical Solution of Partial Differential Equations--Finite Difference Methods
CS 211D Numerical Solution of Partial Differential Equations--Finite Element Methods
CS 219 Sparse Matrix Algorithms
CS 240A Applied Parallel Computing
CS 265 Advanced Topics in Machine Intelligence
CS 280 Computer Graphics
CS 281B Advanced Topics in Computer Vision
CS 285 Advanced Image Synthesis
CS 290 Special Topics (view pdf)
CS 291 Special Topics

Note: the contents of a course may change over time; the course will be reclassified in such cases or students may petition to this effect.