Graduado em Matemática pela Universidad Nacional de Mar Del Plata, Agentina (1989); doutorado em Matemática pela Universidade de São Paulo (1997) sob a orientação de Francisco Miraglia; pós-doutorado na Universidade Técnica de Lisboa (2001-2002) sob supervisão de Amílcar Sernadas; e Livre-Docente em Lógica pela Universidade Estadual de Campinas (2004). Foi Professor (Adjunto e depois Associado) do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas (IFCH) da Universidade Estadual de Campinas (UNICAMP) de 1998 a 2013. Desde 2013 é Professor Titular de Lógica do Departamento de Filosofia do IFCH/UNICAMP. Tem experiência na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: lógicas não-clássicas, lógicas paraconsistentes, combinações entre lógicas, traduções entre lógicas e teoria das categorias. Desde 1999 é membro da Sociedade Brasileira de Lógica (SBL). Participou das Diretorias da Sociedade Brasileira de Lógica entre 1999 e 2017. Foi Presidente da Sociedade Brasileira de Lógica no período 2014-2017. Foi Coordenador do GT de Lógica da ANPOF, de 2010 até 2024. Desde 2002 é membro do Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP. Foi Diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP no período 2015-2021, sendo atualmente seu Diretor Associado.

PRINCIPAL PROJETO DE PESQUISA

RATIOLOG: Racionalidade, lógica e probabilidade​

Projeto Temático de pesquisa, que consiste em três grandes tarefas principais. Essas três tarefas apoiarão as principais questões a serem trabalhadas, relacionadas às noções de consistência, contradição e evidência, que, juntamente com suas interpretações probabilísticas, pretendem levar a uma posição mais sólida sobre a filosofia geral da paraconsistência, seu entendimento, seu impacto e sua importância na filosofia da ciência e na filosofia da matemática.