Selected Experience

Selected Projects

  • ENACTEST: European Innovation Alliance for Testing Education (2022 - 2025) – Research Team Member
  • PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security Software (2021 - 2022) – Research Team Member
    • CMU Portugal Exploratory Research Project funded by FCT under contract CMU/TIC/0006/2019 (€69,994)
  • Cloud Computing Competence Centre, in Covilhã, Portugal (2019-Feb 2020)
    • Ref. WP4.1: Use and impact of cloud computing on public regional and local administration – Scientific Leader (€51,000)
    • Ref. WP4.2: Use and impact of cloud computing in the social sector - Research Team Member (€51,000)
    • Ref. WP4.4: Security services for public clouds in the context of public administration - Research Team Member (€51,000)
  • Data Automation for Supplier Information Management and Supplier Contract Management (2017 - 2018) - Academic Lead
    • Knowledge Exchange Internship co-funded by Innovate Tees Valley, European Regional Development Fund (ERDF) (approximately £20,000)
  • Review: an Innovative Intelligent Evidence Exploration System (Jan 2015-Sept 2017) - Research Team Member
    • Knowledge Transfer Partnership co-funded by Innovate UK (£147,354)
  • MathIS: Reinvigorating Mathematics for the Information Society} (2009-2012) - Research Team Member
    • Funded by FCT under contract PTDC/EIA/73252/2006 (€54,000)
  • GORDA: Open Replication of Database (2004-2005) - Research Team Member
    • Funded by the European Community under the Sixth European Union Framework Programme for Research and Technological Development under contract 004758 (€1,250,000), thematic priority Information Society Technologies
  • CAMILA project has been funded by JNICT contract Ref. 169/90.

Selected Service

Program Committee Member

  • ICST 2024, 2025 - IEEE International Conference on Software Testing, Verification and Validation
  • ICSE 2024 - IEEE/ACM International Conference on Software Engineering
  • PADL 2024 - International Symposium on Practical Aspects of Declarative Languages – Co-located with POPL 2024
  • FMTea 2019, 2023, 2024 - Formal Methods Teaching Workshop and Tutorial – Event affiliated with FM 2019, 2023, 2024
  • LEARNER 2023, 2024 - International Workshop on evaLuation and assEssment in softwARe eNgineers’ Education and tRaining Co-located EASE 2023, 2024
  • SOFT-PT, INForum 2022, 2023, 2024 - INForum — Simpósio de Informática)
  • SPLASH-E 2023 – Co-located with SPLASH 2023
  • A-TEST 2021, 2022, 2023 - Workshop on Automating TEST case Design, Selection and Evaluation – Co-located ESEC/FSE 2021, 2022, and ASE 2023
  • AIST 2023 - International Workshop on Artificial Intelligence in Software Testing – co-located with ICST 2023
  • PhD-iFM’22 - PhD Symposium at iFM 2022
  • RSDA 2021, 2022 - IEEE International Workshop on Reliability and Security Data Analysis – Co-located ISSRE 2021, 2022
  • ISS 2016, 2018, 2019 - ACM Interactive Surfaces and Spaces

Journal Editorial Board

  • Proceedings of the ACM on Human-Computer Interaction – Interactive Surfaces and Spaces, July Round, 2022 (PACMHCI ISS)
  • Proceedings of the ACM on Human-Computer Interaction – Interactive Surfaces and Spaces, February Round, 2022 (PACMHCI ISS)
  • Proceedings of the ACM on Human-Computer Interaction – Interactive Surfaces and Spaces, Summer Round, 2021 (PACMHCI ISS)

Organization of Technical-Scientific Events

  • Proceedings Chair: International Conference on the Quality of Information and Communications Technology 2024 (QUATIC 2024)
  • Steering Committee: International Workshop on Artificial Intelligence in Software Testing (AIST 2023, 2024) – Co-located with ICST
  • Organizer: International Workshop on Artificial Intelligence in Software Testing (AIST 2021, 2022, 2023, 2024) – Co-located ICST
  • Chair: International Workshop on Artificial Intelligence in Software Testing (AIST 2021, 2022) – Co-located with ICST
  • Organizer and Chair: Formal Methods Teaching Workshop and Tutorial (FMTea21) – affiliated with FM 2021
  • Organizer: Formal Methods Teaching Workshop and Tutorial (FMTea19), 2019, event affiliated with FM 2019, 3rd World Congress on Formal Methods
  • Organizer: of the Turing-Tape Games competition, an official event of the Alan Turing Year celebrations (2012)

Journal and Conference Reviewer

  • International Symposium on Formal Methods (FM 2019, 2024)
  • Expert Systems With Applications Journal, Elsevier, 2023
  • Journal of Logical and Algebraic Methods in Programming (JLAMP 2015, 2022), Elsevier
  • ACM Technical Symposium on Computing Science Education (SIGCSE 2017, 2018, 2019, 2020, 2021)
  • ACM International Conference on Tangible, Embedded and Embodied Interaction (TEI 2021)
  • ACM CHI PLAY 2018, 2019, 2020, 2021
  • International Symposium on Wearable Computers 2020 (ISWC 2020)
  • ACM Symposium on Virtual Reality Software and Technology 2020 (VRST 2020)
  • 22nd ACM International Conference on Multimodal Interaction (ICMI 2020)
  • International Conference on Knowledge Capture 2019 (K-Cap 2019)
  • ACM Interactive Surfaces and Spaces (ISS 2019)
  • Formal Methods Teaching Workshop and Tutorial (FMTea19)
  • 13th International Conference on Mathematics of Program Construction (MPC 2019)
  • 21st ACM International Conference on Multimodal Interaction (ICMI 2019)
  • 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2019)
  • 31st International Florida Artificial Intelligence Research Society Conference (FLAIRS-31), 2018
  • Journal of Science of Computer Programming (SCP 2017)
  • ACM Interactive Surfaces and Spaces (ISS 2016, 2018)
  • Brazilian Symposium on Programming Languages (SBLP 2015, 2016, 2018, 2019)