Teaching at Yale
Phil 210/Phil 510: Formal Philosophical Methods, Spring 2025 (syllabus)
Phil 115: First-order Logic, Fall 2024 (syllabus)
Teaching at Michigan (Lead Instructor)
Phil 303: Introduction to Symbolic Logic, Summer 2023 (syllabus)
Teaching at Michigan (TA)
Phil 345: Mind and Language, Spring 2023 (Lead Instructor: Jim Joyce)
Phil 303: Introduction to Symbolic Logic, Fall 2021 (Lead Instructor: Gordon Belot)
Phil 444: Groups and Choices, Spring 2021 (Lead Instructor: Brian Weatherson)
Phil 340: Minds and Machines, Fall 2020 (Lead Instructor: Eric Swanson)
Phil 250: Changing the World, Spring 2020 (Lead Instructor: David Manley)
Phil 305: Introduction to Formal Philosophical Methods, Fall 2019 (Lead Instructor: Brian Weatherson)