Departamento de Informática (UM)

Página institucional🇬🇧

	N.Mec.	Nome	Categoria	Grupo Científico-Pedagógico	Contactos	Espaço
	6210	Nuno Filipe Moreira Macedo	Prof. Auxiliar	Lógica e Métodos Formais	E-mail	E7-1.16
	Qualificações: S/I			Página pessoal: https://nmacedo.github.io/
Investigação	Centro	HASLab	Repositórios	ORCID \| Scopus \| DBLP \| CV
	Publicações selecionadas		S/I
	Projetos	S/I
Docência	Regências: Ambientes e Linguagens de Programação para Ciência de Dados (CDADOS) Engenharia Gramatical (MEINF)			Aulas: Processamento de Linguagens e Compiladores [8505O7]: turno TP 1 Métodos Formais em Engenharia de Software [MC25MC2503003255]: turno T 1 Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1 e TP 3 Engenharia Gramatical [ME78ME7800006544]: turnos T 1 e TP 1
Serviço	S/I