Alcides Fonseca

Profile Picture of Alcides Fonseca


Acronym Title Funding Entity Start Date End Date
EuroProofNet European Research Network on Formal Proofs COST ACTION 11/10/2021 10/10/2025
DACOMICO Data Consistency in Microservices Compositions FCT 15/01/2022 14/01/2025
THOR Computer Assisted Thoracic Assessment using POCUS FCT 01/03/2021 29/02/2024
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


Acronym Title Funding Entity Start Date End Date
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023
Erasmus+ ACC ERASMUS+ Advanced Computing Consortium – HPC, HPDA, AI & HPV EU ERASMUS+ 01/10/2021 31/12/2022
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020