RAP |
Resource Aware Programming |
FCT |
13/01/2022 |
12/01/2024 |
CAMELOT |
Autonomic platform for Machine Learning using anonymized data |
P2020 |
01/07/2020 |
01/01/2023 |
EUTypes |
The European Research Network on Types for Programming and Verification |
COST ACTION |
24/03/2016 |
20/03/2020 |
CONFIDENT |
Communication Contracts for Distributed Systems Development |
FCT |
01/05/2016 |
31/10/2019 |
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 |
LIVENESS |
LIVENESS - Liveness, statically |
FCT |
20/03/2012 |
19/09/2015 |
MULTICORE |
MULTICORE - Advanced Type Systems for Multicore Programming |
FCT |
01/01/2012 |
31/12/2014 |
QUEST |
A Quest for Reliability in Generic Software Components |
FCT |
01/01/2010 |
31/12/2012 |
AssertionTypes |
Assertion Types for Object-Oriented Programming |
FCT |
01/01/2010 |
31/12/2011 |
SENSORIA |
SENSORIA - Software Engineering for Service-Oriented Overlay Computers |
EU FP6 |
01/09/2005 |
28/02/2010 |