The HASLab is focused on the design and implementation of high-assurance software systems, software that is correct by design and resilient to environment faults and malicious attacks.

Research at the HASLab is anchored on a rigorous approach to three areas of Computer Science: Software Engineering, Distributed Systems, and Cryptography and Information Security. The HASLab contributions to these areas range from fundamental research on formal methods and algorithms, to applied research on developing tools and middleware that addresses real-world demands stemming from long-term collaborations with the industry. The HASLab is a research unit of University of Minho and associated to INESC TEC. The laboratory is mainly based at the University of Minho, in Braga, with members at Porto, Beira Interior, Radboud Nijmegen and Teesside universities.