AS Primary Instructor

  • LOG 335 Symbolic Logic (NCSU, Fall 2023)
  • PHI 331 Philosophy of Language (NCSU, Fall 2023)

As course developer

  • Paradox and Infinity (MIT)
           In a team of three, I helped to redesign the residential and the digital version of the MIT undergraduate course "Paradox and                   Infinity" (funded by MIT's Office of Digital Learning). I developed teaching materials (including lectures and exercises) for ten                   modules in total, on topics including set theory, decision theory, Turing machines, incompleteness theorems, etc.

As teaching assistant

  • Problems of Philosophy (MIT, Fall 2020)
  • Mind and Machines (MIT, Spring 2020)
  • Paradox and Infinity (MIT, Spring 2019)