DSR @ HASLab


Distributed Storage research (DSR) is a team of researchers from the HASLab research center, specifically from the Distributed Systems group. We leverage our knowledge of storage, operating, and distributed systems to build efficient, scalable, resilient, and secure storage solutions capable of handling the demands of modern applications and infrastructures.

Meet the team

HASLab CENTER


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

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 laboratory’s contributions to these areas range from fundamental research on formal methods and algorithms to applied research on tools and middleware that address real-world demands stemming from long-term collaborations with industry.

LOCATION



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