Algorithmic Game Theory |
Elective |
|
Algorithms in Structural Bioinformatics |
Elective |
|
Computation Models, Formal Languages and Automata |
Elective |
|
Graph Theory |
Elective Required |
C |
Information Theory |
Elective |
|
Logic |
Elective Required |
B |
Network Algorithms and Complexity |
Elective |
|
Semantics of Programming Languages |
Elective |
|
Special Topics in Discrete Mathematics: Advanced Topics in Cryptography |
Elective |
|
Special Topics in Logic: Descriptive Complexity |
Elective |
|
Special Topics in Logic: Descriptive Set Theory |
Elective |
|
Special Topics in Logic: Logic and Computer Science: λ-calculus, Curry-Howard Isomorphism |
Elective |
|
Special Topics on Algorithms: Advanced Topics in Computational Learning |
Elective |
|
Special Topics on Algorithms: Algorithmic Data Science |
Elective |
|
Special Topics on Algorithms: Convex Optimization with Applications in Machine Learning |
Elective |
|
Special Topics on Algorithms: Simulation |
Elective |
|