Aalborg University
- I am teaching Distributed Systems, Autumn 2025 (joint course in 4 masters programs).
- PBL supervisions on Various semesters, contact me if you would like me to be your supervisor.
- Co-teaching Modeling and Verification in Spring 2026 with Kimg Guldstrand Larsen.
Uppsala University
- I'm organizing a PhD course/reading group on the book Automata, Logics, and Infinite Games - Autumn 2023-Spring 2024
- Real-Time Systems - Autumn 2022 & 2023 - Guest lectures on timed automata, temporal logics, and verification
Reykjavik University
- Theory of computation - Autumn 2021
- Real-Time Models - Summer 2021
- Modeling and Verification - Spring 2021
- Logic in Computer Science (taught every two years) - Spring 2020
Teaching assistant
- Theory of computation - Autumn 2020 & 2019
- Real-Time Models - Summer 2019 & 2022
- Modeling and Verification - 2020 & 2019
National Technical Univercity of Athens
- Fundamentals of Computer Science: Dep. of Electrical Engineering and Dep. of Applied mathematics - Autumn & Spring 2018
- Discrete Mathematics I. Dep of Electrical Engineering Autumn 2018
- Introduction to Programming (C/C++). Dep of Electrical Engineering Autumn 2018 & 2017