Possui graduação em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (Unesp - 2001) e Doutorado em Filosofia pela Universidade Estadual de Campinas (Unicamp - 2008), junto ao Centro de Lógica, Epistemologia e História da Ciência (CLE - Unicamp). Atualmente é Pesquisador, Membro e Coordenador do CLE. Possui experiência na área de Matemática, com ênfase em Lógica, atuando principalmente nos seguintes temas: Matemática, Lógica Matemática, História e Filosofia da Matemática, Ensino de Matemática, História da Ciência, Sistêmica, Ontologia Formal, Filosofia e Lógica da Religião. É membro da Sociedade Brasileira de História da Matemática (SBHMat), Editor Associado da Coleção CLE e Editor da Revista Brasileira de História da Matemática.

Possui graduação em Matemática pela Universidad Nacional de Mar Del Plata, Argentina (1989). Doutorado em Matemática pela Universidade de São Paulo (1997). Pós-Doutorado, pela Universidade Técnica de Lisboa (2001-2002). Livre-Docência (2004), pela Universidade Estadual de Campinas. Atualmente é Professor no IFCH - Unicamp, Membro e Coordenador Associado do CLE. Tem experiência na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: combinações entre lógicas, traduções entre lógicas, lógicas paraconsistentes, lógicas não-clássicas e teoria das categorias.