Nuno Filipe Moreira Macedo
|
|
Data da última atualização
»Last update
:
18/02/2019 |
Dados pessoais (Personal data)
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 |
Graus Académicos
(Academic Degrees)
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.
|
Vínculos profissionais
(Professional Positions)
Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência |
Jul/2015-Actual |
Assistente de Investigação |
Set/2015-Actual |
Professor Auxiliar |
Set/2012-Fev/2013 |
Assistente |
Set/2011-Fev/2012 |
Outra Situação |
Set/2009-Fev/2010 |
Outra Situação |
Nov/2014-Jun/2015 |
Assistente de Investigação |
Set/2009-Out/2014 |
Assistente de Investigação |
Set/2013-Fev/2014 |
Assistente |
Atividades de Investigação e Desenvolvimento (Research and Development activities)
Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência |
Atividades de Ensino (Teaching activities)
Disciplinas lecionadas»Taught units:
- Laboratórios de Informática I(Docente)
- Programação Funcional(Docente)
- Informática Aplicada (LAD)(Docente)
|
Disciplinas lecionadas»Taught units:
- Laboratórios de Informática I(Docente)
- Especificação e Modelação(Docente)
|
Disciplinas lecionadas»Taught units:
- Laboratórios de Informática I(Docente)
|
Disciplinas lecionadas»Taught units:
- Laboratórios de Informática I(Monitor)
|
Disciplinas lecionadas»Taught units:
- Laboratórios de Informática I(Monitor)
|
Curso»Academic program: Licenciatura em Engenharia Informática Disciplinas lecionadas»Taught units:
- Laboratórios de Desenvolvimento de Software(Docente)
|
Atividades de Serviços técnicos especializados (Specialized technical services activities)
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 |
Linhas de Investigação (Research fields)
2. |
Consistency management in Model-driven Development |
|
|
3. |
Consistency management in Model-driven Development |
|
|
Projetos de Investigação (Research projects)
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
|
Línguas (Languages)
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). |
Prémios e títulos (Awards Prizes, and Honours)
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.
|
Membro de Associações Profissionais/Científicas (Professional/Scientific Association membership)
Set/2013 - Set/2014 |
ACM, Membro.
|
Produção científica, técnica e artística/cultural
(Scientific, technical and artistical/cultural
production)
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
Trabalho técnico Technical work |
1. |
Macedo, Nuno; Cunha, Alcino. PTCRISync Specification: An ORCID-based Synchronization Framework for PTCRIS,2015 (Relatório de consultoria).
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
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. |
Dados Complementares (Additional data)
Tese de Doutoramento Phd Thesis |
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 |
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 |
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
2. |
Nuno Macedo. Software and Systems Modeling, desde 2017/06/15, Função ou tipo de participação: Reviewer, Editora: Springer.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
3. |
Nuno Macedo. IEEE Transactions on Industrial Informatics, desde 2017/06/01, Função ou tipo de participação: Reviewer, Editora: IEEE.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
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.
![Homepage da produção](/wayback/20210614004643im_/http://www.degois.pt/imagens/degois/home16.png) |
Indicadores de produção
(Production indicators)
Produção científica
Scientific production |
Produção técnica
Technical production |
Dados complementares
data |
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 |
Produção técnica Technical production |
28 |
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 |
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 |
Outras informações relevantes
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.
|
Visualizações do curriculum [
2381
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
14-06-2021
às
01:46:51
|
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team |
|