...
- CS 421 - Programming Languages & Compilers
- CS 422 - Programming Language DesignCS 427 - Software Engineering I
- CS 476 - Program Verification
- CS 527 - Topics in Software Engineering
- CS 598 Special Topics (choose one with a professor you may be interested in working with with and/or a course of interest)
...
- CS 450 - Numerical Analysis
- CS 554 - Parallel Numerical Algorithms556 - Iterative & Multigrid Methods
- CS 598 Special Topics (choose one with a professor you may be interested in working with with and/or a course of interest)
...
- CS 424 - Real Time Systems
- CS 425 - Distributed Systems
- CS 438 - Communication NetworksCS 436 - Wireless Networks
- CS 461 - Computer Security I
- CS 523 - Advanced Operating Systems
- CS 538 - Advanced Computer Networks
- CS 541 - Computer Systems Analysis
- CS 598 Special Topics (choose one with a professor you may be interested in working with with and/or a course of interest)
Theory and Algorithms
- CS 573 571 - AlgorithmsCombinatorial Mathematics
- CS 574 - Randomized AlgorithmsCS 583 - Approximation 573 - Algorithms