Teaching
2020-21: Discrete Mathematics at the University of the Aegean, Department of Statistics and Actuarial-Financial Mathematics
2020-21: Dynamic Epistemic Logic at the inter-institutional graduate program ALMA
2019-20: Descriptive Complexity at the inter-institutional graduate program ALMA
2019-20: Set Theory at the Aristotle University of Thessaloniki, Department of Mathematics.
2019-20: Mathematical Logic at the Aristotle University of Thessaloniki, Department of Mathematics.
2013-2015: Grundlagen der Technischen Informatik (Foundations of Technical Computer Science) University of Bern, Switzerland.
2013-2016: Praktikum Software Engineering (Practise for Software Engineering), University of Bern, Switzerland.
2012: Algebra and Logic, University of Bern, Switzerland.
Student Supervision
Grundlagen der parametrisierten dynamischen Komplexität (Foundations of parameterised dynamic complexity), Master Thesis by Jonas Schmidt. Technical University of Dortmund, Germany.
Soundness and Completeness of a First Order Probabilistic Logic, Bachelor Thesis by Stephan Matter.
Umsetzung der Konzepte aus der Vorlesung Diskrete Mathematik und Logik in eine Toolbox für Studierende (Transforming the concepts from the lecture Discrete Mathematics to a toolbox for students), by Adrianus Kleemans.