Facebook
Twitter
Linkedin
LASIGE
About LASIGE
Organisation
Awards and Recognition
Highlights
Events
News
Talks
Research Lines
Accessibility and Ageing
Cyber‐Physical Systems
Data and Systems Intelligence
Health and Biomedical Informatics
Reliable Software Systems
Resilient Distributed and Networked Systems
Research & Innovation
Software & Tools
Projects
Publications
Partners
Innovation
Members
Integrated Researchers
PhD Collaborators
Collaborators
PhD Students
MSc Students
Undergraduate Students
Staff
Former Members
Positions
Select Page
Member
Diana Costa
Info
Projects
Email
dfdcosta (at) ciencias.ulisboa.pt
Room
6.3.39
Category
PhD Collaborator
Research Lines
Reliable Software Systems
ONGOING
Acronym
Title
Funding Entity
Start Date
End Date
SafeSessions
Safe Concurrent Programming with Session Types
FCT
01/03/2021
29/02/2024
Year
Start Year
to
End Year