This program is offered in the following two tracks:

Systems and Software Engineering
with the focus on preparing students for conducting research on applied aspects of software development, including formal specification of software systems, analysis and design of large software systems, software development processes, knowledge engineering, operating systems, information databases, and security issues.

Algorithms and Computations
with the focus on preparing students for conducting research on theoretical aspects of software development, including advanced algorithms and data structures, parallel algorithms, game theory, computational geometry, and learning algorithms.