A investigação no HASLab está ancorada numa abordagem rigorosa a três áreas da Informática: Engenharia de Software, Sistemas Distribuídos e Criptografia e Segurança da Informação. As contribuições do HASLab para estas áreas vão desde a investigação fundamental em métodos formais e algoritmos, à investigação aplicada no desenvolvimento de ferramentas e middleware que respondem a necessidades reais de colaborações duradouras com a indústria. O HASLab é um laboratório de investigação da Universidade do Minho e associado ao INESC TEC. O laboratório é sediado na Universidade do Minho, em Braga, com membros das universidades do Porto, Beira Interior, Radboud Nijmegen e Teesside.  

OBJETIVOS ESTRATÉGICOS

O HASLab tem como objetivos de fundo (1) consolidar a sua posição como um laboratório de investigação em software confiável reconhecido internacionalmente e (2) reforçar o impacto regional da aposta no desenvolvimento e adoção de software confiável. Estes objetivos traduzem-se em:

• Extensão da atividade do HASLab às últimas etapas da cadeia de produção conhecimento-valor.
  
• Aumento da eficácia na complementaridade no seio do cluster de Informática do INESC TEC e na colaboração multidisciplinar com outros centros do INESC TEC e da Universidade do Minho.
  
• Dar ainda maior ênfase aos fundamentos e tecnologias do software confiável nos programas dos vários ciclos de estudo.

Link: http://haslab.uminho.pt/