- Menu
A team of INESC TEC researchers participates in the initiative ENSICO, Association for the Teaching of Computing, which aims to invest in the teaching of Computer Sciences in Portuguese schools, supporting the creation of innovative practices in the digital age, through new teaching tools, materials and learning software.
29th October 2020
The social distancing and lockdown measures imposed by the COVID-19 pandemic had an impact on individual well-being, namely psychological well-being. In order to address the needs of those who are most vulnerable, INESC TEC’s High-Assurance Software laboratory joined OutSystems and the Psychology Association of the University of Minho (APsi-UMinho) and developed a new mobile application to provide free psychological support to all those who need it, particularly due to the Covid-19.
06th October 2020
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
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
On December 19th, INESC TEC’s High-Assurance Software Laboratory (HASLab) welcomed six students from Braga, Guimarães, Santo Tirso and Terras de Bouro, who chose HASLab to discover and become familiar with the work of a researcher in the IT field. This event was part of the 2019 edition of the Best Student programme at UMinho.
07th January 2020