Nuno Filipe Moreira Macedo. Concluiu MAP-i Doctoral Program in Computer Science pela Universidade do Minho em 2014. É Assistente de Investigação no Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência. Publicou 3 artigos em revistas especializadas e 6 trabalhos em actas de eventos, possui 5 capítulos de livros publicados. Possui 3 softwares e outros 23 itens de produção técnica. Participou em 4 eventos no estrangeiro. Co-orientou 2 dissertações de mestrado nas áreas de Ciências da Computação e da Informação e Engenharia Electrotécnica, Electrónica e Informática. Recebeu 5 prémios e/ou homenagens. Entre 2012 e 2015 participou em 2 projectos de investigação. Actualmente participa em 2 projectos de investigação. Actua nas áreas de Ciências Exactas com ênfase em Ciências da Computação e da Informação e Engenharia e Tecnologia com ênfase em Engenharia Electrotécnica, Electrónica e Informática. Nas suas actividades profissionais interagiu com 16 colaboradores em co-autorias de trabalhos científicos. No seu curriculum DeGóis os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Bidirectional transformation, Software engineering, Alloy, Relational calculus, Model transformations, Model-driven development, QVT, Lightweight formal methods, Verification and validation e Model repair.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=6880898755975090

Nome completo Full name	Nuno Filipe Moreira Macedo
Nome em citações bibliográficas Quoting name	Nuno Macedo
Categoria profissional Position	Assistente de Investigação
Domínio científico de atuação Scientific domain	Engenharia e Tecnologia-Engenharia Electrotécnica, Electrónica e Informática.

Endereço profissional Professional address

Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência HASLab - High-assurance Software Laboratory Campus da FEUP, Rua Dr. Roberto Frias Porto 4200-465 Porto Portugal Correio electrónico: nuno.m.macedo@inesctec.pt Homepage: haslab.pt/nmacedo/

Sexo Gender

Masculino»Male

2010-2014	Doutoramento Phd
MAP-i Doctoral Program in Computer Science (4 anos » years) . Universidade do Minho, Portugal.

2008-2010	Mestrado Master degree
Mestrado em Informática (2 anos » years) . Universidade do Minho, Portugal.

2005-2008	Licenciatura Licentiate degree
Licenciatura em Engenharia Informática (3 anos » years) . Universidade do Minho, Portugal.

Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência

Jul/2015-Actual

Assistente de Investigação

Universidade do Minho

Set/2015-Actual

Professor Auxiliar

Set/2012-Fev/2013

Assistente

Set/2011-Fev/2012

Outra Situação

Set/2009-Fev/2010

Outra Situação

Universidade do Minho

Nov/2014-Jun/2015

Assistente de Investigação

Set/2009-Out/2014

Assistente de Investigação

Politécnico do Porto

Set/2013-Fev/2014

Assistente

Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência

Jul/2015-Actual
Linhas de investigação»Research fields: Safe Robotic Software

Jul/2015-Actual
Linhas de investigação»Research fields: Consistency management in Model-driven Development

Universidade do Minho

Nov/2014-Jun/2015
Linhas de investigação»Research fields: Consistency management in Model-driven Development

Universidade do Minho

Set/2016-Actual

Disciplinas lecionadas»Taught units: Laboratórios de Informática I(Docente) Programação Funcional(Docente) Informática Aplicada (LAD)(Docente)

Set/2015-Fev/2016

Disciplinas lecionadas»Taught units: Laboratórios de Informática I(Docente) Especificação e Modelação(Docente)

Set/2012-Fev/2013

Disciplinas lecionadas»Taught units: Laboratórios de Informática I(Docente)

Set/2011-Fev/2012

Disciplinas lecionadas»Taught units: Laboratórios de Informática I(Monitor)

Set/2009-Fev/2010

Disciplinas lecionadas»Taught units: Laboratórios de Informática I(Monitor)

Politécnico do Porto

Set/2013-Fev/2014

Curso»Academic program: Licenciatura em Engenharia Informática Disciplinas lecionadas»Taught units: Laboratórios de Desenvolvimento de Software(Docente)

Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência

