Departamento de Informática (UM)

Página institucional

	N.Mec.	Nome	Categoria	Grupo Científico-Pedagógico	Contactos	Espaço
	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 [J303N6]: turno TP 6 Engenharia Física Aplicada [ME80ME8002006770]: turno OT 1 Computação Quântica [ME80ME8002006771]: turno TP 1
Serviço	Student volunteer @ FM'19 - 3rd World Congress on Formal Methods (2019)