Courses Taught

Name Type Group Year Semester
Recursion Theory Elective Required B 2016-2017 Fall
Set Theory Elective Required B 2016-2017 Fall
Stochastic Processes Elective Required C 2016-2017 Fall
Stochastic Μodels Elective 2016-2017 Fall
Theory of Linear Programming Elective 2016-2017 Fall
Type Systems for Programming Languages Elective 2016-2017 Fall
Algorithms in Structural Bioinformatics Elective 2016-2017 Spring
Computation Models, Formal Languages and Automata Elective 2016-2017 Spring
Computational Geometry Elective 2016-2017 Spring
Logic Elective Required B 2016-2017 Spring
Network Algorithms and Complexity Elective 2016-2017 Spring
Semantics of Programming Languages Elective 2016-2017 Spring
Special Topics in Logic Elective 2016-2017 Spring
Special Topics on Algorithms Elective 2016-2017 Spring