Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso de Projectos de Investigação Científica e Desenvolvimento Tecnológico em todos os Domínios Científicos - 2010

Sistemas de Tipos Avançados para Programação Multicore

PTDC/EIA-CCO/122547/2010

Área Científica Principal
Engenharia Informática - Ciências da Computação
Palavras Chave
Linguagens de Programação
Programação Multicore
Sistema de Tipos
Verificação Estática
Financiamento
€ 101 023,00
Instituições
Instituição Proponente
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Unidade de Investigação Principal
Laboratório de Sistemas Informáticos de Grande Escala (LASIGE/FC/ULisboa)
Equipa
Investigador Responsável
Vasco Thudichum Vasconcelos
Investigadores
Eduardo Resende Brandão Marques
Francisco Cipriano da Cunha Martins
Joana Correia Campos
Tiago Soares Cogumbreiro Garcia
Dimitris Mostrous
Roberto Rosa da Silva