???global.info.a_carregar???
Nuno Macedo has completed the MAP-i Doctoral Program in Computer Science in 2014/10 by the Universities of Minho, Aveiro and Porto, MSc in Computer Science in 2010/09 by the University of Minho and BSc in Computer Engineering in 2008/08 by the University of Minho. He is a Contracted Researcher in the Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência and an Invited Assistant Professor in Universidade do Minho. He published 5 articles in journals. He has 8 book chapters. He participated in 2 events. He co-supervised 2 PhD theses. He supervised 2 MSc dissertations and co-supervised 3. He has received 4 awards and/or honours. He participates and/or participated as PhD Student Fellow in 1 project, Post-doctoral Fellow in 3 projects and Researcher in 3 projects. He works in the area of Exact Sciences with emphasis on Computer Sciences. In his professional activities he interacted with 28 collaborators in the co-authorship of scientific papers. In his curriculum Ciência Vitae the most frequent terms in the context of scientific output are: Alloy; Bidirectional transformation; Scenario exploration; Static code analysis; Verification and validation; Software quality; Lightweight formal methods; Robotic software; Software engineering; Functional Programming; Formal specification; Model checking; Cyber-physical systems; Model finding.
Identification

Personal identification

Full name
Nuno Macedo

Citation names

  • Nuno Macedo

Author identifiers

Ciência ID
AC11-B15D-DDBD
ORCID iD
0000-0002-4817-948X
Google Scholar ID
reE2X6IAAAAJ
Researcher Id
A-1539-2013
Scopus Author Id
55415518200

Websites

  • http://nmacedo.github.io (Scholar)
  • https://haslab.uminho.pt/nmacedo (Scholar)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
Education
Degree Classification
2010/09 - 2014/10
Concluded
MAP-i Doctoral Program in Computer Science (Doutoramento)
Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade do Porto, Portugal
"A Relational Approach to Bidirectional Transformation" (THESIS/DISSERTATION)
2008/09 - 2010/09
Concluded
MSc in Computer Science (Mestrado)
Universidade do Minho, Portugal
"Reasoning about Alloy Specifications using Point-free Calculus" (THESIS/DISSERTATION)
17
2005/09 - 2008/08
Concluded
BSc in Computer Engineering (Licenciatura)
Universidade do Minho, Portugal
17
Affiliation

Science

2018/09 - Current Contracted Researcher (Research)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2015/07 - 2018/08 Postdoc (Research)
Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência, Portugal
2014/11 - 2015/06 Postdoc (Research)
Universidade do Minho, Portugal
2009/09 - 2014/10 Researcher (Research)
Universidade do Minho, Portugal

Teaching in Higher Education

2015/09 - Current Invited Assistant Professor (University Teacher)
Universidade do Minho, Portugal
2013/09 - 2014/02 Invited Assistant (Polytechnic Teacher)
Instituto Politecnico do Porto Escola Superior de Tecnologia e Gestão, Portugal
2012/09 - 2013/02 Assistente Convidado (University Teacher)
Universidade do Minho, Portugal
2011/09 - 2012/02 Tutor (University Teacher)
Universidade do Minho, Portugal
2009/09 - 2010/02 Tutor (University Teacher)
Universidade do Minho, Portugal
Projects

Grant

Designation Funders
2010 - 2014/08 A Relational Approach to Bidirectional Transformation
SFRH/BD/69585/2010
PhD Student Fellow
Universidade do Minho Escola de Engenharia, Portugal
European Regional Development Fund

Fundação para a Ciência e a Tecnologia

Contract

Designation Funders
2018 - Current SAFER - Safety Verification for Robotic Software
POCI-01-0145-FEDER-029583
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
European Regional Development Fund

Fundação para a Ciência e a Tecnologia
2016 - Current TRUST - Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Researcher
Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência, Portugal

Universidade do Minho, Portugal

Office National d’Études et de Recherches Aérospatiales, France
Education Research and Development Foundation

Fundação para a Ciência e a Tecnologia
2017 - 2018/08 InteGrid - Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders
H2020 no. 731218
Pos-doctoral Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

EDP, Portugal

SAP SE, Germany
European Union
2016 - 2016/12 NanoSTIMA RL1 - Macro-to-Nano Human Sensing Technologies
NORTE-01-0145-FEDER-000016
Pos-doctoral Fellow
Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência, Portugal
European Regional Development Fund

