???global.info.a_carregar???
Nuno Macedo. Completed the PhD in Computer Science in 2014 by the Universidades do Minho, Aveiro e Porto, the MSc in Informatics in 2010 by the Universidade do Minho and the BSc in Informatics Engineering in 2008 by the Universidade do 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 the Universidade do Minho. He published 6 articles in journals, 9 book chapters and 15 conference papers. Her organized 2 event and participated in 26. He supervised 2 PhD theses and 8 MSc dissertations. Has received 4 awards and/or honors. Participates and/or participated as PhD Student Fellow in 1 project, Pos-doctoral Fellow in 3 projects and Researcher in 4 projects. He works in the area of Computer and Information Sciences with emphasis on Computer Sciences, and his main research focus is trustworthy software design. In his professional activities he interacted with 37 collaborators in the co-authorship of scientific papers. In his curriculum Ciência Vitae the most frequent terms in the context of scientific, technological and artistic-cultural output are: Lightweight formal methods; Model checking; Model finding; Formal specification; Software design; Robotic software; Verification and Validation.
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 Informatics (Mestrado)
Universidade do Minho, Portugal
"Reasoning about Alloy Specifications using Point-free Calculus" (THESIS/DISSERTATION)
2005/09 - 2008/08
Concluded
BSc in Informatics Engineering (Licenciatura)
Universidade do Minho, Portugal
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. Chong Liu; Nuno Macedo; Alcino Cunha. 2019. "Simplifying the analysis of software design variants with a colorful Alloy". In Proceedings of the 3rd IEEE International Conference on Robotic Computing (IRC'19). Springer. http://www.scopus.com/inward/record.url?eid=2-s2.0-85076718162&partnerID=MN8TOARS.
    10.1007/978-3-030-35540-1_3
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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. Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo. 2019. "Simulation under arbitrary temporal logic constraints". In Proceedings 5th Workshop on Formal Integrated Development Environment (F-IDE@FM'19): Workshop on Formal Integrated Development Environment (F-IDE), Porto, Portugal, 63-69. EPTCS.
    Published • 10.4204/EPTCS.310.7
  2. André Santos; Alcino Cunha; Nuno Macedo. 2019. "Static-time extraction and analysis of the ROS computation graph". In Proceedings of the 3rd IEEE International Conference on Robotic Computing (IRC'19): IEEE International Conference on Robotic Computing (IRC), Naples, Italy, 62-69. IEEE.
    Published • 10.1109/irc.2019.00018
  3. 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
  4. 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
  5. 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
  6. 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.
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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. Alcino Cunha; Nuno Macedo. 2019. "Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum". International Journal on Software Tools for Technology Transfer. http://www.scopus.com/inward/record.url?eid=2-s2.0-85074019856&partnerID=MN8TOARS.
    Accepted • 10.1007/s10009-019-00540-4
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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". http://arxiv.org/abs/1603.03599.
  2. Nuno Macedo; Tiago Jorge; Alcino Cunha. 2015. "A Feature-based Classification of Model Repair Approaches". 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". 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". https://nmacedo.github.io/pubs/HASLab12.pdf.
  5. Nuno Macedo; Alcino Cunha. 2012. "Automatic unbounded verification of Alloy specifications with Prover9". http://arxiv.org/abs/1209.5773.

Other

Other output
  1. Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, DC. 2019. Sharing and Learning Alloy on the Web.
  2. Pacheco, H; Macedo, N. 2019. ROSY: An elegant language to teach the pure reactive nature of robot programming.
  3. Nuno Macedo; Alcino Cunha. 2016. PTCRISync (Software). A synchronization framework for national CRIS ecosystems. https://github.com/fccn/PTCRISync.
  4. Nuno Macedo. 2016. Pardinus (Software). A model finder for temporal relational logic. https://github.com/haslab/Pardinus.
  5. 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/.
  6. 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)
2019/10 Formal software design with Alloy and Electrum: Methodology and tips Formal software design with Alloy and Electrum (Tutorial@FM'19)
INESC TEC - Institute for Systems and Computer Engineering, Technology and Science (Porto, Portugal)
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 multidirectional 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
2019/09 - Current Application of Formal Analysis Techniques to Robotic Software
Supervisor of Gonçalo Duarte
Informatics Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2019/09 - Current A Formal Methods Perspective on NoSQL Distributed Transactions
Co-supervisor of Patrícia Barreira
Informatics Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2019/09 - Current Towards a Quantitative Alloy
Co-supervisor of Pedro Silva
Informatics Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2018/09 - Current Analysis of Message Passing Software Using Electrum
Supervisor of Bruno Carvalho
Informatics Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal
2017/09 - Current Lightweight Trustworthy Software High-level Design
Supervisor of Chong Liu
Computer Science (PhD)
Universidade do Minho Escola de Engenharia, Portugal
2016/09 - Current Safety Verification for ROS Software
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
Informatics 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
Informatics 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
Informatics 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
Informatics Engineering (Master)
Universidade do Minho Escola de Engenharia, Portugal

Event organisation

Event name
Type of event (Role)
Institution / Organization
2020 - 2020 Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components @ ICRA'2020 (2020/05 - 2020/06)
Workshop (Member of the Scientific Committee)
Sorbonne Université, France
2019 - 2019 Tutorial on Formal software design with Alloy and Electrum @FM'19 (2019/10 - 2019/10)
Other (Co-organisor)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Office National d’Études et de Recherches Aérospatiales, France

Event participation

Activity description
Type of event
Event name
Institution / Organization
2019/07 - 2019/07 Tutor in the Summer on Campus programme
Workshop
Summer on Campus
Universidade do Minho, Portugal
2018/12 - 2018/12 Participation in the 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
2020 - 2020 8th International Conference on Formal Methods in Software Engineering (FormaliSE) (Subreviewer) Seoul, Korea
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
2020/02 - 2020/07 Cálculo de Programas Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2019/09 - 2020/02 Especificação e Modelação Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2019/09 - 2020/02 Especificação e Modelação Mathematics and Computation (Mestrado) Universidade do Minho Escola de Ciências, Portugal
2019/09 - 2020/02 Laboratórios de Informática I Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2019/02 - 2019/07 Programação Imperativa Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2019/02 - 2019/07 Programação Imperativa Computer Science (Licenciatura) Universidade do Minho Escola de Ciências, Portugal
2018/09 - 2019/02 Especificação e Modelação Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2018/09 - 2019/02 Especificação e Modelação Mathematics and Computation (Mestrado) Universidade do Minho Escola de Ciências, Portugal
2018/02 - 2018/07 Programação Imperativa Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2017/09 - 2018/02 Programação Funcional Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2017/09 - 2018/02 Laboratórios de Informática I Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2017/02 - 2017/07 Informática Aplicada (LAD) Applied Languages (Licenciatura) Universidade do Minho Instituto de Letras e Ciências Humanas, Portugal
2016/09 - 2017/02 Laboratórios de Informática I Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2016/09 - 2017/02 Programação Funcional Physics Engineering (Mestrado integrado) Universidade do Minho Escola de Ciências, Portugal
2016/09 - 2017/02 Programação Funcional Computer Science (Licenciatura) Universidade do Minho Escola de Ciências, Portugal
2015/09 - 2016/02 Laboratórios de Informática I Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2015/09 - 2016/02 Especificação e Modelação Informatics Engineering (Mestrado integrado) Universidade do Minho Escola de Engenharia, Portugal
2015/09 - 2016/02 Especificação e Modelação Mathematics and Computation (Mestrado) Universidade do Minho Escola de Ciências, Portugal
2013/09 - 2014/02 Laboratórios de Desenvolvimento de Software Informatics Engineering (Licenciatura) Instituto Politecnico do Porto Escola Superior de Tecnologia e Gestão, Portugal
2012/09 - 2013/02 Laboratórios de Informática I Informatics Engineering (Licenciatura) Universidade do Minho Escola de Engenharia, Portugal
2011/09 - 2012/02 Laboratórios de Informática I Informatics Engineering (Licenciatura) Universidade do Minho Escola de Engenharia, Portugal
2009/09 - 2010/02 Laboratórios de Informática I Informatics Engineering (Licenciatura) Universidade do Minho Escola de Engenharia, Portugal

Journal scientific committee

Journal title (ISSN) Publisher
2017 - 2020 Journal of Systems and Software (Reviewer) (0164-1212) Elsevier
2019 - 2019 ACM Transactions on Software Engineering and Methodology (Reviewer) (1049-331X) ACM
2019 - 2019 PLoS ONE (Reviewer) (1932-6203) Public Library of Science
2017 - 2019 Software & Systems Modeling (Reviewer) (1619-1366) Springer
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