Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu

News by High-Assurance Software

Computer Science

INESC TEC wins IN3 + Award

The project IDINA - Inclusive Non-Authoritative Digital Identity, INESC TEC’s High Assurance Software Laboratory (HASLab) is the winner of the IN3 + Award, promoted by the Portuguese Mint and Official Printing Office (INCM), of €600K. The project aims to create an effective and inclusive identification platform open to all citizens, in countries that do not have central identification systems (civil registration infrastructures).

30th March 2021

Computer Science

CoronaSurveys project acknowledged at international competition

The CoronaSurveys project, which aims to determine the prevalence of the pandemic in several countries, received an honourable mention and a prize of €3K (AWS - Amazon Web Services credits) at the “XPRIZE Pandemic Response Challenge”.

24th March 2021

Computer Science

INESC TEC project places NAU 21 in the top 10 Insurtech companies in Europe

The development of the SIS platform, in partnership with INESC TEC, led to NAU21 – a company incubated at UPTEC – being acknowledged as one of the 10 best Insurtech companies in Europe, according to Insurance CIO Outlook magazine. This platform aims to revolutionise the way people handle insurance-related matters, making processes simpler, faster and more direct.

05th March 2021

Computer Science

INESC TEC project is one of the five finalists of the IN3+ Award

The IDINA project, Inclusive Non-Authoritative Digital Identity, is one of the finalists of the third edition of the IN3+ Award, an initiative that aims to support the development of new ideas, promoted by the Portuguese Mint and Official Printing Office (INCM).

22nd February 2021

Industrial and Systems Engineering

INESC TEC participates in project focusing on circular economy

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

Computer Science

INESC TEC researchers help understanding the efficiency of battery consumption

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

Computer Science

HASLab participated in the programme “The Best Student at UMinho 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

Computer Science

CoronaSurveys project among the finalists of the COVID-19 Symptom Data Challenge

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


Mobile applications developed at INESC TEC awarded by Exame Informática

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

Computer Science

Merit grant awarded to INESC TEC researcher

Ricardo Macedo, researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab), received a merit grant from the University of Minho, supported entirely by the Ministry of Science, Technology and Higher Education, through the Directorate General for Higher Education (DGES). The ceremony took place on October 26, at the Medieval Hall of UMinho’s rectory.

11th November 2020


INESC TEC team collaborates with ENSICO initiative

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

Computer Science

INESC TEC contributes to the development of an app that provides free psychological support during the pandemic

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

  • 1
  • 10