| 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
| E7-2.17 |
Qualificações: 2021 - Mestrado em Engenharia Física (U.Minho) | Página pessoal: |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP |
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 | S/I |
Docência | Regências: Nenhuma atribuída actualmente | Aulas: - Interação e Concorrência [8506O7]: turno TP 1
- Computação Quântica [G507O7]: 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)