Secções
  Entrada HASLab Apresentação HASLAB
Acções do Documento

Apresentação HASLab

O HASLab dedica-se à conceção e implementação de sistemas de software confiável, i.e. software correto na conceção e resiliente a faltas ambientais e a ataques maliciosos.

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/

 

destaque.jpg
destaque.jpg
anuncio-site
anuncio-contactos

Contactos

HASLAB +351 22 209 4000