Linkedin

Projects

ONGOING

Acronym Title Funding Entity Start Date End Date
HOFGA The Hardness of Finding Good Algorithms ERC 01/03/2023 29/02/2028
BEiNG-WISE Behavioral Next Generation in Wireless Networks for Cyber Security COST ACTION 22/05/2023 21/05/2027
VAPrevention Randomised controlled trial and economic evaluation of a person-centred digital intervention to prevent diabetes in high-risk adults FCT 09/03/2023 08/03/2026
Myriarch FraMewoRk for a multI-ARCHitecture Internet FCT 01/03/2023 28/02/2026
SMaRtChain Fast and Energy-efficient Distributed Consensus for Blockchains FCT 01/03/2023 28/02/2026
HfPT Health from Portugal PRR- Portuguese Resilience and Recovery Plan 01/02/2023 31/12/2025
Accelerat.ai Multi-lingual Conversational AI with Modern Contact Centers PRR- Portuguese Resilience and Recovery Plan 01/01/2023 31/12/2025
EuroProofNet European Research Network on Formal Proofs COST ACTION 11/10/2021 10/10/2025
IDEA-FAST Identify Digital Endpoints to Assess FAtigue, Sleep and acTivities of daily living IMI 01/11/2019 30/04/2025
SEEDS A holistic design of secure vehicular networks: communications, data caching and blockchain services EU 01/03/2021 28/02/2025
AIpALS Advanced LearnIng Models using Patient Profiles and Disease Progression Patterns for Prognostic Prediction in ALS FCT 01/03/2021 28/02/2025
FIND-PrEP Finding the optimal distribution of pre-exposure prophylaxis of HIV among sex workers, a computational modeling approach Portugal-France Bilateral Co-operation 2022 Programa Pessoa 15/02/2023 14/02/2025
DACOMICO Data Consistency in Microservices Compositions FCT 15/01/2022 14/01/2025
BRAINTEASER BRinging Artificial INTelligencE home for a better cAre of amyotrophic lateral sclerosis and multiple SclERosis EU H2020 01/01/2021 31/12/2024
KATY Knowledge At the Tip of Your fingers: Clinical Knowledge for Humanity EU H2020 01/01/2021 31/12/2024
CIRCLES Controlling mIcRobiomes CircuLations for bEtter food Systems EU H2020 01/11/2018 31/10/2024
a-STEP advancing Social inclusion through Technology and EmPowerment COST ACTION 14/10/2020 13/10/2024
LEAD-ME Leading Platform for European Citizens, Industries, Academia and Policymakers in Media Accessibility COST ACTION 13/10/2020 12/10/2024
SATO Self Assessment Towards Optimization of Building Energy EU H2020 01/10/2020 30/09/2024
CERCIRAS Connecting Education and Research Communities for an Innovative Resource Aware Society COST ACTION 29/09/2020 28/09/2024
DKG Distributed Knowledge Graphs COST ACTION 23/09/2020 22/09/2024
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024
SMART2B Smartness to existing Buildings EU H2020 01/09/2021 31/08/2024
AccessVR Virtual Reality Accessible to Visually Impaired People FCT 01/01/2023 30/06/2024
PlayFam Exploring Asymmetry and Modularity for Inclusive Game Design FCT 01/01/2023 30/06/2024
PAIR-LUNG Patient-derived lung cancer organoids for recreating tumor spread through AIR spaces phenomenon FCT 01/01/2023 30/04/2024
Ghost Dance A methodology for the analysis of dance movement in interaction with virtual reality FCT 01/05/2022 30/04/2024

PAST

