UMinho signs protocol with INESC TEC

The protocol was signed on Friday   

"Our skills and active contribution to the area of information technologies will bring attention to this associate laboratory, which has critical mass and a multidisciplinary experience in managing science", states Jorge Sousa Pinto, one of the coordinators of HASLab. The agreement will involve cooperation in the development of R&D projects, services and advanced consulting.

HASLab, the acronym for High Assurance Software Laboratory, was born from the Center for Computing Science and Technology and the Department of Informatics at UMinho. Its major goal is to implement reliable systems, ensuring responsiveness, accuracy, predictability, robustness and security. Directed by José Bernardo Barros, this R&D centre hosts 60 researchers (21 of them with PhD), who have won awards such as the IBM or Google Research Award.

HASLab has an extensive network of partners, including the universities of London, York and Nottingham (UK), CWI (Netherlands), Aalborg (Denmark), Fédérale de Lausanne (Switzerland) and the Institute of Aeronautics and Space (Brazil). Its industrial partners include the PT Innovation, Critical, Pathena, Multicert, Edisoft and Software Improvement Group.

INESC TEC is present in different sites at the universities of Porto, Minho, Trás-os-Montes e Alto Douro and the Polytechnic Institute of Porto. INESC TEC was created to act as an interface between the academic world, industry and society and to provide internationally competitive R&D in areas such as ICT, manufacturing engineering, energy management, industry, optoelectronics, robotics, artificial intelligence, real-time systems, computer science, critical systems and innovation.

Ciência Hoje, 16 October 2012