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 graduação em Engenharia Elétrica com ênfase em Sistemas e Computação pela Universidade do Estado do Rio de Janeiro (1995), mestrado e doutorado em Ciência da Computação pela Universidade Estadual de Campinas (1998 e 2003) e pós-doutorado na Universidade de Oldenburg, Alemanha (2005). Tem experiência na área de Ciência da Computação, atuando principalmente em temas teóricos como Algoritmos, Complexidade e Computabilidade. Também possui interesse em Verificação de Sistemas, Segurança e Criptografia, Lógica, Inteligência Artificial e Jogos. (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) |
A resolução de problemas no Plano Euclidiano é dificultada pela inexistência de representação consistente para o infinito, fazendo com que informações topológicas sejam, muitas vezes, desprezadas. Isto acontece com o Diagrama de Voronoi e suas generalizações. No Plano Projetivo Orientado (PPO) [Sto91, dRS94] o infinito é tratado de maneira coerente com conceitos como convexidade, orientaç…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |