Chama-se SafeCloud e vai ser desenvolvido até 2018.
30 novembro 2015
Alexandra Silva, investigadora associada do Laboratório de Software Confiável (HASLab) do INESC TEC e professora associada na University College London, recebeu um financiamento de €1,5M do Conselho Europeu de Investigação para programar sistemas de redes complexos, uma área de estudo ligada à engenharia de software.
27 novembro 2015
José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Universidade do Minho, integrou em setembro o Conselho Científico das Ciências Exatas e da Engenharia (CCCEE) da Fundação para a Ciência e a Tecnologia (FCT).
09 novembro 2015
José Nuno Oliveira, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, foi homenageado, no dia 26 de setembro, num Festschrift Symposium. O investigador foi homenageado pelo seu papel pioneiro na aplicação de Métodos Formais na área de Engenharia de Software em Portugal.
14 outubro 2015
O Laboratório de Software Confiável (HASLab) do INESC TEC está a organizar a 15ª edição da RAMiCS – Conferência Internacional em Métodos Algébricos e Relacionais em Ciências da Computação, que decorre de 28 de setembro a 1 de outubro, na cidade de Braga.
09 outubro 2015
Manuel Barbosa, investigador no Laboratório de Software Confiável (HASLab) do INESC TEC, é o novo coordenador do HASLab desde o início de setembro. O investigador substitui assim Rui Oliveira, que integrou, a junho de 2015, o Conselho de Administração do INESC TEC. Manuel Alcino Pereira da Cunha, também investigador do HASLab, foi nomeado Coordenador Adjunto.
01 outubro 2015
O Laboratório de Software Confiável (HASLab) do INESC TEC organizou, na última semana de julho, a iniciativa Computação Sem Fronteiras, uma das atividades do programa Verão no Campus 2015 da Universidade do Minho.
28 setembro 2015
O Laboratório de Software Confiável (HASLab) do INESC TEC viu ser recentemente aprovado o projeto SafeCloud (Secure and Resilient Cloud Architecture), que conta com um orçamento de mais de três milhões de euros.
20 maio 2015
O Laboratório de Software Confiável (HASLab) do INESC TEC organizou, no dia 1 de abril, um Dia Aberto onde o objetivo era apresentar o trabalho de investigação em cada área de atuação do HASLab, assim como dar a palavra a algumas empresas que colaboram com este centro do INESC TEC.
14 abril 2015
LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), um projeto do Laboratório de Software Confiável (HASLab) e do Centro de Sistemas de Informação e Computação Gráfica (CSIG) do INESC TEC, foi premiado com o Prémio madri+d para Melhor Projeto europeu de I&D de Cooperação.
11 março 2015
O artigo “A survey and classification of storage deduplication systems”, dos investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC João Paulo e José Pereira, apresenta uma abordagem inovadora ao conceito de deduplicação e à sua utilização em serviços na cloud. O trabalho foi publicado recentemente na revista internacional com o maior fator de impacto na área de ciências da computação, a ACM Computing Surveys.
17 setembro 2014
Alexandre Madeira, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, conquistou o Prémio Científico IBM Portugal 2013, com o projeto "Hibridização de Lógicas: uma abordagem genérica à reconfigurabilidade de software".
15 julho 2014
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.