Academic Year 2023-2024

Name Type Group Sort descending Semester
Special Topics in Discrete Mathematics: Statistics for Stochastic Processes Elective Fall
Special Topics on Algorithms: Sublinear Algorithms Elective Spring
Algorithms Required Fall
Information Theory Elective Spring
Algorithmic Game Theory Elective Spring
Parameterized Complexity and Algorithms Elective Spring
Computational Geometry Elective Spring
Special Topics on Algorithms: Algorithmic Data Science Elective Spring
Game Theory Elective Fall
Computation Models, Formal Languages and Automata Elective Spring
Special Topics in Discrete Mathematics: Advanced Topics in Cryptography Elective Spring
Randomized Algorithms Elective Fall
Network Algorithms and Complexity Elective Spring
Special Topics in Logic: Descriptive Complexity Elective Spring
Operational Research Elective Spring
Queueing Theory Elective Spring
Cryptography Elective Fall
Semantics of Programming Languages Elective Spring
Structural Complexity Elective Fall
Special Topics in Logic: Descriptive Set Theory Elective Spring
Special Topics in Logic: Type Theory Elective Fall
Special Topics on Algorithms: Convex Optimization with Applications in Machine Learning Elective Spring
Approximation Algorithms Elective Required A Fall
Combinatorial Optimization Elective Required A Fall
Computational Complexity Elective Required A Fall
Logic Elective Required B Spring
Set Theory Elective Required B Fall
Recursion Theory Elective Required B Fall
Stochastic Processes Elective Required C Fall
Graph Theory Elective Required C Fall