Jul/2015-Actual
Serviço realizado»Executed service: PTCRISync - An ORCID-based Synchronization Framework for PTCRIS

Participação como Investigador Participation as Researcher

2016- TRUST-Trustworthy Software Design with Alloy

Referência do projeto»Project reference: PTDC/EEI-CTP/2904/2014. COMPETE 2020

2015-2018 NanoSTIMA-High-Assurance Medical Cyber-physical Systems

Referência do projeto»Project reference: NORTE-01-0145-FEDER-000016. NORTE 2020

2013-2015 BEST CASE-Languages And Tools for Critical Real-time Systems

Referência do projeto»Project reference: NORTE-07-0124-FEDER-000062. ON.2 O Novo Norte

Participação como Doutorando Participation as Phd student

2012-2014 FATBIT-Foundations, Applications and Tools for Bidirectional Transformation

Referência do projeto»Project reference: FCOMP-01-0124-FEDER-020532. COMPETE

Compreende Understandig	Inglês (Bem), Português (Bem), Espanhol (Razoavelmente), Francês (Pouco), Japonês (Pouco).
Fala Speaking	Inglês (Bem), Português (Bem), Espanhol (Pouco), Francês (Pouco), Japonês (Pouco).
Lê Reading	Inglês (Bem), Português (Bem), Espanhol (Bem), Francês (Razoavelmente), Japonês (Pouco).
Escreve Writing	Inglês (Bem), Português (Bem), Espanhol (Pouco), Francês (Pouco), Japonês (Pouco).

2006	Prémio de Mérito Escolar por melhor classificação no 1º ano da LESI em 2005/2006, Universidade do Minho.
2007	Prémio de Mérito Escolar por melhor classificação no 2º ano da LESI em 2006/2007, Universidade do Minho.
2008	Melhor classificação no 3º ano da LEI em 2007/2008, Universidade do Minho.
2010	Bolsa de Doutoramento, FCT.
2013	SIGSOFT CAPS Award - ASE 2013, ACM SIGSOFT.

Set/2013 - Set/2014

ACM, Membro.

Capítulos de livros publicados Published book chapters

1.	Carvalho, Mariana; Macedo, Nuno; Belo, Orlando. 2017. Checking the Correctness of What-If Scenarios.  In Proceedings of the 11th IFIP WG 8.9 Working Conference (CONFENIS 2017), 0 - 0. . Berlin, Heidelberg: Springer.

2.	Belo, Orlando; Oliveira, Bruno; Macedo, Nuno. 2016. Towards a formal validation of ETL patterns behavior.  In Proceedings of the 6th International Conference on Model and Data Engineering (MEDI'16), 156 - 165. . Berlin, Heidelberg: Springer. SCR (2005): 0.402, SJR (2015): Q3, Scholar (2016): 7 / 9.

3.	Macedo, Nuno; Cunha, Alcino; Guimarães, Tiago. 2015. Exploring Scenario Exploration.  In Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE'15), 301 - 315. ISBN: 978-3-662-46674-2. Berlin, Heidelberg: Springer. SCR (2005): 0.402, SJR (2015): Q3, CORE (2014): B, Scholar (2016): 23 / 33.

4.	Cunha, Alcino; Macedo, Nuno; Guimarães, Tiago. 2014. Target Oriented Relational Model Finding.  In Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE'14), 17 - 31. ISBN: 978-3-642-54803-1. Berlin, Heidelberg: Springer. SCR (2005): 0.402, SJR (2015): Q3, CORE (2014): B, Scholar (2016): 23 / 33.

5.	Macedo, Nuno; Cunha, Alcino. 2013. Implementing QVT-R Bidirectional Model Transformations Using Alloy.  In Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), 297 - 311. ISBN: 978-3-642-37056-4. Berlin, Heidelberg: Springer. SCR (2005): 0.402, SJR (2015): Q3, CORE (2014): B, Scholar (2016): 23 / 33.

