Possui graduação em Licenciatura Plena em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP - FC (2002), Mestrado em Filosofia, com área de concentração em Lógica e Epistemologia, pela Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP - FFC (2005), Doutorado em Filosofia, com área de concentração em Lógica, pela Universidade Estadual de Campinas - UNICAMP - IFCH (2011). Atualmente é Professor Assistente Doutor na UNESP, Faculdade de Ciências, Departamento de Matemática, campus de Bauru. É credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Tem experiência no ensino de Lógica e Teoria do Conhecimento. Atua principalmente nos seguintes temas: lógica, linguagens formais - semântica, métodos de prova, teorias da verdade, estruturas parciais, algoritmos, raciocínio indutivo, quantificadores e tableaux analíticos. (Fonte: Currículo Lattes)
Apresenta-se o plano de investimentos em infraestrutura de pesquisa da Faculdade de Ciências da UNESP, Campus de Bauru, dentro dos recursos disponibilizados através da Reserva Técnica Institucional da FAPESP, referente ao ano de 2019. O plano busca atender às demandas dos laboratórios e pesquisadores da unidade, em especial aqueles que têm ou tiveram projetos de pesquisa financiados pela …
Plano de Aplicação em Infraestrutura Institucional para Pesquisa da Faculdade de Ciências de Bauru - UNESP, ano 2019., AP.RT.INST
Álgebra Axioma Cálculo proposicional Ciências Exatas e da Terra Ciências Humanas Filosofia Interdisciplinar Lógica intuicionista Lógica matemática Lógica modal normal Lógica paraconsistente Lógica Lógicas não clássicas Matemática Método dos Tableaux Reserva técnica