Selected Experience

Selected Projects

  • 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

Conference Program Committee Member

  • International Conference on Smart Applications and Data Analysis for Smart Cities 2020 (SADASC’20)
  • 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

  • ACM Technical Symposium on Computing Science Education (SIGCSE 2020), 2020
  • International Conference on Knowledge Capture 2019 (K-Cap 2019), 2019
  • ACM Interactive Surfaces and Spaces (ISS 2019), 2019
  • Formal Methods Teaching Workshop and Tutorial (FMTea19), 2019
  • ACM CHI PLAY, 2019
  • 13th International Conference on Mathematics of Program Construction (MPC 2019), 2019
  • Brazilian Symposium on Programming Languages (SBLP 2019), 2019
  • 21st ACM International Conference on Multimodal Interaction (ICMI 2019), 2019
  • 3rd International Symposium on Formal Methods (FM 2019), 2019
  • 17th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2019) 2019
  • ACM Technical Symposium on Computing Science Education (SIGCSE 2019), 2019
  • ACM Interactive Surfaces and Spaces (ISS 2018), 2018
  • ACM CHI PLAY, 2018
  • Brazilian Symposium on Programming Languages (SBLP 2018), 2018
  • 31st International Florida Artificial Intelligence Research Society Conference (FLAIRS-31), 2018
  • ACM Technical Symposium on Computing Science Education (SIGCSE 2018), 2018
  • Journal of Science of Computer Programming, 2017
  • ACM Technical Symposium on Computing Science Education (SIGCSE 2017), 2017
  • ACM Interactive Surfaces and Spaces (ISS 2016), 2016
  • Brazilian Symposium on Programming Languages (SBLP 2016), 2016
  • Journal of Logical and Algebraic Methods in Programming (JLAMP), Elsevier, 2015
  • Brazilian Symposium on Programming Languages (SBLP 2015), 2015