##
Currently Teaching

During the spring semester 2024 at the University of Vienna I will be on a research appointment.

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

##
Past Teaching

###
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)