| Algorithms |
Required |
|
| Approximation Algorithms |
Elective Required |
A |
| Combinatorial Optimization |
Elective Required |
A |
| Computational Complexity |
Elective Required |
A |
| Logic |
Elective Required |
B |
| Recursion Theory |
Elective Required |
B |
| Set Theory |
Elective Required |
B |
| Combinatorics |
Elective Required |
C |
| Graph Theory |
Elective Required |
C |
| Stochastic Processes |
Elective Required |
C |
| Algorithmic Game Theory |
Elective |
|
| Algorithms in Structural Bioinformatics |
Elective |
|
| Computation Models, Formal Languages and Automata |
Elective |
|
| Computational Cryptography |
Elective |
|
| Computational Geometry |
Elective |
|
| Computational Science and Technology |
Elective |
|
| Computational Αlgebra |
Elective |
|
| Cryptography |
Elective |
|
| Geometric Data Analysis |
Elective |
|
| Graph Drawing |
Elective |
|
| Modal Logic |
Elective |
|
| Network Algorithms and Complexity |
Elective |
|
| Operational Research |
Elective |
|
| Parameterized Complexity and Algorithms |
Elective |
|
| Probabilistic Methods |
Elective |
|
| Semantics of Programming Languages |
Elective |
|
| Special Topics in Logic |
Elective |
|
| Special Topics on Algorithms |
Elective |
|
| Stochastic Μodels |
Elective |
|
| Theory of Linear Programming |
Elective |
|
| Type Systems for Programming Languages |
Elective |
|
