Currently Teaching
2025 Winter. Introduction to Mathematical Logic (250097 VO). Graduate Course.
Below you can find a comprehensive list of all the courses I have taught in the past.
Past Teaching
University of Vienna
- 2025 Summer. Dynamics of Polish groups (250138 VO).
Topics Course.
- 2024 Winter. Introduction to Mathematical Logic (250097 VO).
Graduate Level Course.
Carnegie Mellon University (CMU)
- 2023 Fall. Topics Course in Dynamics of Polish groups
(21-800).
The course webpage can be found on the CMU Canvas.
- 2023 Spring. Calculus II (21-122). The course webpage can be found on the CMU Canvas.
- 2022 Spring. Calculus II (21-122). The course webpage can be found on the CMU Canvas.
- 2021 Fall. A graduate course in Algebraic Topology (21-752).
Here is the course webpage.
California Institute of Technology (Caltech)
- 2020 Spring. Set theory of the continuum (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
- 2022 August. The definable content of (co)homological invariants.
A three-part lecture series workshop at the BLAST 2022 conference.
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. (2023)
- A first course in Set Theory. (2019)
- Topics in Computability. (2019)
- A course on Gödel's incompleteness theorems. (2019)