My primary research is at the intersection of computation, cognition, and explanation, and I maintain a complementary interest in moral and political philosophy.

I focus on foundational questions on the nature of skill representation and the scope of computational universality, while also developing methods for automated proof search in nonclassical settings. My complementary research extends to political philosophy and ethics of AI, and I have established collaborations with AI researchers in interdisciplinary settings.