| 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
Ext.: +604458 | E7-1.16 |
Qualificações: 2014 - Doutoramento (MAPi) em Informática (U.Minho, U. Aveiro e U. Porto) | Página pessoal: https://nmacedo.github.io/ |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP | CV |
Publicações selecionadas | - P. Silva, J. N. Oliveira, N. Macedo and A. Cunha. Quantitative relational modelling with QAlloy. 21st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022). ACM, 2022.
- R. Carvalho, A. Cunha, N. Macedo and A. Santos. Verification of system-wide safety properties of ROS applications. 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2020). IEEE/RSJ, 2020.
- N. Macedo, T. Jorge and A. Cunha. A feature-based classification of model repair approaches. IEEE Transactions on Software Engineering, 2017.
- N. Macedo, J. Brunel, D. Chemouil, A. Cunha and D. Kuperberg. Lightweight specification and analysis of dynamic systems with rich configurations. 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016). ACM, 2016.
- N. Macedo and A. Cunha. Least-change bidirectional model transformation with QVT-R and ATL. Software and Systems Modeling, 2016.
|
Projetos | - SpecRep - Constraint-based Specification Repair (EXPL/CCI-COM/1637/2021)
- SAFER - Safety Verification for Robotic Software (PTDC/CCI-INF/29583/2017)
- TRUST - Trustworthy Software Design with Alloy (POCI-01-0145-FEDER-016826)
- FATBIT - Foundations, Applications & Tools for Bidirectional Transformation (FCOMP-01-0124-FEDER-020532, 2012-2014)
|
Docência | Regências: | Aulas: - Processamento de Linguagens e Compiladores [8505O7]: turno TP 1
- Processamento de Linguagens [J306N4]: turnos PL 1 e T 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
- Projeto em Engenharia de Linguagens [ME78ME7800007517]: turno PL 1
|
Serviço | - Prof. Auxiliar - Faculdade de Engenharia da Universidade do Porto (2020-25)
|
Departamento de Informática (UM)