Below are links to course pages for courses I’ve (co)taught.

Fall, 2024

• Lectures on Principles of Dependent Type Theory

Spring, 2024

• Principles of Dependent Type Theory

Fall 2020

• Category Theory