Título: Simulação de Algoritmos Quânticos Considerando a Teoria Quântica Modal em Haskell

Aluno: EDUARDO FERREIRA DA SILVA
Orientador: JULIANA KAIZER VIZZOTTO

Data: 29/08/2014
Horário: 10:00h
Local: Sala 321-B

Banca:
Drª. JULIANA KAIZER VIZZOTTO – Presidente/Co-orientador (UFSM)
Dr. ANDRE RAUBER DU BOIS – UFPEL
Dr. EDUARDO KESSLER PIVETA – UFSM
Dr. GIOVANI RUBERT LIBRELOTTO – UFSM (Suplente)

Resumo:
O desenvolvimento de algoritmos quânticos esbarra em algumas dificuldades, a falta de um computador quântico de propósito geral, uma linguagem ou formalismo específico, ou o alto consumo de recursos computacionais quando trata-se de simulação de algoritmos quânticos em computadores clássicos. Este trabalho, apresenta o desenvolvimento da biblioteca MQS (Modal Quantum Simulation) um modelo de computação quântica escrita em Haskell capaz de desenvolver a implementação de algoritmos considerando a Teoria Quântica Modal. Esta teoria tem como atrativo a substituição de amplitudes de probabilidade complexas por campos finitos. Ou seja, uma teoria simplificada se comparada com a computação quântica convencional, mas que mantém muito da estrutura da computação quântica tradicional.
.