I am a postdoctoral researcher based et the ETH Zürich. I work mainly in the philosophy of mathematics, the philosophy of logic, and geometric cognition. Most of my current research revolves around the nature of justification, representation, and agency in mathematics.