Academic Year 2017-2018

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