Login

Projects

Incentives for safety agreement compliance in AI Race

FLI AI race Concluded

01/09/2018 - 31/08/2020

Team

Luís Moniz Pereira, Han The Anh, Tom Lenaerts,

An Interactive Platform for Speech Therapy with Visual Bio-feedback

BioVisualSpeech Concluded

01/04/2016 - 31/03/2020

Team

Sofia Cavaco, João Magalhães,

From monitoring global media to context-aware recommendation

GoLocal Concluded

01/03/2016 - 28/02/2020

Team

João Magalhães, Nuno Preguiça, Rodrigo Rodrigues,

Modeling Socio-Cyber-Physical Systems

MSCPS Concluded

29/01/2020 - 29/01/2020

Team

Vasco Amaral, Stefan Sauer, Ana Moreira, Ankica Barisic, Jácome Cunha, João Araújo, Miguel Goulão, Gregor Engels, Bahar Jazayeri, Zahra Nouri,

An Environment for Live Construction of Trustworthy Software

CLAY Concluded

01/07/2016 - 31/12/2019

Team

Luis Caires, João Costa Seco, Teresa Romão, Nuno Preguiça, João Costa Seco, Carlos Viegas Damásio,

Lightweight Computation for Networks at the Edge

LightKone Concluded

01/01/2017 - 31/12/2019

Team

Nuno Preguiça, João Leitão, Carla Ferreira, Henrique Domingos, Sérgio Duarte, Bernardo Ferreira, Gonçalo Tomás, Pedro Ákos Costa, Pedro Fouto, Guilherme Borges, Maria Cecília Gomes,

Extending Horizons of Computing

Reversible Computation Concluded

30/04/2015 - 29/04/2019

Team

Carla Ferreira, Luis Caires,

ICT COST Action IC1406 – High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)

Chipset Concluded

30/04/2015 - 01/04/2019

Team

Joanna Kolodziej, Vasco Amaral, Miguel Goulão,

Bridging Theory and Practice: Update Semantics and Multi-shot ASP

USMA Concluded

01/04/2017 - 31/03/2019

Team

João Leite, Torsten Schaub, Matthias Knorr, Ricardo Gonçalves, Carlos Lopes, Martin Gebser, Philipp Obermeier, Javier Romero, Orkunt Sabuncu,

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

IGF-CITIUS-LOSJ Concluded

01/10/2018 - 29/03/2019

Team

Henrique Domingos,