Academic Year 2019-2020

Name Type Sort descending Group Semester
Computation Models, Formal Languages and Automata Elective Spring
Operational Research Elective Fall
Special Topics in Logic: Descriptive Complexity Elective Spring
Special Topics on Algorithms: Nonlinear Programming Elective Fall
Computational Αlgebra Elective Fall
Cryptography Elective Spring
Parameterized Complexity and Algorithms Elective Spring
Computational Geometry Elective Spring
Semantics of Programming Languages Elective Spring
Geometric Data Analysis Elective Fall
Algorithmic Game Theory Elective Spring
Computational Cryptography Elective Fall
Probabilistic Methods Elective Spring
Type Systems for Programming Languages Elective Fall
Network Algorithms and Complexity Elective Spring
Special Topics on Algorithms: Sublinear Algorithms Elective Fall
Special Topics on Algorithms Elective Spring
Computational Complexity Elective Required A Fall
Recursion Theory Elective Required B Fall
Logic Elective Required B Fall
Set Theory Elective Required B Spring
Graph Theory Elective Required C Fall
Approximation Algorithms Elective Required A Fall
Stochastic Processes Elective Required C Spring
Stochastic Processes Elective Required C Fall
Algorithms Required Fall