I am interested in the distinctions between different logical systems. I am also drawn to more foundational questions: why we need metatheory—or whether we need it at all—and what formal logic cannot express. My research and study focus primarily on modal logic, other non-classical logics and philosophical logic. Other interests include proof theory, arithmetic, and the philosophy of art (I minored in contemporary art as an undergraduate).