At HASLab, we anchor our research on a rigorous approach to three areas of Computer Science: Software Engineering, Distributed Systems, and Cryptography and Information Security.
Our contributions to these areas range from fundamental research on formal methods and algorithms, to applied research on the development of tools and middleware that address real-world demands stemming from long-term collaborations with industry.
Improving the RAID platform, a system marketed by the telecommunications analyst Mobileum for the comprehensive risk management in companies, thus making it compatible with 5G networks and edge computing. This is the objective of the AIDA project.
18th September 2020
The mobile application of the CoronaSurveys project, which includes the participation of Carlos Baquero, researcher at INESC TEC and UMinho’s High-Assurance Software Laboratory (HASLab), is already available for Android and iOS; the initiative is taking place in 150 different countries.
28th July 2020
The European project LightKone, developed in partnership with INESC TEC’s High-Assurance Software Laboratory (HASLab), obtained a positive score in the European Commission’s final evaluation. According to the reviewers, “the project provided valuable results for the scientific community”.
20th July 2020
On June 23, José Manuel Valença, senior researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and retired Full Professor at the UMinho School of Engineering, received the title of Emeritus Professor of said Institution.
20th July 2020
Advanced computing (High Performance Computing - HPC) provides more resources and better performance than ordinary computers, in order to solve complex engineering and scientific problems, while contributing to technological developments in several areas, such as healthcare, environment and natural sciences.
01st July 2020
