Departamento de Informática (UM)

8427

Ana Isabel Carvalho Neri

Ass. Convidado

Lógica e Métodos Formais

E-mail

E7-2.17

Qualificações: 2017 - Licenciatura em Ciências Físicas (1º ciclo de Mestrado Integrado Eng. Física) (U.Minho); 2018 - Mestrado Integrado em Eng. Física (U.Minho)

Página pessoal: https://anac.nery.name/

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

• A. Neri, R. Barbosa and J. Oliveira. Compiling quantamorphisms for the IBM Q Experience. IEEE Transactions on Software Engineering, DOI: 10.1109/TSE.2021.3117515

Projetos

S/I

Docência

Regências: Nenhuma atribuída actualmente

Aulas:

• Algoritmos e Complexidade [H503N6]: turnos TP 4 e TP 5
• Algoritmos e Complexidade [J303N6]: turnos TP 4 e TP 5

Serviço

• Student volunteer @ FM'19 - 3rd World Congress on Formal Methods (2019)