HASLab - High-Assurance Software Laboratory : [939] Statistics


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.

High-Assurance Software Laboratory (HASLab)

Universidade do Minho
Departamento de Informática
Campus de Gualtar
4710-057 Braga

T: (+351) 253 604 470
F: (+351) 253 604 471
E: info@haslab.pt
W: http://haslab.uminho.pt