I am a permanent researcher (“chargé de recherche”) at the Centre National de la Recherche Scientifique (CNRS) based at the Archives Henri Poincaré in Nancy, France. 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.