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
Computer Science and Engineering Research Centre (LASIGE/FC/ULisboa)
Equipa
Investigador Responsável
Vasco Manuel Thudichum de Serpa 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