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)
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
ICSE 2024, 2026 - IEEE/ACM International Conference on Software Engineering (CORE A*)
OOPSLA 2027 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (CORE A)
ASE 2026 - IEEE/ACM International Conference on Automated Software Engineering (CORE A*)
FM 2026 - International Symposium on Formal Methods (CORE B since 2026)
ISSTA 2026 - ACM SIGSOFT International Symposium on Software Testing and Analysis (CORE A)
FormaliSE 2026 - International Conference on Formal Methods in Software Engineering – Co-located with ICSE 2026
PADL 2024, 2026 - International Symposium on Practical Aspects of Declarative Languages – Co-located with POPL 2024 (CORE C)
ICST 2024, 2025, 2026 - IEEE International Conference on Software Testing, Verification and Validation
FMTea 2019, 2023, 2024 - Formal Methods Teaching Workshop and Tutorial – Event affiliated with FM 2019, 2023, 2024
LEARNER 2023, 2024, 2025 - International Workshop on evaLuation and assEssment in softwARe eNgineers’ Education and tRaining Co-located EASE 2023, 2024, 2025
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
Co-Chair: IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2027) – Co-located with ICSE27
Co-Chair: 4th International Workshop on evaLuation and assEssment in softwARe eNgineers’ Education and tRaining (LEARNER 2026) – Co-located with EASE26
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, 2025, 2026) – 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
Journal of Systems and Software (JSS 2026), Elsevier
IEEE Transactions on Software Engineering (TSE 2025)
ACM Transactions on Software Engineering and Methodology (TOSEM 2025), ACM
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