My main teaching revolves around topics in the philosophy of science, logic and mathematics.

I have recently taught several classes on type theory in logic, and expect to teach more in this area, including the role of homotopy type theory as a foundation for mathematics. I expect to teach classes on intuitionistic logic and categorical logic in the not too distant future.

I also regularly teach classes on Asian philosophy (including the Buddhist and Confucian traditions), induction, and formal epistemology, and philosophy of science.

Recent and upcoming classes:

Academic Year 2022-2023

Fall: Philosophical Perspectives in the Humanities
(a core class for freshman, centering on ancient Greek philosophy.)
Fall: Introduction to Eastern Philosophy
(the history and philosophy of Buddhism and Confucianism.)
Winter: Advanced Logic
(topics in dependent type theory, with an emphasis on identity and univalence.)

Academic Year 2021-2022

Fall: Philosophical Perspectives in the Humanities
(a core class for freshman, centering on ancient Greek philosophy.)
Fall: Introduction to Eastern Philosophy
(the history and philosophy of Buddhism and Confucianism.)
Winter: Further Topics in Logic
(an introduction to type theory and the Curry-Howard correspondence.)
Winter: Non-Deductive Inference (graduate level)
(a discussion of induction and abduction and their foundations.)