Acronym Title Funding Entity Start Date End Date
THOR Computer Assisted Thoracic Assessment using POCUS FCT 01/03/2021 29/02/2024
LEMON LEtter learning through MOtor training: Neurocognitive specialization for the written code investigated with electrophysiological, eye-tracking, and computational tools FCT 01/03/2021 29/02/2024
RAP Resource Aware Programming FCT 13/01/2022 12/01/2024
LAIfeBlood Artificial Intelligence for Blood Management FCT 01/01/2020 31/12/2023
Wai-CooP Web Accessibility Initiative – Communities of Practice EU H2020 01/01/2021 31/12/2023
DL-CADET Deep multimodal Learning for breast CAncer DETection FCT 01/01/2022 30/12/2023
VEDLIoT Very Efficient Deep Learning IoT platform EU H2020 01/11/2020 31/10/2023
XIVT eXcellence In Variant Testing P2020 01/01/2020 30/06/2023
ThreatAdapt Adaptive Byzantine Fault and Intrusion Tolerance FCT 01/07/2019 30/06/2023
ADMORPH Adaptive, dynamically morphing, mission and safety-critical CPS EU H2020 01/01/2020 30/06/2023
MarCODE Development and Application of Biochemical Tools for Seafood Products Traceability MAR2020 Other 01/07/2020 30/06/2023
WideHealth Widening Research on Pervasive and eHealth EU H2020 01/01/2021 30/06/2023
ShiftHRI Exploring the Transfer of Agency to Older Adults in HRI FCT 01/03/2022 28/05/2023
DAnon Supervised Deanonymization of Dark Web Traffic for Cybercrime Investigation FCT 01/02/2022 31/01/2023
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023
Erasmus+ ACC ERASMUS+ Advanced Computing Consortium – HPC, HPDA, AI & HPV EU ERASMUS+ 01/10/2021 31/12/2022
uPVN User-Centric Programmable Virtual Networks FCT 01/10/2018 30/09/2022
AQUAMON Dependable Monitoring with Wireless Sensor Networks in Water Environments FCT 01/10/2018 30/09/2022
AWESOME Awareness While Experiencing and Surfing On Movies through Emotions FCT 01/10/2018 30/09/2022
DeST Deep Semantic Tagger FCT 01/10/2018 30/09/2022
OPTOX Development and validation of bio-optical ecotoxicological tests in marine phototrophs FCT 01/10/2018 30/09/2022
INTERPHENO Fostering High Throughput Plant Phenotyping by an Interdisciplinary Approach FCT 15/09/2018 14/09/2022
FoodParenting Food Parenting: study of a new web-based parent intervention FCT 01/09/2018 31/08/2022
Train4health Improving Healthcare Students’ Competences for Behaviour Change to Effectively Support Self-Care in Chronic Diseases EU ERASMUS+ 01/09/2019 31/08/2022
Cue Band wearable for Parkinson's Other 01/02/2021 31/07/2022
BINDER Improving Bio-Inspired Deep Learning for Radiomics FCT 01/10/2018 30/07/2022
GADgET Online Gambling Addiction Detection FCT 10/01/2019 09/07/2022
ModEst Modelação do Fluxo de Estudantes no Sistema de Ensino Português FCT 02/01/2019 01/07/2022
SEAL SEcurity progrAmming of web appLications FCT 01/08/2018 30/06/2022
iCare4U Decision support system for personalized medicine in ICUs FCT 01/06/2018 31/05/2022
mIDR Usable Intrusion Detection & Response on Personal Mobile Devices FCT 01/06/2018 28/02/2022
PREDICT Personalized therapy for RhEumatic DIseases via machine learning FCT 01/01/2019 31/12/2021
REDBOOK Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs FCT 01/10/2018 30/09/2021
SONAAR Social Networks Accessible Authoring EU 01/02/2020 31/07/2021
WAI-Tools Web Accessibility Initiative - Advanced Decision Support Tools for Scalable Web Accessibility Assessments EU H2020 01/11/2017 31/01/2021
SMiLax Semantic Mining with Linked Data FCT 01/07/2016 31/12/2020
INPLAY Designing games for inclusive play with the visually impaired and sighted FCT 16/03/2020 16/09/2020
NEUROCLINOMICS2 Unravelling Prognostic Markers in NEUROdegenerative diseases through CLINical and OMICS data integration FCT 01/07/2016 31/03/2020
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
FAULTLocker FAULT LOCalization and repair toolKit for dEpendable softwaRe FCT 01/09/2018 03/03/2020
doit Decentralization and Optimization of IoT aware business processes FCT 01/07/2016 31/12/2019
IRCoC Intelligent Resilience for Cloud-of-Clouds Services FCT 01/07/2016 31/12/2019
Abyss Autonomic Byzantine Fault-Tolerant Systems FCT 01/07/2016 31/12/2019
PERSEIDS PERSEIDS – PERSONALIZING CANCER THERAPY THROUGH INTEGRATED MODELING FCT 17/06/2016 16/12/2019
MIMED Mining the Molecular Metric Space for Drug Design FCT 01/06/2016 30/11/2019
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
DiSIEM Diversity Enhancements for SIEMs EU H2020 01/09/2016 31/08/2019
RESISTIR Sistema de Informação para controlo de infecção inteligente e antibioterapia personalizada P2020 01/04/2016 01/04/2019
ALHTOUR Assisted Living Technologies for the Health Tourism Sector EU H2020 01/01/2016 31/12/2018
NORTH Non-intrusive Observation and RunTime verification of cyber-pHysical systems FCT 01/01/2017 31/12/2018
ACCESSMONITOR Sistema Online de Monitorização das Práticas de Acessibilidade dos sítios Web da Administração Pública Portuguesa FCT 20/12/2017 20/12/2018
ARVI Runtime Verification beyond Monitoring COST ACTION 17/12/2014 18/12/2018
AGEISM AGEISM - a multi-national, interdisciplinary perspective COST ACTION 19/11/2014 18/11/2018
PersonAAL Personalized web applications to improve quality of life and remote care for older adults AAL | FCT 01/10/2015 30/09/2018
RSC Smart Grids Resilient Supervision and Control in Smart Grids FCT 01/03/2016 28/02/2018
SUPERCLOUD User-Centric Management of Security and Dependability in Clouds of Clouds EU H2020 01/02/2015 31/01/2018
SAT-Based Techniques for Automated Graph Construction SAT-Based Techniques for Automated Graph Construction INDUSTRY 04/01/2016 03/01/2018
SEGRID Security for smart Electricity GRIDs EU FP7 01/10/2014 31/12/2017
ParIS Strategic partnership in Information Security EU ERASMUS+ 01/10/2014 30/09/2017
ASTARTE Assessment, STrategy And Risk reduction for Tsunamis in Europe EU FP7 01/11/2013 30/04/2017
Static Verification of Safe Parallelism Static Verification of Safe Parallelism FLAD 01/01/2016 31/12/2016
BETTY BETTY - Behavioural types for reliable large-scale software systems COST ACTION 26/10/2012 25/10/2016
ITACA Innovation Technologies and Applications for Coastal Archaeological sites EU FP7 12/12/2013 01/08/2016
SANS Self-Adaptating NoSQL Stores FCT 02/01/2015 01/01/2016
Biobank Cloud Scalable, Secure Storage of Biobank Data EU FP7 01/12/2012 30/11/2015
ARTS ARTS - Towards Autonomic Road Transport Support Systems COST ACTION 22/09/2011 31/10/2015
LIVENESS LIVENESS - Liveness, statically FCT 20/03/2012 19/09/2015
READAPT Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications FCT 01/06/2013 31/05/2015
TASK ENVIRONMENT TASK ENVIRONMENT - Simulated Task Enviroment for Collaborative Systems Evaluation FCT 01/03/2012 28/02/2015
KARYON Kernel-based Architecture for safety-critical cONtrol EU FP7 01/10/2011 31/12/2014
MULTICORE MULTICORE - Advanced Type Systems for Multicore Programming FCT 01/01/2012 31/12/2014
SAPIENT Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems FCT 01/01/2012 31/12/2014
PROPHECY PROPHECY: Proactive Fault Tolerance for Time and Space Partitioning Hypervisors FCT 01/01/2012 31/12/2014
SOMER SOMER - Semantic Ontology Matching using External Resources FCT 19/03/2012 31/10/2014
SITAN SITAN - Services for Intrusion Tolerant Ad Hoc Networks FCT 01/04/2011 30/09/2014
MACAW MACAW - Macroprogramming for Wireless Sensor Networks FCT 01/03/2011 31/08/2014
SP-Net SP-Net - In silico reconstruction of Streptococcus pneumoniae cellular networks and their impact on virulence FCT 01/01/2011 30/06/2014
SecFuNet SecFuNet - Security for Future Networks EU FP7 01/05/2011 30/04/2014
ADAAS ADAAS - Assuring Dependability in Architecture-based Adaptive Systems FCT 01/10/2010 31/03/2014
TRONE Trustworthy and Resilient Operations in a Network Environment FCT 01/10/2010 31/03/2014
ImTV On-Demand Immersive-TV for Communities of Media Producers and Consumers FCT 01/09/2010 28/02/2014
RC-Clouds Resilient Computing in the Clouds FCT 01/01/2011 31/12/2013
NAADIR A new approach on architectural drawings integrating computer descriptions FCT 01/04/2010 31/10/2013
MASSIF MASSIF - MAnagement of Security information and events in Service InFrastructures EU FP7 01/10/2010 30/09/2013
TClouds Trustworthy Clouds Privacy and Resilience for Internet-scale Critical Infrastructure EU FP7 01/10/2010 30/09/2013
REACTION Retrieval, Extraction, and Aggregation Computing Technology for Integrating and Organizing News FCT 01/01/2010 30/09/2013
EPIWork EPIWork - Developing the Framwork for an Epidemic Forecast Infrastructure EU FP7 01/02/2009 31/07/2013
RAPS Reading Analysis with neuroPhysiological Signals FCT 02/01/2011 01/07/2013
InSiThe In-Situ Therapy Support FCT 01/01/2010 30/06/2013
PATI IoT-Aware business Processes FCT 01/01/2010 30/06/2013
QualWeb Large-scale Web Accessibility Evaluations FCT 01/01/2010 30/06/2013
SInteliGIS Intelligent Geographic Information Services FCT 01/01/2011 30/06/2013
VISTA Vision based Touch interaction Anywhere FCT 01/01/2010 31/03/2013
GUIDE Gentle User Interfaces for Disabled and Elderly Citizens EU FP7 01/02/2010 31/01/2013
ARIA Ambient-assisted Reading Interfaces for the Ageing-society FCT 01/01/2010 31/12/2012
INTERFACES Certified Interfaces for Integrity and Security of Extensible Web Applications FCT 01/05/2009 31/12/2012
QUEST A Quest for Reliability in Generic Software Components FCT 01/01/2010 31/12/2012
REGENESYS Regeneration of Replicated Systems FCT 01/01/2010 31/12/2012
CMUPORT CMUPORT - CMU-Portugal Research and Education Partnership FCT 27/10/2007 31/08/2012
VIRUS Video Information Retieval Using Subtitles FCT 01/01/2010 30/06/2012
ReD Resilient Database Clusters FCT 01/04/2010 31/03/2012
ACCESSIBLE Assessment, STrategy And Risk reduction for Tsunamis in Europe EU FP7 01/09/2008 28/02/2012
AssertionTypes Assertion Types for Object-Oriented Programming FCT 01/01/2010 31/12/2011
CloudFIT CloudFIT - Fault and Intrusion Tolerance for Cloud Computing FCT 01/01/2010 31/12/2011
DIVERSE Diversity for Intrusion Tolerant Systems FCT 01/01/2010 31/12/2011
SACIM Situation Awareness in Critical Incident Management FCT 01/01/2010 31/12/2011
CALLAS Calculi and Languages for Sensor Networks FCT 01/01/2008 31/12/2010
ARN Algorithms for the identification of genetic Regulatory Networks FCT 01/11/2007 31/10/2010
GREASE II Geographic Reasoning for Search Engines II FCT 01/11/2007 31/10/2010
A-CSCW Attentive CSCW FCT 15/06/2007 30/10/2010
REDICO Dynamic Reconfiguration of Communication Protocols FCT 01/10/2007 30/09/2010
PASTRAMY Persistent and highly Available Software TRansactional MemorY FCT 01/09/2007 31/08/2010
GeoVIS Visualization of Geo-referenced Information FCT 15/10/2007 31/07/2010
FOGOS Decision support tools for integrating fire and forest management planning FCT 04/06/2007 31/03/2010
SENSORIA SENSORIA - Software Engineering for Service-Oriented Overlay Computers EU FP6 01/09/2005 28/02/2010
FTH-Grid Fault-Tolerant Hierarchical Grid Scheduling 01/01/2009 31/12/2009
AIR-II ARINC 653 In Space RTOS - Industrial Initiative ESA 01/01/2008 31/12/2009
DYNAMO Dynamo - Dynamic Communication Networks COST ACTION 27/01/2005 26/05/2009
MiNEMA MiNEMA - Middleware for Network Eccentric and Mobile Applications ESF 01/09/2003 31/03/2009
ReSIST NoE ReSIST - Resilience for Survability in IST (Nework of Excellence) EU FP6 01/01/2006 31/03/2009
HIDENETS HIghly DEpendable ip-based NETworks and Services EU FP6 02/01/2006 01/01/2009
LINGUATECA Linguateca - Centro de Recursos Distribuído para a Língua Portuguesa FCT 16/12/2006 31/12/2008
CRUTIAL CRitical UTility InfrastructurAL resilience EU FP6 01/01/2006 31/12/2008
ESFORS European Security Forum for Web Services, Software and Systems EU FP6 01/10/2005 30/09/2008
JoinTS Joint psychological TherapieS FCT 01/06/2005 31/07/2008
P-SON Probabilistically-Structured Overlay Networks FCT 01/07/2005 30/06/2008
E-Voting E-Voting - A new Architectural Framework for Handling Risk in E-Voting Systems FCT 01/06/2005 31/05/2008
MiCAS Middleware for Context-aware and Adaptive Systems FCT 01/04/2005 31/05/2008
GORDA GORDA: Open Replication of Databases EU FP6 01/10/2004 31/03/2008
DARIO Distributed Agency for Reliable Input/Output FCT 01/03/2005 28/02/2008
RiCoBA Rich Content Books for All FCT 01/06/2005 31/12/2007
TACID Timely ACID Transactions in DBMS FCT 01/08/2005 31/07/2007
GREASE Geographic Reasoning for Search Engines FCT 01/01/2004 30/06/2007
WrCK Wearable Collaboration Kit. FCT 01/07/2005 30/06/2007
AJECT Attack Injection on Software Components FCT 01/05/2005 30/04/2007
RITAS Randomized Intrusion Tolerance for Asynchronous Systems FCT 01/03/2005 28/02/2007
AIR ARINC 653 Interface in RTEMS ESA 01/09/2006 28/02/2007
SecurIST Security IST Projects cluster support EU FP6 01/11/2004 31/01/2007
SCOPE Supporting Cognition Outlines on Psychological Evaluation FCT 15/03/2004 31/12/2006
StrongRep Strongly Consistent Replicated Databases for Geographically Large-Scale Systems FCT 01/01/2004 31/12/2006
RUMOR RUMOR: Probabilistic Semantically Reliable Protocols FCT 01/06/2002 30/11/2005
COPE COPE: Secure and Reliable Parallel Processing FCT 01/04/2002 31/03/2005
IPSOM Indexing, Integration and Sound Retrieval in Multimedia Documents FCT 14/11/2000 31/12/2004
CORTEX CO-operating Real-time senTient objects: architecture and EXperimental evaluation EU FP6 01/04/2001 30/09/2004
IndiQoS IndiQoS: Quality of service in indirect communication systems FCT 01/07/2002 30/06/2004
CaberNet NoE CaberNet: Network of Excellence in Distributed and Dependable Computing Systems EU FP5 01/01/2001 31/03/2004
DEFEATS Distributed Fault and Attack Tolerant Systems Configuration FCT 01/01/2001 31/12/2003
MOOSCo MOO with Separation of Concerns FCT 01/01/2001 31/12/2003
XMLBase XMLBase - Semi-Structured Data Managemen FCT 01/01/2002 31/12/2003
SHIFT SHIFT: Group Communication with Differentiated Messages 01/04/2001 30/09/2003
MAFTIA MAFTIA: Malicious- and Accidental-Fault Tolerance for Internet Applications EU FP5 01/01/2000 31/12/2002
GLOBDATA GLOBDATA: An efficient software tool for global data access EU FP5 01/11/2000 31/10/2002
SAVE SAVE: Educational Audio Visual Production and Dissemination Systems FCT 01/03/2001 01/09/2002
DEAR-COTS Distributed Embedded Architectures using Commercial Off-The-Shelf Components FCT 01/10/1999 30/09/2001
MICRA A Model for the Development of Mission Critical Applications FCT 01/09/1999 31/08/2001
TOPCOM Topology-Aware Reliable Group Communication in Geographically Large-Scale Systems FCT 01/09/1999 31/08/2001