III Logic and Computability

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.

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.