Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso para Projectos de Investigação Científica e de Desenvolvimento Tecnológico no âmbito do Programa CMU-Portugal - 2008

Aeminium: Libertar os Programadores das Garras da Sequencialidade

CMU-PT/SE/0038/2008

Área Científica Principal
Engenharia de software para a inovação nos serviços e sistemas adaptativos e com elevado desempenho
Palavras Chave
Engenharia de Software
Concorrência
Verificação de Software
Métodos Formais
Financiamento
€ 509 730,00
Projecto cofinanciado pelo COMPETE
Instituições
Instituição Proponente
Universidade de Coimbra (UC)
Instituições Participantes
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)
Unidade de Investigação Principal
Centro de Informática e Sistemas da Universidade de Coimbra (CISUC/FCT/UC)
Equipa
Investigador Responsável
Bruno Miguel Brás Cabral
Investigadores
Pedro Gustavo Santos Rodrigues Bizarro
Sven Stork
Nestor Catano Collazos
David Ribeiro Alves
Alcides Miguel Cachulo Aguiar Fonseca
Duarte Jorge Nóbrega Abreu
Bolseiros
Sukriti Bhattacharya
Inv. Responsável anterior
Paulo Jorge Pimenta Marques