Facebook
Twitter
Linkedin
LASIGE
About LASIGE
Organisation
Awards and Recognition
Highlights
Events
News
Talks
Research Lines
Cyber‐Physical Systems
Data and Systems Intelligence
Dependable and Secure Decentralized Systems
Health and Biomedical Informatics
Inclusive Human-Computer Interaction
Reliable Software Systems
Theory of Computing
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
About
News
Projects
Email
dfdcosta (at) ciencias.ulisboa.pt
Room
6.3.39
Category
Integrated Researcher
Research Lines
Reliable Software Systems
Theory of Computing
Recent News
LASIGE research published in Theoretical Computer Science
LASIGE hosts SPLASH'2023
Invited talk @ DCC
LASIGE research published in Theoretical Computer Science
LASIGE hosts SPLASH'2023
Invited talk @ DCC
PAST
Acronym
Title
Funding Entity
Start Date
End Date
SafeSessions
Safe Concurrent Programming with Session Types
FCT
01/03/2021
31/08/2024
Year
Start Year
to
End Year