Areas of Expertise

Areas of Research Specialization

  • Metaphysics (especially: theories of truth—truth maker theory—abstract objects—modality)
  • History of Analytic Philosophy (esp. Russell—Wittgenstein—Frege)
  • Philosophy of Logic (esp. free logic—inclusive logic—type theory)
  • Philosophy of Mathematics (esp. nature of proof and computation—mathematical practice—Logicism)

Areas of Teaching Competence

  • Ancient Philosophy (including: Greek—Jain)
  • Ethics (inc. Ethics and Technology—Meta-Ethics)
  • Symbolic Logic (inc. Mathematical—Modal—Non-Classical)
  • Informal Logic (inc. Critical Thinking—Decision Theory)
  • Philosophy for Computer Scientists (inc. Nature of Computing—Philosophy of Computer Science)


  • 2013 BA with honors, Philosophy, George Washington University
    • BS, Mathematics, George Washington University