Projects
Ongoing
- Ainur: Evaluation of crash-consistency guarantees in multi-threaded PM applications (Principal Investigator)(FCT PTDC/CCI-COM/4485/2021)
- TRUSTyFOOD - Stakeholders-driven pathways for blockchain implementation in the agri-food sector (Local Coordinator)(EU H2020 101060534)
- Portal de Livranças Digitais - INCM (Principal Investigator)(Imprensa-Nacional Casa da Moeda)
- Scalable Cosmos Consensus (Principal Investigator)(Composable Foundation)
- ParallelCosmWasm (Principal Investigator)(Composable Foundation)
Finished
- Angainor - Reproducible Evaluation and Fault Injection of Large-Scale Distributed Systems (Principal Investigator)(FCT LISBOA-01-0145-FEDER-031456)
- ACT-PM: Automating Crash-Consistency Testing for Persistent Memory (Principal Investigator) (UTA-EXPL/CA/0080/2019)
- Qualichain: Decentralised Qualifications’ Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation (EU H2020 grant agreement No 822404.)
- SafeCloud (Horizon 2020/DS-2014-1/653884)
- LeanBigData: Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics (FP7-619606)
- CoherentPaaS: A Coherent and Rich PaaS with a Common Programming Model (FP7-611068)
- Stratus: A Layered Approach to Data Management in the Cloud (PTDC/EIA-CCO/115570/2009)
- OSS as a Service. (QREN/PT Inovação 2014-2016)
- COSS-II: Gestão Integrada de Serviços Cloud com os Sistemas de Suporte às Operações II (Plano de Inovação PT Inovação 2012-2013)
- COSS: Gestão Integrada de Serviços Cloud com os Sistemas de Suporte às Operações (Plano de Inovação PT Inovação 2011-2012)
- OSS: Aprovisionamento de Serviços Cloud Computing (Plano de Inovação PT Inovação 2011-2013)
- DC2MS Dependable Cloud Computing Management Services(IRA/CW118736)
- P-SON: Probabilistically-Structured Overlay Networks (POSC/EIA/60941/2004)
- GORDA: Open Replication of Databases (FP6-IST2-004758)