AS Primary Instructor
- PH112 Intermediate Logic and Probability (LSE, WT 2025)
- PH238 Philosophy of Language (LSE, WT 2025)
- LOG 435/535 Advanced Logic and Metamathematics (NCSU, Spring 2024)
- LOG/MA 335 Symbolic Logic (NCSU, Fall 2023)
- PHI 331 Philosophy of Language (NCSU, Fall 2023)
As course developer
- Paradox and Infinity (MIT)
As teaching assistant
- Problems of Philosophy (MIT, Fall 2020)
- Mind and Machines (MIT, Spring 2020)
- Paradox and Infinity (MIT, Spring 2019)