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)