Oi! Eu sou um doutorando em Filosofia do Instituto de Filosofia e Ciências Humanas da Universidade Estadual de Campinas (Unicamp). Minha linha de pesquisa é Lógica, e minha tese versa sobre a aplicabilidade de uma Lógica da Inconsistência Formal (LFI), um tipo de lógica paraconsistente, a uma ontologia formal.

Leciono interpretação de texto no cursinho popular PROCEU Conhecimento desde 2018, e os slides que uso em aula estão disponíveis aqui.

Este site contém ainda informações sobre alguns pequenos programas em que venho trabalhando.