Academic Year 2018-2019

Name Type Group Sort descending Semester
Modal Logic Elective Spring
Stochastic Μodels Elective Fall
Computational Αlgebra Elective Fall
Algorithms Required Fall
Geometric Data Analysis Elective Spring
Computational Cryptography Elective Fall
Semantics of Programming Languages Elective Spring
Type Systems for Programming Languages Elective Fall
Special Topics on Algorithms Elective Spring
Computation Models, Formal Languages and Automata Elective Spring
Network Algorithms and Complexity Elective Spring
Computational Complexity Elective Required A Spring
Computational Complexity Elective Required A Fall
Recursion Theory Elective Required B Fall
Logic Elective Required B Spring
Set Theory Elective Required B Fall
Graph Theory Elective Required C Spring