Home HASLab About Us
Document Actions

About Us

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

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


The overarching objectives of HASLab are (1) to consolidate its position as an internationally recognised research lab on high-assurance software and (2) to strengthen the regional impact of the focus on high-assurance in software design, development, and deployment. These translate into the following strategic goals:

  • To extend the activity of HASLab to the later stages of the knowledge‐to‐value production chain;
  • To increase the effectiveness of complementarity within INESC TEC's Computer Science cluster and of multidisciplinary collaboration with other INESC TEC and University of Minho research units.
  • To give even more emphasis to topics on high-assurance software foundations and technologies in the syllabus of graduate programs.




HASLab +351 22 209 4000