BA in Philosophy from the Federal University of Rio Grande do Sul (UFRGS) and Master in Philosophy from the State University of Campinas (Unicamp) with background in philosophy of logic, mathematics and computer science. Doctoral Student at the State University of Campinas (IFCH / UNICAMP). Currently, researcher in the field of automation of deduction systems and diagrammatic reasoning (FAPESP). (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
This project proposes the complete development of a proof assistant focused on diagrammatic reasoning in all its stages, namely: (I) software development; (II) debugging; (III) documentation. Among the main characteristics of this proposal, we highlight the implementation of the generic language paradigm through the notion of homomorphism between graphs, the implementation of a formal lan…
In Euclidean geometry, the concept of point is a primitive notion characterized intuitively as "that which has no part". Among the concepts defined on the basis of this notion, there is that of scalar: a scalar is what can be described as a point on a scale. Throughout the development of geometry, the notion of point received a number of other characterizations: in analytic geometry, it c…
Ecumenical modal logic offers a philosophically grounded alternative to the search for harmony between classical and intuitionistic modal logic. RNmatrices, in turn, are non-deterministic algebraic structures that have shown promise for characterizing logics that do not admit traditional finite matrix semantics, as is the case of ecumenical logic. The main objective of this project is to …
| 1 / 1 | Ongoing scholarships in Brazil |
| 1 / 1 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 3 / 3 | All Scholarships |
| Associated processes | |
CV Lattes
ORCID