M.S. Research Subject Areas
Please note that the definition of what qualifies as a "theory" or "systems" course is different depending on whether the degree objective is an M.S. or a Ph.D. Be sure to consult the appropriate list when determining which courses qualify under which category.
Theory / Foundations
| Course | Course Title |
|---|---|
| CS 209 | Logic and Applications in Computer Science |
| CS 216 | Level Set Methods |
| CS 220 | Automata-Based Complexity |
| CS 225 | Information Theory |
| CS 230 | Approximations, NP-Completeness and Algorithms |
| CS 231 | Topics in Combinatorial Algorithms |
| CS 235 | Computational Geometry |
| CS 260 | Advanced Topics in Program Analysis |
| CS 266 | Formal Specification and Verification |
| CS 267 | Automated Verification |
| CS 290 | Various - Click here for a list of 290s and the subject areas they cover for M.S. requirements only. |
Systems
| Course | Course Title |
|---|---|
| CS 240B | Parallel Computing and Program Parallelization |
| CS 254 | Advanced Computer Architecture |
| CS 263 | Modern Programming Language and Their Implementation |
| CS 266 | Formal Specification and Verification |
| 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 | Transaction Management in Distributed Databases |
| CS 276 | Advanced Topics in Networking |
| CS 279 | Network Security and Intrusion Detection |
| CS 284 | Mobile Computing |
| CS 290 | Various - Click here for a list of 290s and the subject areas they cover for M.S. requirements only. |
Applications
| Course | Course Title |
|---|---|
| CS 211ABCD | Various |
| CS 216 | Level Set Methods |
| CS 219 | Sparse Matrix |
| CS 240A | Applied Parallel Computing |
| CS 240B | Parallel Computing and Program Parallelization |
| CS 265 | Advanced Topics in Machine Intelligence |
| CS 272 | Software Engineering |
| CS 274 | Transaction Management in Distributed Databases |
| CS 279 | Network Security and Intrusion Detection |
| CS 280 | Computer Graphics |
| CS 281B | Advanced Topics in Computer Vision |
| CS 290 | Various - Click here for a list of 290s and the subject areas they cover for M.S. requirements only. |
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.
