- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
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
O Laboratório de Software Confiável (HASLab), parceiro privilegiado do INESC TEC, iniciou durante o mês de março dois projetos na área de “cloud computing” com a Portugal Telecom Inovação (PT Inovação) e com a Eurotux S.A. O arranque destes dois projetos e o reconhecimento destes parceiros são a confirmação de um percurso de excelência que o grupo tem vindo a traçar nesta componente da informática.
23 maio 2014
O Laboratório de Software Confiável (HASLab) do INESC TEC foi escolhido para organizar a próxima edição do IEEE Symposium on Reliable Distributed Systems (SRDS). O evento terá lugar entre 1 e 3 de outubro de 2013 nas instalações da Universidade do Minho, em Braga.
23 maio 2014
O Laboratório de Software Confiável (HASLab), Parceiro Privilegiado do INESC TEC, recebeu e organizou no dia 30 de outubro um “Open Day” dirigido ao setor industrial e a empresas. No evento foram apresentados os resultados e as perspetivas de evolução das linhas de investigação do Laboratório, as teses de doutoramento em curso e ainda testemunhos de colaboração com empresas.
23 maio 2014