Teaching

Course on Discrete Mathematics

Discrete Math II (spring semester of 2023)
Teaching assistant (undergraduate level)
Department of Computer Science, Reykjavik University

Courses on Computability and Algorithms

Theory of Computation (fall semester of 2024)
Teaching assistant (undergraduate level)
Department of Computer Science, Reykjavik University

Automata and Computational Models (spring semester of 2021)
Teaching assistant (undergraduate level)
Computation and Reasoning Laboratoty of ECE, NTUA

Foundations of Computer Science (fall semester of 2020)
Teaching assistant (undergraduate level)
Computation and Reasoning Laboratoty of ECE, NTUA

Algorithms and Complexity (fall semester of 2017)
Teaching assistant (undergraduate level)
Computation and Reasoning Laboratoty of ECE, NTUA

Courses on Complexity

Counting Complexity (spring semester of 2022)
Teaching assistant and course material creator (graduate level)
Computation and Reasoning Laboratoty of ECE, NTUA
The slides of the course can be found here.

Computational Complexity (fall semesters of 2015–2021)
Teaching assistant (graduate level)
Computation and Reasoning Laboratoty of ECE, NTUA

Courses on Logic in Computer Science

Dynamic Epistemic Logic (spring semester of 2021)
Teaching assistant (graduate level)
Computation and Reasoning Laboratoty of ECE, NTUA
Here are the slides I created, utilized, and taught for the course. They form a subset of the course material.

Descriptive Complexity (spring semester of 2020)
Teaching assistant (graduate level)
Computation and Reasoning Laboratoty of ECE, NTUA
Here are the slides I created, utilized, and taught for the course. They form a subset of the course material.

Modal Logic (spring semester of 2019)
Teaching assistant and course material creator (graduate level)
Computation and Reasoning Laboratoty of ECE, NTUA
The slides of the course can be found here.

Course on Mathematical Logic

Mathematical Logic (spring semester of 2016)
Teaching assistant (graduate level)
Graduate program in Logic, Algorithms, and Computation, NKUA