About

The High-Assurance Software Laboratory (HASLab) is one of the integrated R&D centres of INESC TEC, a leading national associate laboratory, and a teaching and research subunit of the University of Minho, where it is headquartered.

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. HASLab accomplishes its mission within the Computer Science Cluster of INESC TEC, anchoring its research 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.