CV Lattes
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Pesquisador na área de Processamento de Linguagem Natural. Mestre em Ciência da Computação pela Universidade Estadual Paulista "Júlio de Mesquita Filho" (Unesp). Bacharel em Ciência da Computação pela Unesp Bauru. Técnico em Informática pelo Cólegio Técnico Industrial "Prof. Isaac Portal Roldan". Instrutor de Informática para jovens adultos e melhor idade na ONG Projeto Vida e Alegria. (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) |
Este projeto tem como meta a investigação de lógicas não clássicas e métodos de provas, mais especificamente, de lógicas intuicionistas (construtivistas) e o método dos tablôs, considerando o interesse computacional desse procedimento dedutivo. O objetivo central da pesquisa é apresentar a lógica intuicionista I1, que foi originalmente apresentada em um sistema dedutivo axiomático, como e…
Este projeto tem como base a teoria da computabilidade, com ênfase nas funções recursivas. O objetivo desta pesquisa é construir uma pseudolinguagem de programação bem estruturada, que seja sintaticamente similar à linguagem C, uma das linguagens de programação mais usadas no mundo. Partindo da definição de funções recursivas, com o conjunto de funções iniciais e regras para gerar novas f…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |