CV Lattes
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição Sede da última proposta de pesquisa) País de origem: Colômbia
Possui graduação em Ingeniería de Sistemas - Universidad EAFIT, Medellin, Colombia (1997), mestrado em Ingeniería Informática -Universidad EAFIT, Medellin, Colombia (2001), mestrado em Filosofía (Lógica) pela Universidade Estadual de Campinas (2006) e doutorado em Filosofía (Àrea de Lógica) pela Universidade Estadual de Campinas (2009). Atualmente é professor vinculado - categoría auxiliar - Universidad de Antioquia. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: computabilidade e lógicas não clássicas. (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 computação quântica é hoje uma área de intensa atividade de pesquisa e que desperta grande interesse, devido em grande parte ao algoritmo quântico construído por Peter Shor para fatoração de inteiros em tempo polinomial, um problema para o qual não se conhece solução polinomial por meio de algoritmos clássicos. Mesmo com o resultado de Shor e desenvolvimento subsequente, as verdadeirasp…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |