My areas of research are the philosophy of mathematics, the philosophy of logic, and geometric cognition. Most of my current work revolves around the nature of justification, representation, and agency in mathematics. I am approaching these questions in connection with related issues in epistemology, the philosophy of mind, and the philosophy of action. The overarching theme of my research is the nature of inference and proof in mathematical practice.
Earlier, I graduated from the Msc Logic of the Institute for Logic, Language and Computation at the Universiteit van Amsterdam. My master thesis was on Hintikka’s interrogative model of inquiry and dynamic epistemic logics. Johan van Benthem and Eric Pacuit were my supervisors.