Tentative Course List:
- Combinatorial Optimization (Group A)
- Logic (Group B)
- Algorithmic Game Theory
- Algorithms in Structural Bioinformatics
- Computation Models, Formal Languages and Automata
- Information Theory
- Parameterized Complexity and Algorithms
- Network Algorithms and Complexity
- Semantics of Programming Languages
- Special Topics in Discrete Mathematics: Advanced Topics in Cryptography
- Special Topics in Logic: Descriptive Complexity
- Special Topics in Logic: Descriptive Set Theory
- Special Topics in Logic: Type Theory
- Special Topics on Algorithms: Algorithmic Data Science
- Special Topics on Algorithms: Convex Optimization with Applications in Machine Learning
- Special Topics on Algorithms: Machine Learning
Last updated 20/9/2024.