Linkedin

Member

Andreia Mordido

Profile Picture of Andreia Mordido

ONGOING

Acronym Title Funding Entity Start Date End Date
EuroProofNet European Research Network on Formal Proofs COST ACTION 11/10/2021 10/10/2025
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
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
to