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.
INESC TEC, through the Centre for Enterprise Systems Engineering (CESE) and the High-assurance Software Laboratory (HASLab), participates in the CircThread project – Building the Digital Thread for Circular Economy Product, Resource & Service Management.
14th January 2021
The article GreenHub: A Large-Scale Collaborative Dataset to Battery Consumption Analysis of Android Devices, written by Rui Pereira and Marco Couto from INESC TEC and UMinho’s High-Assurance Software Laboratory (HASLab), presents a thorough analysis of more than 23 million of samples of data from Android smartphones, in order to understand the efficiency of battery consumption.
22nd December 2020
On December 18, the High-assurance Software Laboratory (HASLab), part of INESC TEC and UMinho, participated in the programme “The Best Student at UMinho 2020”, namely in the activity “The science behind the STAYAWAY COVID app”, which featured more of 15 participants, from schools in the northern region of Portugal.
22nd December 2020
The CoronaSurveys project, with Carlos Baquero – researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and professor at UMinho -, was one of the five finalists of the international competition COVID-19 Symptom Data Challenge.
17th December 2020
The applications STAYAWAY COVID and Psicovida, both developed by INESC TEC researchers, received an honourable mention in the category "Application of the year", of the “Os Melhores do Portugal Tecnológico” awards, granted by Exame Informática magazine.
19th November 2020
