Academic Year 2017-2018

Name Type Group Semester
Algorithms Required Fall
Combinatorial Optimization Elective Required A Fall
Computational Complexity Elective Required A Fall
Computational Cryptography Elective Fall
Cryptography Elective Fall
Graph Theory Elective Required C Fall
Recursion Theory Elective Required B Fall
Set Theory Elective Required B Fall
Stochastic Processes Elective Required C Fall
Stochastic Μodels Elective Fall
Type Systems for Programming Languages Elective Fall
Algorithms in Structural Bioinformatics Elective Spring
Approximation Algorithms Elective Required A Spring
Combinatorics Elective Required C Spring
Computation Models, Formal Languages and Automata Elective Spring
Computational Geometry Elective Spring
Computational Science and Technology Elective Spring
Logic Elective Required B Spring
Network Algorithms and Complexity Elective Spring
Parameterized Complexity and Algorithms Elective Spring
Semantics of Programming Languages Elective Spring
Special Topics in Logic Elective Spring
Special Topics on Algorithms Elective Spring