Curriculum Vitae

Nuno Filipe Moreira Macedo

Data da última atualização »Last update : 18/02/2019


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


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

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





Atividades de Investigação e Desenvolvimento (Research and Development activities)
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






Atividades de Ensino (Teaching activities)
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)






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)
1. Safe Robotic Software
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).

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.

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.





Dados Complementares (Additional data)


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.







Indicadores de produção (Production indicators)

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


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 [ 2333 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 12-03-2021 às 04:30:10
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team
Co-Autores Relacionados no DeGóis (1)
 Co-authors listed in Degóis
Colaboração em projetos no DeGóis (1)
 Project collaboration in Degóis