Alcides Fonseca
ONGOING
| 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 |
PAST
| 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 |