CV Lattes
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Master's student of the Graduate Program in Computer Science at São Paulo State University "Júlio de Mesquita Filho"(Unesp). Bachelor in Computer Science by Unesp Bauru. Computer Technician by the Industrial Technical College "Prof. Isaac Portal Roldan". Computer Instructor for young adults and seniors at the Projeto Vida e Alegria NGO . Unesp team coach for the Maratona SBC de Programação. (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 aims to investigate non-classical logics and methods of proofs, more specifically intuitionist (constructivist) logics and the tableaux method, considering the computational interest of this deductive procedure. The central objective of this research is to present the intuitionist logic I1, which was originally presented in an axiomatic deductive system, as in Carnielli and S…
This project is based on computability theory, with emphasis on recursive functions. The objective of this research is to construct a well-structured programming pseudo-language, syntactically similar to the C language, which is one of the most used programming languages in the world. Starting from the definition of recursive functions, with the set of initial functions and rules for obta…
| 2 / 2 | Completed scholarships in Brazil |
| Associated processes | |