Positions and Appointments
2023-Present Teaching Consultant
In this position, I consult with university instructors, which includes beginning graduate students all the way up to full professors. As a resource on teaching, I meet each instructor where they are. Topics of consultation include: course design, student evaluations, time management, rubric design, assignment creation, technology troubleshooting.
2019-2022 Assistant Teaching Professor of Philosophy at CMU-Qatar
I delivered five philosophy courses that I designed from scratch:
- Environmental Ethics
- AI, Society, and Humanity
- Social and Political Philosophy
- Introduction to Ethics
- Business, Society, and Ethics
The institution is located in Doha, Qatar and served students from around the world. My students were majority women, majority Muslim, and a large portion were from the Middle East and North Africa. I enjoyed doing philosophy with the students and I miss them very much.
For more on my teaching approach, see my Teaching Page.
Education
PhD in Logic, Computation, and Methodology
From the Philosophy department of Carnegie Mellon University in Pittsburgh, Pennsylvania.
Dissertation Title: A Categorical Characterization of Accessible Domains (pdf)
Committee: Wilfried Sieg (Chair), Steve Awodey, Colin McLarty, Jean-Pierre Marquis, Jonas Frey
M.S. in Logic, Computation and Methodology
From the Philosophy department of Carnegie Mellon University in Pittsburgh, PA.
Thesis Title: Justifying Path Induction, An Inferentialist Analysis of Identity Elimination in Homotopy Type Theory (pdf)
This spawned the published paper “Categorical Harmony and Path Induction” (pdf) in The Review of Symbolic Logic. doi:10.1017/S1755020317000077
B.A. in Philosophy and Mathematics
From the University of Denver in Denver, Colorado. My honors thesis (pdf) was an argument for structuralism in the philosophy of mathematics. I no longer hold to that argument, although I still think structuralism is a central and key part to mathematical understanding.
Works
Journal Articles
Wilfried Sieg and Patrick Walsh. “Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF”. in: The Review of Symbolic Logic (2019). doi: 10.1017/S175502031900056X
“Categorical Harmony and Path Induction”. In: The Review of Symbolic Logic 10.2 (2017), pp. 301–321. doi: 10.1017/S1755020317000077
Invited Talks
“Specifications Grading for Remote and In-person”. In: Qatar Teaching and Learning Forum. Sept. 8, 2021
“Is technology shifting our moral compass?” In: The Night of Ideas 2020: Being Alive. Public panel organized by the French Consulate in Qatar. Jan. 30, 2020
Conference Presentations
with Miso Wei and Natalie Taylor Hart. “Applying Culturally Responsive Teaching in Education and at Work”. In: United States Institute for Theatre Technology 2024. Mar. 20, 2024
“Specifications Grading: Why and How”. In: AAPT/APA Eastern Division, Teaching Hub session. Jan. 18, 2022
“The Importance of Moral Sensitivity in Ethics Education”. In: 9th International Assoc. for Education in Ethics Conference. Houston, Texas, July 16, 2021
“The Right Level of Abstraction: Category theory and methodological frames”. In: Novembertagung. Brussels, Belgium, Nov. 4, 2017
with Máté Szábo. “Gödel’s and Post’s Proofs of Incompleteness”. In: Midwest Philosophy of Math Workshop. Southbend, Indiana, June 26, 2017
with Máté Szábo. “Gödel’s and Post’s Proofs of Incompleteness”. In: International Association for Computing and Philosophy. Stanford, California, June 26, 2017
“Categorical Harmony and Path Induction”. In: Philosophy of Logic, Math, Physics Graduate Conference. London, Ontario, June 19, 2016
“Justifying Path Induction”. In: Logic Colloquium. Helsinki, Finland, Aug. 3, 2015
Book Reviews
“AI and Humanity by Illah Reza Nourbakhsh and Jennifer Keating”. In: Teaching Philosophy 45.1 (2022)
“AI Ethics by Mark Coeckelbergh”. In: Teaching Philosophy 44.4 (2021)