Computação Quântica e Teoria da Computação

• Processo: 12/06648-0
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de julho de 2012
• Data de Término da vigência: 30 de abril de 2014
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Arnaldo Vieira Moura
• Beneficiário: Alex Bredariol Grilo
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Bolsa(s) vinculada(s): 12/22478-7 - Complexidade computacional e computação quântica, BE.EP.MS
• Assunto(s): Computação quântica Algoritmos quânticos Complexidade computacional
• Palavra(s)-Chave do Pesquisador: Algoritmos quânticos | Complexidade Computacional | Computabilidade | computação quântica | Computação Quântica

Resumo

Proposta em meados da década de 80, a Computação Quântica procura utilizar a estrutura quântica da matéria nos processos computacionais. É um tópico de pesquisas recente, com focos voltados para várias áreas correlatas, tais como Física, Matemática e Computação. O objetivo deste projeto de pesquisa é estudar a Computação Quântica, principalmente sob uma perspectiva da Teoria da Computação. Serão abordados temas tais como algoritmos quânticos, passeios quânticos, além de computabilidade e complexidade computacional quânticas, estudando-seos avanços recentes nestas áreas. Procurar-se-á também sintetizar a bibliografia pertinente, unificando notações e buscando generalizações. Ao final, uma monografia será redigida, na língua portuguesa. Pretende-se, deste modo, oferecer um texto coerente e consistente para que outros pesquisadores ligados à Computação possam, futuramente, avançar em estudos sobre temas ligados à Computação Quântica.

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

GRILO, A. B.; MOURA, A., V. ON FINITE AUTOMATA WITH QUANTUM AND CLASSICAL STATES. SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, v. 10, p. 13-pg., 2013-01-01. (12/22478-7, 12/06648-0)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

GRILO, Alex Bredariol. Computação quântica e teoria de computação. 2014. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.