6.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino. 2012. Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.  In Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS'12), 146 - 161. ISBN: 978-3-642-33313-2. Berlin, Heidelberg: Springer. SCR (2005): 0.402, SJR (2015): Q3, CORE (2014): C.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	Macedo, Nuno; Cunha, Alcino. 2016. "Least-change bidirectional model transformation with QVT-R and ATL", Software and Systems Modeling 15, 3: 783 - 810. JCR (2015): 0.990, SCR (2015): Q2, Scholar (2016): 28 / 40.

2.	Macedo, Nuno; Jorge, Tiago; Cunha, Alcino. 2016. "A Feature-based Classification of Model Repair Approaches", IEEE Transactions on Software Engineering, PP: 1 - 1.

3.	Moreira, João M; Cunha, Alcino; Macedo, Nuno. 2015. "An ORCID based synchronization framework for a national CRIS ecosystem", F1000Research 4, 181: 1 - 11. SJR (2015): Q1, Scholar (2016): 17 / 23.

4.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino; Oliveira, José N. 2013. "Composing Least-change Lenses", Electronic Communications of the EASST, 57: 1 - 19. Scholar (2016): 17 / 21.

Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing

1.	Santos, André; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; dos Santos, F. N. 2017. "Mining the usage patterns of ROS primitives", Trabalho apresentado em 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), In 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Vancouver, BC, Canada.

2.	Macedo, Nuno; Brunel, Julien; Chemouil, David; Cunha, Alcino; Kuperberg, Denis. 2016. "Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations", Trabalho apresentado em ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), In Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), Seattle. CORE (2014): A, Scholar (2016): 41 / 63.

3.	Santos, André; Cunha, Alcino; Macedo, Nuno; Lourenço, Cláudio. 2016. "A Framework for Quality Assessment of ROS Repositories", Trabalho apresentado em IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), In Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016), Daejeon. CORE (2014): A, Scholar (2016): 50 / 60.

4.	Macedo, Nuno; Cunha, Alcino; Pacheco, Hugo. 2014. "Towards a Framework for Multidirectional Model Transformations", Trabalho apresentado em International Workshop on Bidirectional Transformations (BX), In Proceedings of the 3rd International Workshop on Bidirectional Transformations (BX'14), Athens.

5.	Macedo, Nuno; Pacheco, Hugo; Sousa, Nuno; Cunha, Alcino. 2014. "Bidirectional Spreadsheet Formulas", Trabalho apresentado em IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), In Proceedings of the 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'14), Melbourne. CORE (2014): B, Scholar (2016): 15 / 25.

6.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino; Oliveira, José N. 2013. "Composing Least-change Lenses", Trabalho apresentado em International Workshop on Bidirectional Transformations (BX), In Pre-proceedings of the Second International Workshop on Bidirectional Transformations, Roma.

7.	Macedo, Nuno; Guimarães, Tiago; Cunha, Alcino. 2013. "Model Repair and Transformation with Echo", Trabalho apresentado em IEEE/ACM International Conference on Automated Software Engineering (ASE), In Proceedings 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), Palo Alto, CA. CORE (2014): A, Scholar (2016): 31 / 46.

Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing

1.	Halder, Raju; Proenca, Jose; Macedo, Nuno; Santos, André. 2017. "Formal Verification of ROS-Based Robotic Applications Using Timed-Automata", Trabalho apresentado em 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), In 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), Buenos Aires, Argentina.

Outra produção científica Other scientific production

1.	Macedo, Nuno; Cunha, Alcino. 2016. "Alloy meets TLA+: An exploratory study". CoRR: abs/1603.03599. Scholar (2016): 31 / 39.

2.	Macedo, Nuno; Jorge, Tiago; Cunha, Alcino. 2015. "A Feature-based Classification of Model Repair Approaches". Corr: abs/1504.03947. Scholar (2016): 31 / 39.

3.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino; Voigtländer, Janis. 2013. "A Generic Scheme and Properties of Bidirectional Transformations". CoRR: abs/1306.4473. Scholar (2016): 27 / 47.

4.	Macedo, Nuno; Cunha, Alcino. 2011. "Automatic Unbounded Verification of Alloy Specifications with Prover9". CoRR: abs/1209.5773. Scholar (2016): 20 / 27.

