PROJECTS

UNICOS - Unifying Correctness for Communicating Software

1 Jan 2019 - 31 Dec 2023

BehAPI - Behavioural Application Program Interfaces

1 Nov 2018 - 1 Oct 2022

Adrian Francalanza, Marco Giunti

FORGET - Efficiently Forgetting What Needs to be Forgotten

1 Oct 2018 - 30 Sep 2021

João Leite, Matthias Knorr, Ricardo Gonçalves, João Leitão, Carla Ferreira, Carlos Viegas Damásio, José Júlio Alferes, Nuno Preguiça

NG-STORAGE - New Generation of Data Storage and Management Systems

1 Oct 2018 - 30 Sep 2021

João Leitão, Nuno Preguiça, Carla Ferreira, Sérgio Duarte, João Lourenço, Albert van der Linde, Pedro Fouto, Pedro Ákos Costa, Gonçalo Tomás, Luís Rodrigues

HADES - Hardware-backed trusted and scalable decentralized systems

1 Oct 2018 - 30 Sep 2021

Bernardo Ferreira, João Leitão, Henrique Domingos, Nuno Preguiça, Albert van der Linde, Manuel Barbosa, Bernardo Portela, Tiago Oliveira

MIMU - MIning MUlti-source and MUlti-modal geo-referenced information

1 Oct 2018 - 30 Sep 2021

João Moura Pires

BoostDFO - Improving the performance and moving to newer dimensions in Derivative-Free Optimization

1 Oct 2018 - 30 Sep 2021

Ana Luísa Custódio, Pedro Medeiros, Vítor Duarte

BRaNT - Belief Revision applied to Neurorehabilitation Therapy

1 Oct 2018 - 30 Sep 2021

Eduardo Fermé, Mónica Cameirão, Sergi Bermúdez i Badia

BRANT - Belief Bevision applied to Neurorehabilitation Therapy

1 Oct 2018 - 30 Sep 2021

IGF-CITIUS-LOSJ - Auditoria de Segurança e Qualidade de Sistemas Críticos (IGF/Ministério da Justiça)

1 Oct 2018 - 29 Mar 2019

Henrique Domingos, Henrique João Lopes Domingos, João Carlos Costa Seco

PRECISE - A correct by design methodology for available cloud applications

1 Oct 2018 - 30 Sep 2021

Carla Ferreira, Nuno Preguiça, Miguel Goulão, João Costa Seco, Sérgio Duarte, Valter Balegas

DeDuCe - Distributed Data-Centric Concurrency Control

1 Sep 2018 - 31 Aug 2021

Hervé Paulino, António Ravara, João Lourenço, Marco Giunti, Ana Almeida Matos