| Algorithms |
Required |
|
Fall |
| Combinatorics |
Elective Required |
C |
Fall |
| Computational Complexity |
Elective Required |
A |
Fall |
| Cryptography |
Elective |
|
Fall |
| Graph Drawing |
Elective |
|
Fall |
| Graph Theory |
Elective |
C |
Fall |
| Introduction to Homotopy Type Theory |
Seminar |
|
Fall |
| Randomized Algorithms |
Elective |
|
Fall |
| Recursion Theory |
Elective Required |
B |
Fall |
| Special Topics on Algorithms: Nonlinear Programming |
Elective |
|
Fall |
| Stochastic Processes |
Elective Required |
C |
Fall |
| Stochastic Μodels |
Elective Required |
|
Fall |
| Structural Complexity |
Elective |
|
Fall |
| Theory of Linear Programming |
Elective |
|
Fall |
| Algorithmic Game Theory |
Elective |
|
Spring |
| Algorithms in Structural Bioinformatics |
Elective |
|
Spring |
| Combinatorial Optimization |
Elective Required |
A |
Spring |
| Computation Models, Formal Languages and Automata |
Elective |
|
Spring |
| Computational Geometry |
Elective |
|
Spring |
| Information Theory |
Elective |
|
Spring |
| Network Algorithms and Complexity |
Elective |
|
Spring |
| Parameterized Complexity and Algorithms |
Elective |
|
Spring |
| Semantics of Programming Languages |
Elective |
|
Spring |
| Special Topics in Discrete Mathematics: Advanced Topics in Cryptography |
Elective |
|
Spring |
| Special Topics in Logic: Descriptive Set Theory |
Elective |
|
Spring |
| Special Topics in Logic: Descriptive Complexity |
Elective |
|
Spring |
| Special Topics on Algorithms: Convex Optimization with Applications in Machine Learning |
Elective |
|
Spring |
| Special Topics on Algorithms: Algorithmic Data Science |
Elective |
|
Spring |
| Special Topics on Algorithms: Advanced Topics in Computational Learning |
Elective |
|
Spring |
| Special Topics on Algorithms: Machine Learning |
Elective |
|
Spring |
