Com graduação em Matemática pela Unesp (2001) e Doutorado em Filosofia pela Unicamp (2008), junto ao CLE, é Pesquisador e Diretor Associado do mesmo centro, além de membro da SBHMat e SBL. Atua como Editor Associado da Coleção CLE, Managing Editor da RBHM, Membro do Conselho Científico do CLE, Coordenador-Adjunto do Núcleo de Epistemologia do IFE Campinas e Coordenador Principal do CCFT Working Group. Sua expertise abrange Matemática, Lógica, História e Filosofia da Matemática, Ensino de Matemática, História da Ciência, Ontologia Formal e Filosofia da Religião.