Nuno Filipe Moreira Macedo. Concluiu MAP-i Doctoral Program in Computer Science pela Universidade do Minho em 2014. É Assistente de Investigação na Universidade do Minho. Publicou 8 trabalhos em actas de eventos. Possui 1 software e outros 21 itens de produção técnica. Recebeu 5 prémios e/ou homenagens. Entre 2012 e 2014 participou em 1 projecto de investigação. Actualmente participa em 1 projecto de investigação. Actua na área de Ciências Exactas com ênfase em Ciências da Computação e da Informação. Nas suas actividades profissionais interagiu com 7 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 Transformations, Software Engineering, Relational Calculus, Model Transformations, QVT, Alloy, Model Repair, Spreadsheets, ATL e Métodos Formais.
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	Ciências Exactas-Ciências da Computação e da Informação.

Endereço profissional Professional address

Universidade do Minho Escola de Engenharia Departamento de Informática Campus de Gualtar Gualtar 4710-057 Braga Portugal Telefone: (+351)253604430 Fax: (+351)253604471 Correio electrónico: nfmmacedo@di.uminho.pt Homepage: http://di.uminho.pt/~nfmmacedo

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.

Universidade do Minho

Mar/2012-Actual

Assistente de Investigação

Set/2010-Fev/2012

Outra Situação

Set/2009-Fev/2010

Outra Situação

Instituto Politécnico do Porto

Set/2013-Fev/2014

Assistente

Universidade do Minho

Nov/2014-Actual
Linhas de investigação»Research fields: Model consistency management

Instituto 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)

Universidade do Minho

Set/2011-Fev/2012

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

Set/2010-Fev/2011

Curso»Academic program: Licenciatura em Engenharia Informática 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)

Participação como Investigador Participation as Researcher

2013-2015 BEST CASE (RL8) - Languages and Tools for Critical Real Time Systems

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

Participação como Doutorando Participation as Phd student

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

Referência do projeto»Project reference: FCOMP-01-0124-FEDER-020532. COMPETE Financiador(es)»Funding: Fundação para a Ciência e a Tecnologia.

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.

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

1.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino; Oliveira, José N. 2013. "Composing Least-change Lenses", Electronic Communications of the EASST, 57: 1 - 19.

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

1.	Macedo, Nuno; Cunha, Alcino; Guimarães, Tiago. 2015. "Exploring Scenario Exploration", Trabalho apresentado em International Conference on Fundamental Approaches to Software Engineering (FASE), In Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE'15), London.

2.	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.

3.	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.

4.	Cunha, Alcino; Macedo, Nuno; Guimarães, Tiago. 2014. "Target Oriented Relational Model Finding", Trabalho apresentado em International Conference on Fundamental Approaches to Software Engineering (FASE), In Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE'14), Grenoble.

5.	Macedo, Nuno; Cunha, Alcino. 2013. "Implementing QVT-R Bidirectional Model Transformations Using Alloy", Trabalho apresentado em International Conference on Fundamental Approaches to Software Engineering (FASE), In Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Rome.

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, Palo Alto, CA.

8.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino. 2012. "Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants", Trabalho apresentado em International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), In Proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS'12), Cambridge.

Outra produção científica Other scientific production

1.	Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino; Voigtländer, Janis. 2013. "A Generic Scheme and Properties of Bidirectional Transformations". CoRR: abs/1306.4473.

2.	Macedo, Nuno; Cunha, Alcino. 2011. "Automatic Unbounded Verification of Alloy Specifications with Prover9". CoRR: abs/1209.5773.

Software sem registo ou patente Software without patent or official record

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

Apresentação oral de trabalho Oral work presentation

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

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

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

4.	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).

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

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

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

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

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

10.	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.

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

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

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

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

15.	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).

16.	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).

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

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

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

20.	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

Orientações Orientations

Dissertação de Mestrado Master degree dissertation

Em curso Ongoing

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

2.	André Santos, Aplicação de Convenções de Código ao Robot Operating System, 2014. Dissertação (Mestrado em Informática) - Universidade do Minho (Co-orientador).

Participação em eventos Event participation

Outro tipo de participação Other kind of participation

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

Produção científica Scientific production

Produção técnica Technical production

Dados complementares data

Total

Produção científica Scientific production

11

Artigos científicos em revistas Papers in periodics

1

Com arbitragem científica With scientific refereeing

1

Trabalhos em eventos Papers in conference proceedings

8

Com arbitragem científica With scientific refereeing

8

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

2

Total

Produção técnica Technical production

22

Software

1

Software sem registo ou patente Software without patent or official record

1

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

21

Total

Dados complementares (Additional data)

3

Orientações Orientations

2

Participação em Eventos Event participation

1

	Jácome Miguel Costa da Cunha
	Jorge Cunha Mendes