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

Spring, 2024

• Principles of Dependent Type Theory

Fall 2020

• Category Theory