Este projeto foca-se no desenvolvimento e certificação de algoritmos quânticos para garantir que este software funciona corretamente nos futuros computadores quânticos.
Luís Soares Barbosa, professor no Departamento de Informática da Universidade do Minho (UM) e investigador no INESC TEC, está a desenvolver algoritmos de programação que possam ser aplicados em computação quântica.
O foco principal da sua equipa é a engenharia da programação quântica, visando desenvolver e certificar novos algoritmos para assegurar que estes executem exatamente as tarefas para as quais foram desenhados quando forem aplicados em computadores quânticos.
Como o nome indica, a computação quântica utiliza as características da mecânica quântica como recursos computacionais.
Com o surgimento destes computadores tornar-se assim necessário adaptar o software existente, criando soluções que permitam implementá-lo em computadores quânticos.
Nesse sentido, a equipa de Luís Soares Barbosa participa em diversos projetos europeus e colabora com empresas locais em processos de reengenharia, para as preparar para o acesso generalizado a esta tecnologia.
Segundo o investigador, o sucesso deste hardware depende criticamente de um software bem feito e certificado, bem como de um investimento massivo na formação de novas gerações de técnicos e investigadores.
Saiba mais sobre o investigador em: Linkedin | Researchgate | UM | INESC TEC
Related Episodes
