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.