Postgraduate courses
University of Cambridge
Lectured in Michaelmas 2022 and Lent 2022 for Part III of the Mathematical Tripos.
III Model Theory & Non-Classical Logic
University of Cambridge
Lectured in Michaelmas 2023 for Part III of the Mathematical Tripos.
Summer courses
Introdução à Lógica Categórica
Universidade de São Paulo
Lectured in March 2022 to final year undergraduates and postgraduate students.
Introdução à Teoria das Categorias
Universidade de Brasília
Lectured in 2017 to final year undergraduate and postgraduate students.