Fundação para a Ciência e a Tecnologia
2014 - 2015/06 BEST CASE RL8 - Languages and Tools for Critical Real-time Systems
NORTE-07-0124-FEDER-000062
Pos-doctoral Fellow
Universidade do Minho, Portugal
European Regional Development Fund

Fundação para a Ciência e a Tecnologia
2012 - 2014/06 FATBIT - Foundations, Applications and Tools for Bidirectional Transformation
FCOMP-01-0124-FEDER-020532
Researcher
Universidade do Minho, Portugal
European Regional Development Fund

Fundação para a Ciência e a Tecnologia

Other

Designation Funders
2018 - Current VORTEX - CoLAB on Cyber-Physical Systems and Cyber Security
00000
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Altran Portugal, Portugal

Universidade Nova de Lisboa, Portugal

Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
Fundação para a Ciência e a Tecnologia
Outputs

Publications

Book chapter
  1. Julien Brunel; David Chemouil; Alcino Cunha; Thomas Hujsa; Nuno Macedo; Jeanne Tawa. 2018. "Proposition of an action layer for Electrum". In Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ'18), 397-402. Springer. https://doi.org/10.1007/978-3-319-91271-4_30.
    Published • 10.1007/978-3-319-91271-4_30
  2. Alcino Cunha; Nuno Macedo. 2018. "Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum". In Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ'18), 307-321. Springer. https://doi.org/10.1007/978-3-319-91271-4_21.
    Published • 10.1007/978-3-319-91271-4_21
  3. Nuno Macedo; Alcino Cunha. 2017. "Exploiting partial knowledge for efficient model analysis". In 15th International Symposium on Automated Technology for Verification and Analysis (ATVA'17), 344-362. Springer. https://doi.org/10.1007/978-3-319-68167-2_23.
    Published • 10.1007/978-3-319-68167-2_23
  4. Orlando Belo; Bruno Oliveira; Nuno Macedo. 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. Springer. https://doi.org/10.1007/978-3-319-45547-1_13.
    Published • 10.1007/978-3-319-45547-1_13
  5. Nuno Macedo; Alcino Cunha; Tiago Guimarães. 2015. "Exploring scenario exploration". In Proceedings of the 18th International Conference on Fundamental Approaches on Software Engineering (FASE'15), 301-315. Springer. https://doi.org/10.1007/978-3-662-46675-9_20.
    Published • 10.1007/978-3-662-46675-9_20
  6. Alcino Cunha; Nuno Macedo; Tiago Guimarães. 2014. "Target oriented relational model finding". In Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE'14), 17-31. Springer. https://doi.org/10.1007/978-3-642-54804-8_2.
    Published • 10.1007/978-3-642-54804-8_2
  7. Nuno Macedo; Alcino Cunha. 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. Springer. https://doi.org/10.1007/978-3-642-37057-1_22.
    Published • 10.1007/978-3-642-37057-1_22
  8. Nuno Macedo; Hugo Pacheco; Alcino Cunha. 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. Springer. https://doi.org/10.1007/978-3-642-33314-9_10.
    Published • 10.1007/978-3-642-33314-9_10
Conference paper
  1. André Santos; Alcino Cunha; Nuno Macedo. 2018. "Property-based testing for the robot operating system". In Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST@ESEC/SIGSOFT FSE'18): ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST), Lake Buena Vista, FL, United States, 56-62. ACM.
    Published • 10.1145/3278186.3278195
  2. Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo. 2018. "The Electrum Analyzer: Model checking relational first-order temporal specifications". In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE'18): ACM/IEEE International Conference on Automated Software Engineering (ASE), 884-887. Montpellier, France: ACM.
    Published • 10.1145/3238147.3240475
  3. Rui Couto; José Creissac Campos; Nuno Macedo; Alcino Cunha. 2018. "Improving the visualization of Alloy instances". In Proceedings of the 4th Workshop on Formal Integrated Development Environment (F-IDE@FLoC'18): Workshop on Formal Integrated Development Environment (F-IDE), Oxford, United Kingdom, 37-52. EPTCS.
    Published • 10.4204/EPTCS.284.4
  4. Mariana Carvalho; Nuno Macedo; Orlando Belo. 2017. "Checking the correctness of what-if scenarios". Paper presented in 11th IFIP WG 8.9 Working Conference (CONFENIS'17), Shangai, China.
  5. André Santos; Alcino Cunha; Nuno Macedo; Rafael Arrais; Filipe Neves dos Santos. 2017. "Mining the usage patterns of ROS primitives". In 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'17): IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Vancouver, Canada, 3855-3860. IEEE.
    Published • 10.1109/iros.2017.8206237
  6. Raju Halder; José Proença; Nuno Macedo; André Santos. 2017. "Formal verification of ROS-based robotic applications using timed-automata". In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE@ICSE'17): IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE), Buenos Aires, Argentina, 44-50. IEEE.
    Published • 10.1109/FormaliSE.2017.9
  7. Nuno Macedo; Julien Brunel; David Chemouil; Alcino Cunha; Denis Kuperberg. 2016. "Lightweight specification and analysis of dynamic systems with rich configurations". In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'16): ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), Seattle, WA, United States, 373-383. ACM.
    Published • 10.1145/2950290.2950318
  8. André Santos; Alcino Cunha; Nuno Macedo; Cláudio Lourenço. 2016. "A framework for quality assessment of ROS repositories". In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'16): IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Daejeon, South Korea, 4491-4496. IEEE.
    Published • 10.1109/iros.2016.7759661
  9. João M. Moreira; Alcino Cunha; Nuno Macedo. 2015. "An ORCID based synchronization framework for a national CRIS ecosystem". Paper presented in ORCID-Casrai Joint Conference, Barcelona, Spain.
    Published
  10. Nuno Macedo; Hugo Pacheco; Nuno Rocha Sousa; Alcino Cunha. 2014. "Bidirectional spreadsheet formulas". In Proceedings of the 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'14): IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Melbourne, Australia, 161-168. IEEE.
    Published • 10.1109/VLHCC.2014.6883041
  11. Nuno Macedo; Alcino Cunha; Hugo Pacheco. 2014. "Towards a framework for multidirectional model transformations". In Proceedings of the 3rd International Workshop on Bidirectional Transformations (BX'14): International Workshop on Bidirectional Transformations (BX), Athens, Greece, 71-74. CEUR.
    Published
  12. Nuno Macedo; Tiago Guimarães; Alcino Cunha. 2013. "Model repair and transformation with Echo". In Proceedings 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13): IEEE/ACM International Conference on Automated Software Engineering (ASE), Palo Alto, CA, United States, 694-697. IEEE.
    Published • 10.1109/ASE.2013.6693135
  13. Nuno Macedo; Hugo Pacheco; Alcino Cunha; José N. Oliveira. 2013. "Composing least-change lenses". Paper presented in International Workshop on Bidirectional Transformations (BX), Roma, Italy.
    Published
Journal article
  1. José Bacelar Almeida; Manuel Alcino Cunha; Nuno Macedo; Hugo Pacheco; José Proença. 2018. "Teaching how to program using automated assessment and functional glossy games (experience report)". Proceedings of the ACM on Programming Languages 2 (ICFP): 82:1-82:17. http://dx.doi.org/10.1145/3236777.
    Published • 10.1145/3236777
  2. Nuno Macedo; Tiago Jorge; Alcino Cunha. 2017. "A feature-based classification of model repair approaches". IEEE Transactions on Software Engineering 43 (7): 615-640. http://dx.doi.org/10.1109/tse.2016.2620145.
    Published • 10.1109/tse.2016.2620145
  3. Nuno Macedo; Alcino Cunha. 2016. "Least-change bidirectional model transformation with QVT-R and ATL". Software & Systems Modeling 15 (3): 783-810. http://dx.doi.org/10.1007/s10270-014-0437-x.
    10.1007/s10270-014-0437-x
  4. João M. Moreira; Alcino Cunha; Nuno Macedo. 2015. "An ORCID based synchronization framework for a national CRIS ecosystem". F1000Research 4 (181): 1-11. http://f1000research.com/articles/4-181/.
    Published • 10.12688/f1000research.6499.1
  5. Nuno Macedo; Hugo Pacheco; Alcino Cunha; José N. Oliveira. 2013. "Composing least-change lenses". Electronic Communications of the EASST (57): 1-19. https://doi.org/10.14279/tuj.eceasst.57.868.
    Published • 10.14279/tuj.eceasst.57.868.862
Report
  1. Nuno Macedo; Alcino Cunha. 2016. PTCRISync Specification: An ORCID-based Synchronization Framework for PTCRIS. https://github.com/fccn/PTCRISync/wiki/tech/report_v0_4_3.pdf.
Thesis / Dissertation
  1. Nuno Macedo. 2014. "A Relational Approach to Bidirectional Transformation". PhD Thesis.
  2. Nuno Macedo. 2010. "Translating Alloy Specifications to the Point-free Style". Master's Diss..
Working paper
  1. Nuno Macedo; Alcino Cunha. 2016. "Alloy meets TLA+: An exploratory study". 2016. http://arxiv.org/abs/1603.03599.
  2. Nuno Macedo; Tiago Jorge; Alcino Cunha. 2015. "A Feature-based Classification of Model Repair Approaches". 2015. http://arxiv.org/abs/1504.03947.
  3. Hugo Pacheco; Nuno Macedo; Alcino Cunha; Janis Voigtländer. 2013. "A generic scheme and properties of bidirectional transformation". 2013. http://arxiv.org/abs/1306.4473.
  4. Nuno Macedo; Hugo Pacheco; Alcino Cunha. 2012. "Relations as executable specifications: Taming partiality and non-determinism using invariants". 2012. https://nmacedo.github.io/pubs/HASLab12.pdf.
  5. Nuno Macedo; Alcino Cunha. 2012. "Automatic unbounded verification of Alloy specifications with Prover9". 2012. http://arxiv.org/abs/1209.5773.

Other

Other output
  1. Nuno Macedo; Alcino Cunha. 2016. PTCRISync (Software). A synchronization framework for national CRIS ecosystems. https://github.com/fccn/PTCRISync.
  2. Nuno Macedo. 2016. Pardinus (Software). A model finder for temporal relational logic. https://github.com/haslab/Pardinus.
  3. Nuno Macedo; Alcino Cunha; Julien Brunel; Denis Kuperberg; David Chemouil; Eduardo Pessoa. 2015. Electrum (Software). A model checker for relational first-order temporal specifications. http://haslab.github.io/Electrum/.
  4. Nuno Macedo; Tiago Guimarães; Alcino Cunha. 2013. Echo (Software). A tool for model repair and transformation. http://haslab.github.io/echo.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2018/06 Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (ABZ'18)
University of Southampton (Southampton, United Kingdom)
2018/05 On extending Kodkod to support temporal features and scenario exploration Workshop on the Future of Alloy
Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory (Cambridge, MA, United States)
2017/10 Exploiting Partial Knowledge for Efficient Model Analysis 15th International Symposium on Automated Technology for Verification and Analysis (ATVA'17)
Tata Consultancy Services (Pune, India)
2016/11 Lightweight specification and analysis of dynamic systems with rich configurations 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'16)
(Seattle, United States)
2015/04 Exploring Scenario Exploration 18th International Conference on Fundamental Approaches to Software Engineering (FASE'15)
Queen Mary University of London (London, United Kingdom)
2014/07 Bidirectional Spreadsheet Formulas 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'14)
Swinburne University of Technology (Melbourne, Australia)
2014/03 Towards a Framework for Multi-directional Model Transformations 3rd International Workshop on Bidirectional Transformations (BX'14)
University of Crete (Athens, Greece)
2013/11 Model Repair and Transformation with Echo 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13)
Stinger Ghaffarian Technologies (Palo Alto, United States)
2013/03 Implementing QVT-R Bidirectional Model Transformations Using Alloy 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13)
Sapienza, University of Rome (Rome, Italy)
2012/09 Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS'12)
Universidade de Cambridge (Cambridge, United Kingdom)

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2018/09 - Current Analysis of Message Passing Software Using Electrum
Supervisor of Bruno Carvalho
Computer Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2017/09 - Current Lightweight Trustworthy Software High-level Design
Co-supervisor of Chong Liu
Computer Science (PhD)
Universidade do Minho Escola de Engenharia, Portugal
2016/09 - Current Safety Verification for ROS Software
Co-supervisor of André Santos
Computer Science (PhD)
Universidade do Minho Escola de Engenharia, Portugal
2016/09 - 2017/09 A Web-based Social Environment for Alloy
Co-supervisor of José Pereira
Computer Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2016/09 - 2017/09 Parallel Verification of Dynamic Systems with Rich Configurations
Supervisor of Eduardo Pessoa
Computer Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2015/09 - 2016/09 Software Quality for the Robot Operating System
Co-supervisor of Miguel Costa
Computer Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2015/09 - 2016/09 Applying Coding Standards to the Robot Operating System
Co-supervisor of André Santos
Computer Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal

Event participation

Activity description
Type of event
Event name
Institution / Organization
2018/12 - 2018/12 Participation in Dagstuhl Seminar on Multidirectional Transformations
Seminar
Dagstuhl Seminar 18491
Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH, Germany
2018/04 - 2018/04 Participation in the Workshop on the Future of Alloy
Workshop
Workshop on the Future of Alloy
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, United States
2017/04 - 2017/04 Participation in the "Arquiteturas de Informação em Ensino Superior e Ciência" workshop
Workshop
Workshop em Arquiteturas de Informação em Ensino Superior e Ciência
Secretaria de Estado da Ciência, Tecnologia e Ensino Superior, Portugal
2017/04 - 2017/04 Tutor in the Best Students programme
Workshop
Best Students programme
Universidade do Minho, Portugal

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
2016/12 Parallel verification of Dynamic Systems with Rich Configuration
Supervisor
Eduardo Pessoa (Master)
Universidade do Minho Escola de Engenharia, Portugal

Conference scientific committee

Conference name Conference host
2018 - 2018 23st International Symposium on Formal Methods (FM 2018) (Subreviewer) Oxford, UK
2017 - 2017 6th International Workshop on Bidirectional Transformations (BX 2017) (Subreviewer) Uppsala, Sweden
2016 - 2016 21st International Symposium on Formal Methods (FM 2016) (Subreviewer) Limassol, Cyprus
2015 - 2015 4th International Workshop on Bidirectional Transformations (BX 2015) (Subreviewer) L'Aquila, Italy
2015 - 2015 18th Brazilian Symposium on Formal Methods: Foundations and Applications (SBMF 2015) (Subreviewer) Belo Horizonte, Brazil
2014 - 2014 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2014) (Subreviewer) Toulouse, France

Consulting

Activity description Institution / Organization
2015/05 - 2017/12 Consultancy on the trustworthy design and development of PTCRISync Fundacao para a Computacao Cientifica Nacional, Portugal

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2019/02 - 2019/07 Programação Imperativa Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2019/02 - 2019/07 Programação Imperativa Ciências da Computação (Licenciatura) Universidade do Minho Escola de Ciências, Portugal
2018/09 - 2019/02 Especificação e Modelação Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2018/09 - 2019/02 Especificação e Modelação Matemática e Computação (Mestrado) Universidade do Minho Escola de Ciências, Portugal
2018/02 - 2018/07 Programação Imperativa Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2017/09 - 2018/02 Programação Funcional Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2017/09 - 2018/02 Laboratórios de Informática I Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2017/02 - 2017/07 Informática Aplicada (LAD) Línguas Aplicadas (Licenciatura) Universidade do Minho Instituto de Letras e Ciências Humanas, Portugal
2016/09 - 2017/02 Laboratórios de Informática I Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2016/09 - 2017/02 Programação Funcional Engenharia Física (Mestrado integrado) Universidade do Minho Escola de Ciências, Portugal
2016/09 - 2017/02 Programação Funcional Ciências da Computação (Licenciatura) Universidade do Minho Escola de Ciências, Portugal
2015/09 - 2016/02 Laboratórios de Informática I Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2015/09 - 2016/02 Especificação e Modelação Engenharia Informática (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2015/09 - 2016/02 Especificação e Modelação Matemática e Computação (Mestrado) Universidade do Minho Escola de Ciências, Portugal
2013/09 - 2014/02 Laboratórios de Desenvolvimento de Software Engenharia Informática (Licenciatura) Instituto Politecnico do Porto Escola Superior de Tecnologia e Gestão, Portugal
2012/09 - 2013/02 Laboratórios de Informática I Engenharia Informática (Licenciatura) Universidade do Minho Escola de Engenharia, Portugal
2011/09 - 2012/02 Laboratórios de Informática I Engenharia Informática (Licenciatura) Universidade do Minho Escola de Engenharia, Portugal
2009/09 - 2010/02 Laboratórios de Informática I Engenharia Informática (Licenciatura) Universidade do Minho Escola de Engenharia, Portugal

Journal scientific committee

Journal title (ISSN) Publisher
2017 - Current Software & Systems Modeling (Reviewer) (1619-1366) Springer
2017 - 2017 Journal of Systems and Software (Reviewer) (0164-1212) Elsevier
2017 - 2017 IEEE Transactions on Industrial Informatics (Reviewer) (1551-3203) IEEE
2016 - 2016 Journal of Object Technology (Reviewer) (1660-1769) ETH Swiss Federal Institute of Technology