- Topics in logic: Model theory of differential fields (Winter 2023)
- Topics in logic: Model theory of difference fields (Winter 2021)
- Topics in logic: Model theory of fields with operators (Fall 2019)
- Topics in logic: Computability theory (Fall 2018)
- Topics in algebra: Valued fields (Winter 2017)
- Topics in logic: Model theory (Fall 2015)
- Topics in logic: Computability theory (Fall 2014)
- Topics in mathematical logic: Homotopy type theory (Spring 2014)
- Topics in mathematical logic: Stability theory (Winter 2013)
- Topics in universal algebra: Introduction to universal algebra (Fall 2012)