Bacharel em Filosofia pela Universidade Federal do Rio Grande do Sul (UFRGS) e Mestre em Filosofia pela Universidade Estadual de Campinas (UNICAMP) com experiência em filosofia da lógica, da matemática e computação. Estudante de Doutorado na Universidade Estadual de Campinas (IFCH/UNICAMP). Atualmente, pesquisador na área de automação de sistemas de prova e raciocínio diagramático (FAPESP). (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O presente projeto propõe o desenvolvimento completo de um assistente de prova voltado para o raciocínio diagramático em todas as suas etapas, a saber: (I) desenvolvimento de software; (II) depuração; (III) documentação. Dentre as principais características desta proposta, destacam-se a implementação do paradigma de programação genérica através da noção de homomorfismo entre grafos, a imp…
Em geometria euclidiana, o conceito de ponto é uma noção primitiva caracterizada intuitivamente como "aquilo que não tem parte". Dentre os conceitos definidos com base nessa noção, está o de escalar: um escalar é o que pode ser descrito como um ponto em uma escala. Ao longo do desenvolvimento da geometria, a noção de ponto recebeu uma série de outras caracterizações: em geometria analític…
A lógica ecumênica modal oferece uma alternativa filosoficamente fundamentada para a busca pela harmonia entre a lógica modal clássica e intuicionista. RNmatrizes, por sua vez, são estruturas algébricas não-determinísticas que têm se mostrado promissoras para a caracterização de lógicas que não admitem semânticas de matrizes finitas tradicionais, como é o caso da lógica ecumênica. O pres…
| 1 | Bolsas no país contratadas |
| 1 | Bolsas no país concluídas |
| 1 | Bolsas no exterior contratadas |
| 3 | Todas as Bolsas |
| Processos vinculados | |
CV Lattes
ORCID