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
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)
Conference Program Committee Member
7th IEEE International Workshop on Reliability and Security Data Analysis (RSDA 2022) – Co-located with the 33nd Annual IEEE International Symposium on Software Reliability Engineering (ISSRE 2022)
13th Workshop on Automating TEST case Design, Selection and Evaluation (A-TEST 2022) – Co-located with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)
SOFT-PT, INForum 2022 (INForum — Simpósio de Informática)
Formal Methods Teaching Workshop and Tutorial (FMTea19), 2019 – Event affiliated with FM 2019, 3rd World Congress on Formal Methods
ACM Interactive Surfaces and Spaces (ISS 2019), 2019
ACM Interactive Surfaces and Spaces (ISS 2018), 2018
ACM Interactive Surfaces and Spaces (ISS 2016), 2016
Journal and Conference Reviewer
Journal of Logical and Algebraic Methods in Programming (JLAMP), Elsevier, 2022