CS Master Level Courses and Areas
The graduate courses offered may change over time, in response to new developments in computer science and the interests of faculty and students; the list of graduate courses includes (but not limited to):
Systems:
- CSCI 521 Real-Time Systems
- CSCI 522 High Performance Computing
- CSCI 526 Embedded Systems
Theory:
- CSCI 541 Theory of Computing
- CSCI 542 Representation and Reasoning
- CSCI 543 Specification and Verification
- CSCI 544 Computational Logic
- CSCI 545 Artificial Intelligence
- CSCI 554 Matrix Computation
- CSCI 555 Data Mining and Machine Learning
Applications:
- CSCI 561 Computer and Network Security
- CSCI 562 Computer Graphics
- CSCI 563 Advanced Database Systems
- CSCI 564 Constraint Processing and Heuristic Search
Thesis:
- CSCI 598 Research
- CSCI 599 Thesis
The course complement for students will be determined by their background and their research interests.