Departamento de Informática (UM)

7039

Carlos Eduardo Teixeira Tavares

Prof. Auxiliar Convidado

Lógica e Métodos Formais

E-mail

Qualificações: 2022 - Doutoramento (MAPi) em Informática (U.Minho, U.Aveiro & U.Porto)

Página pessoal: https://www.inesctec.pt/pt/pessoas/carlos-eduardo-tavares

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

• José Diogo Guimarães, Carlos Tavares: Towards a layered architecture for error mitigation in quantum computation. QSW 2022: 41-51
• Carlos Tavares, Sofia Oliveira, Vitor Fernandes, Andrei Postnikov, Mikhail I. Vasilevskiy: Quantum simulation of the ground-state Stark effect in small molecules: a case study using IBM Q. Soft Comput. 25(9): 6807-6830 (2021)
• José Diogo Guimarães, Carlos Tavares, Luís Soares Barbosa, Mikhail I. Vasilevskiy: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. Complex. 2020: 3510676:1-3510676:12 (2020)
• [–] 2010 – 2019 FAQ
• Rafael Bayma, Raphael Teixeira, Dilson Lopes, Carlos Tavares: A Differential Approach for Obtaining Diagonal Volterra Kernels. IEEE Trans. Circuits Syst. II Express Briefs 66-II(8): 1481-1485 (2019)

Projetos

S/I

Docência

Regências: Nenhuma atribuída actualmente

Aulas:

• Programação e Algoritmia [L201N6]: turnos PL 1 e T 1

Serviço

S/I