Software sem registo ou patente Software without patent or official record

1.	Macedo, Nuno; Cunha, Alcino. PTCRISync,2016.

2.	Macedo, Nuno. Pardinus,2016.

3.	Macedo, Nuno; Cunha, Alcino; Brunel, Julien; Kuperberg, Denis; Chemouil, David; Pessoa, Eduardo. Electrum,2015.

4.	Macedo, Nuno; Guimarães, Tiago; Cunha, Alcino. Echo,2013.

Trabalho técnico Technical work

1.	Macedo, Nuno; Cunha, Alcino. PTCRISync Specification: An ORCID-based Synchronization Framework for PTCRIS,2015 (Relatório de consultoria).

Apresentação oral de trabalho Oral work presentation

1.	Macedo, Nuno. Exploring Scenario Exploration,HASLab Seminar Series,Braga,2015 (Seminário).

2.	Macedo, Nuno. Exploring Scenario Exploration,18th International Conference on Fundamental Approaches to Software Engineering (FASE'15),London,2015 (Conferência ou palestra).

3.	Macedo, Nuno. Towards a Framework for Multi-directional Model Transformations,3rd International Workshop on Bidirectional Transformations (BX'14),Athens,2014 (Conferência ou palestra).

4.	Macedo, Nuno. Bidirectional Spreadsheet Formulas,2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'14),Melbourne,2014 (Simpósio).

5.	Macedo, Nuno. A Relational Approach to Bidirectional Transformation,PhD Thesis Defense,Braga,2014 (Outra).

6.	Macedo, Nuno. Model Repair and Transformation with Echo,28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13),Palo Alto,2013 (Conferência ou palestra).

7.	Macedo, Nuno. Bidirectionalizing ATL within Echo,III FATBIT Workshop,Braga,2013 (Conferência ou palestra).

8.	Macedo, Nuno. A Relational Approach to Bidirectional Transformations,VI MAP-i Doctoral Symposium,Braga,2013 (Simpósio).

9.	Macedo, Nuno. Bidirectional Spreadsheet Formulas,II FATBIT Workshop,Braga,2013 (Conferência ou palestra).

10.	Macedo, Nuno. Model Repair and Transformation with Echo,III FATBIT Workshop,Braga,2013 (Conferência ou palestra).

11.	Macedo, Nuno. Implementing QVT-R Bidirectional Model Transformations Using Alloy,HASLab Seminar Series,Braga,2013 (Seminário).

12.	Macedo, Nuno. Implementing QVT-R Bidirectional Model Transformations Using Alloy,16th International Conference on Fundamental Approaches to Software Engineering (FASE'13),Rome,2013 (Conferência ou palestra). Nominated for ETAPS best paper award.

13.	Macedo, Nuno. Model Repair and Transformation with Echo,II FATBIT Workshop,Braga,2013 (Conferência ou palestra).

14.	Macedo, Nuno; Sousa, Nuno. Bidirectional Spreadsheet Formulas,III FATBIT Workshop,Braga,2013 (Conferência ou palestra).

15.	Macedo, Nuno. Every Transformation Is a Lens: Taming Partiality and Non-determinism Using Invariants,HASLab Seminar Series,Braga,2012 (Seminário).

16.	Macedo, Nuno. Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants,I FATBIT Workshop,Braga,2012 (Conferência ou palestra).

17.	Macedo, Nuno. An Implementation of QVT Bidirectional Transformations: Executing QVT-R over UML+OCL Models Using Alloy,I FATBIT Workshop,Braga,2012 (Conferência ou palestra).

18.	Macedo, Nuno. Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants,13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS'12),Cambridge,2012 (Conferência ou palestra).

19.	Macedo, Nuno. A Relational Approach to Bidirectional Transformations,V MAP-i Doctoral Symposium,Aveiro,2012 (Simpósio).

20.	Macedo, Nuno. Translating Alloy Specifications to the Point-free Style,HASLab Seminar Series,Braga,2011 (Seminário).

21.	Macedo, Nuno. Translating Alloy Specifications to the Point-free Style,MSc Thesis Defense,Braga,2011 (Outra).

22.	Macedo, Nuno. A Relational Approach to Bidirectional Transformations,IV MAP-i Doctoral Symposium,Porto,2011 (Simpósio).

Relatório de investigação Technical report

1.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino. Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants,2012.

Orientações Orientations

Participação em eventos Event participation

Participação editorial em revistas Magazine editorial participation

Orientações Orientations

Tese de Doutoramento Phd Thesis

Em curso Ongoing

1.	Chong Liu, Lightweight Trustworthy Software High-level Design, 2016. (Co-orientador).

2.	André Santos, Safety Verification for ROS Software, 2015. Tese (MAP-i Doctoral Program in Computer Science) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Co-orientador).

Dissertação de Mestrado Master degree dissertation

Concluídas Completed

1.	Eduardo Pessoa, Parallel Verification of Dynamic Systems with Rich Configurations, 2016. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho, Bolseiro(a) de Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (Orientador).

2.	José Pereira, A Web-based Social Environment for Alloy, 2016. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho, Bolseiro(a) de Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (Co-orientador).

3.	André Santos, Applying Coding Standards to the Robot Operating System, 2015. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Co-orientador).

