Vasco Vasconcelos

Profile Picture of Vasco Vasconcelos


Acronym Title Funding Entity Start Date End Date
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 29/02/2024
RAP Resource Aware Programming FCT 13/01/2022 12/07/2023
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023


Acronym Title Funding Entity Start Date End Date
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