CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Graduado em Engenharia de Computação (2007) e mestre em Filosofia (2010) pela Universidade Estadual de Campinas. Trabalha atualmente como desenvolvedor para sistemas embarcados. Já trabalhou como professor de ensino superior (Geometria Analítica e Álgebra Linear) e como analista e desenvolvedor de software para os segmentos de jogos (gambling), de mercado financeiro (análise de risco) e de comunicações ópticas (monitoramento de redes FTTH). (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 de pesquisa visa o estudo de diferentes abordagens à programação lógicaparaconsistente introduzidas na literatura, assim como o desenvolvimento de um paradigma original baseado nas Lógicas da Inconsistência Formal (LFIs). Para isso, serão analisadas e comparadas as semânticas para LFIs de primeira ordemintroduzidas independentemente por A. Avron e A. Zamansky, por um la…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |