Currently Teaching

• 2026 Winter, Set Theory (Θεωρία Συνόλων)
  University of Crete, Core undergraduate course.
• 2026 Winter, Topological Dynamics and Extreme Amenability (Θέματα Ανάλυσης)
  University of Crete. Topics course.

Below you can find a comprehensive list of the courses I have taught in the past.

Past Teaching

University of Vienna

• 2026 Summer. Introduction to Descriptive Set Theory (250035 VO).
  Graduate level course.
• 2025 Winter. Introduction to Mathematical Logic (250097 VO).
  Graduate level course.
• 2025 Summer. Dynamics of Polish groups (250138 VO).
  Graduate level course.
• 2024 Winter. Introduction to Mathematical Logic (250097 VO).
  Graduate level course.

Carnegie Mellon University (CMU)

• 2023 Fall. Topics Course: Dynamics of Polish groups (21-800).
  Graduate level course.
• 2023 Spring. Calculus II (21-112).
  Large classroom setup: approximately 150 students.
• 2022 Spring. Calculus II (21-112).
  Large classroom setup: approximately 250 students.
• 2021 Fall. Algebraic Topology (21-752).
  Graduate level course.
  Here is the course webpage.

California Institute of Technology (Caltech)

• 2020 Spring. Descriptive Set Theory (Ma 116c).
  Here is the course webpage.
• 2020 Winter. Axiomatic Set Theory (Ma 116b).
  Here is the course webpage. Here are my notes.
• 2019 Fall. Mathematical Logic (Ma 116a).
  Here is the course webpage.
• 2019 Spring. Computability III: advanced topics (Ma 117c).
  Here is the course webpage. Here are my notes.
• 2019 Winter. Computability II & Gödel's incompleteness theorems (Ma 117b).
  Here is the course webpage. Here are my notes.
• 2018 Fall. A topics course in Groups and Dynamics (Ma 191a).
  Here is the course webpage. Here are my notes.
• 2018 Spring. Descriptive Set Theory (Ma 116c).
  Here is the course webpage.
• 2018 Winter. Axiomatic Set Theory (Ma 116b).
  Here is the course webpage.
• 2017 Fall. Mathematical Logic (Ma 116a).
  Here is the course webpage.

University of Illinois at Urbana-Champaign (UIUC)

• 2017 Spring. Ideas in Geometry (Math 119).
  Here is the course webpage.
• 2016 Spring. Calculus II (Math 231).
  Here is the course webpage.

Invited Mini Courses

• 2024 March. Dynamics as obstructions to classification.
  Mini course at Logique à Paris 2024, Université Paris Cité.
• 2024 February. Applications of logic to algebraic topology.
  Mini course at the University of Bologna.
• 2022 August. The definable content of (co)homological invariants.
  A three-part lecture series at BLAST 2022.

Course Notes

For lecture notes of some of the courses that I taught over the years, send me an email:

• Groups and Dynamics: a graduate course.
• A first course in Set Theory.
• Topics in Computability.
• A course on Gödel's incompleteness theorems.