| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaç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: 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: - Fundamentos da Computação Quântica [J306Q5]: 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 |
Departamento de Informática (UM)