Departamento de Informática (UM)

Página institucional🇬🇧

12955

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

12955

André Manuel Resende Sequeira

Ass. Convidado

Lógica e Métodos Formais

E-mail
Ext.: +604430

E7-2.17

Qualificações: 2021 - Mestrado em Engenharia Física (U.Minho); 2025 - Doutoramento em Informática (U.Minho)

Página pessoal: https://www.inesctec.pt/en/people/andre-manuel-sequeira

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP | CV

Publicações selecionadas

  • André Sequeira, Luís Paulo Santos, Luís Soares Barbosa: Trainability issues in quantum policy gradients. Mach. Learn. Sci. Technol. 5(3): 35037 (2024)
  • Rodrigo Coelho, André Sequeira, Luís Paulo Santos: VQC-based reinforcement learning with data re-uploading: performance and trainability. Quantum Mach. Intell. 6(2): 53 (2024)
  • André Sequeira, Luís Paulo Santos, Luís Soares Barbosa: Policy gradients using variational quantum circuits. Quantum Mach. Intell. 5(1): 1-15 (2023)
  • André Sequeira, Luís Paulo Santos, Luís Soares Barbosa: Quantum Tree-Based Planning. IEEE Access 9: 125416-125427 (2021)
  • André Sequeira, Luís Paulo Santos, Luís Soares Barbosa: Generalised Quantum Tree Search. Q-SE@ICSE 2021: 39-40

Projetos

  • IBEX (Quantitative methods for cyber-physical programming: FCT, PTDC/CCI-COM/4280/2021)

Docência

Regências: Nenhuma correntemente atribuída

Aulas:

  • Interação e Concorrência [8506O7]: turno TP 1
  • Introdução à Ciência de Dados Quântica [L305O3]: turno PL 1
  • Computação Quântica [ME80ME8002006771]: turno TP 1
  • Ciência de Dados Quântica [ME80ME8002006777]: turno TP 1

Serviço

S/I

[ Quadro de todo o pessoal do DIUM ]