Atividade Financiada

Programação Concorrente Segura com Tipos de Sessão

Safe Concurrent Programming with Session Types

Referência
PTDC/CCI-COM/6453/2020

Data de Início do Projeto
2021-03-01

Data de Fim do Projeto
2024-08-31

Investigador Principal

Vasco Manuel Thudichum De Serpa Vasconcelos 1A13-F831-DC4F 0000-0002-9539-8861

Coinvestigador Principal

Andreia Filipa Torcarto Mordido Rodrigues 9E1A-712A-9824

Área Científica
Ciências exatas

Programa de Financiamento
Concurso para Financiamento de Projetos de Investigação Científica e Desenvolvimento Tecnológico em Todos os Domínios Científicos - 2020

Instituições

Instituições Principais

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências (Fciências.ID)
Universidade de Lisboa LASIGE Laboratório de Sistemas Informáticos de Grande Escala (LASIGE/FC/ULisboa)

Outras Instituições

Universidade de Lisboa Faculdade de Ciências (FCUL)

Financiamento 243.071,25 €

Fundação para a Ciência e a Tecnologia (FCT) - Portugal

243.071,25 €

2021-01-01 a 2025-12-31
https://doi.org/10.54499/PTDC/CCI-COM/6453/2020
PTDC/CCI-COM/6453/2020