Selected Experience

Selected Projects

  • VeriFixer: Automated Repair for Verification-Aware Programming Languages (2025-2026) – Principal Investigator
    • Project focused on Dafny
    • Funded by the Portuguese Science Foundation (FCT) with reference 2023.15557.PEX (€49,354.41)
  • InfraGov: A Public Framework for Reliable and Secure IT Infrastructure (2025-2026) – Co-PI
    • Funded by Component 5 - Capitalization and Business Innovation, integrated in the Resilience Dimension of the Recovery and Resilience Plan within the scope of the Recovery and Resilience Mechanism (MRR) of the European Union (EU) framed in the Next Generation EU, with reference 2024.07411.IACDC (Global: €124,918.40, responsible for €54,711.20)
  • 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)