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.
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
On June 3 and 4, José Creissac Campos, senior researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and lecturer at the School of Engineering of the University of Minho, concluded the habilitation exams at UMinho, with unanimous approval by the members of the jury.
22nd June 2020
For the first time ever, INESC TEC obtained a software patent in the United States of America, thanks to the technology used in the mobile cryptocurrency wallet developed by the spin-off Keyruptive.
15th June 2020
An international team of researchers, including INESC TEC’s collaborator at the High Assurance Software Laboratory (HASLab), Carlos Baquero, developed an open social media survey in order to estimate the number of confirmed cases with COVID-19 symptoms and monitor their evolution in eleven countries.
15th April 2020
Nowadays, database management and updating is a key concern for large companies. In order to perform said critical tasks, the purchase of dedicated hardware is the solution found by most organisations; however, this leads to expenses in terms of hardware management and maintenance, and often the need to allocate human resources. Now, there’s a cloud platform that aims to meet the market demands, with a more reliable and cost-effective technology that can be updated in real time.
11th January 2020