4.	Miguel Costa, Software Quality for the Robot Operating System, 2015. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Co-orientador).

Orientação de outra natureza Other orientation

Concluídas Completed

1.	Cláudia Ribeiro e Mário Santos, Validation of the PTCRISync algorithm, 2016. Universidade do Minho (Co-orientador). Master's Integrated Project.

2.	Rogério Pontes, Monitorização de Práticas Laboratoriais, 2015. Universidade do Minho (Orientador).

Participação em eventos Event participation

Outro tipo de participação Other kind of participation

1.	International Workshop on Bidirectional Transformations, 2017 (Workshop). Nome do evento: 6th International Workshop on Bidirectional Transformations (BX 2017).

2.	International Symposium on Formal Methods, 2016 (Simpósio). Nome do evento: 21st International Symposium on Formal Methods (FM 2016). External Reviewer.

3.	Brazilian Symposium on Formal Methods, 2015 (Simpósio). Nome do evento: 18th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2015). External Reviewer.

4.	International Workshop on Bidirectional Transformations, 2015 (Workshop). Nome do evento: 4th International Workshop on Bidirectional Transformations (BX 2015). External Reviewer.

5.	International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014 (Conferência). Nome do evento: 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2014). External Reviewer.

Participação editorial em revistas Magazine editorial participation

1.	Nuno Macedo. Journal of Systems and Software, desde 2017/11/01, Função ou tipo de participação: Reviewer, Editora: Elsevier.
2.	Nuno Macedo. Software and Systems Modeling, desde 2017/06/15, Função ou tipo de participação: Reviewer, Editora: Springer.
3.	Nuno Macedo. IEEE Transactions on Industrial Informatics, desde 2017/06/01, Função ou tipo de participação: Reviewer, Editora: IEEE.
4.	Nuno Macedo. Journal of Object Technology, desde 2016/02/01, Função ou tipo de participação: Reviewer, Editora: ETH Swiss Federal Institute of Technology.

Produção científica Scientific production

Produção técnica Technical production

Dados complementares data

Total

Produção científica Scientific production

22

Livros e capítulos Books and book chapters

6

Capítulos de livros publicados Published book chapters

6

Artigos científicos em revistas Papers in periodics

4

Com arbitragem científica With scientific refereeing

4

Trabalhos em eventos Papers in conference proceedings

8

Com arbitragem científica With scientific refereeing

7

Sem arbitragem científica Without scientific refereeing

1

Outros tipos de produção científica Other scientific production

4

Total

Produção técnica Technical production

28

Software

4

Software sem registo ou patente Software without patent or official record

4

Trabalhos técnicos Technical works

1

Outros tipos de produção técnica Other technical production

23

Total

Dados complementares (Additional data)

17

Orientações Orientations

8

Participação em Eventos Event participation

5

Participação editorial em revistas Magazine editorial participation

4

Tiago Miguel Moreira Guimarães

Diogo Roberto de Oliveira