INESC TEC signs protocol with the University of Minho

The University of Minho (UMinho) is officially part of INESC TEC – INESC Technology and Science, a leading associate laboratory which hosts 12 R&D units and 600 researchers. The complex in Minho is called HASLab – High Assurance Software Laboratory, in Braga, which was created in 2010. The protocol was signed as part of the 37th anniversary of the University of Minho’s School of Engineering.

With a significant expertise in reliable software, HASLab was already a privileged partner of INESC TEC. This agreement provides a framework to managing cooperation on projects, services, R&D and advanced consultancy.

INESC TEC is also present in sites at the Faculty of Science of the University of Porto (FCUP), the Polytechnic Institute of Porto (ISEP/IPP) and the University of Trás-os-Montes e Alto Douro (UTAD). This agreement also strengthens the strategy Minho - Aveiro - Porto of the MAPi doctoral program, in which the Associate Laboratory participates.

The HASLab was created in 2010, from the Centre for Computer Science and Technology and the Department of Informatics at UMinho. With 60 researchers, including 21 PhDs, the R&D centre's main objective is to implement reliable systems, ensuring responsiveness, correctness, robustness and security.