CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui doutorado pela Columbia University e graduação e mestrado pela Universidade Estadual de Campinas (UNICAMP). Tem experiência em Complexidade Computacional, Algoritmos, Combinatória, e Lógica Matemática. (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 objetivo do projeto é estudar profundamente a teoria de complexidade computacional e a conjectura P vs NP, atingindo a fronteira dos desenvolvimentos atuais. Espera-se contribuir na busca de uma solução para o problema e com a aplicação das idéias aprendidas para o avanço do nosso entendimento sobre problemas computacionaisdifíceis.
Pretendemos estudar certos tópicos avançados de computabilidade e indecidibilidade, envolvendo teorias lógicas e problemas decidíveis e indecidíveis importantes da matemática, lógica e ciência da computação. (AU)
Neste projeto pretendemos estudar problemas de emparelhamento em grafos. Este é um dos tópicos mais ricos das áreas de teoria dos grafos e de otimização combinatória. A teoria sobre este tema é extremamente desenvolvida e com várias ramificações e aplicações em outras áreas. Nossa expectativa é que, ao final do trabalho, o aluno tenha adquirido familiaridade com a área e, principalmente, …
| 3 | Bolsas no país concluídas |
| Processos vinculados | |