Portuguese researchers developed a pioneering tool for detection of security risks in Infrastructure as Code

The GLITCH solution transforms the original code of programs into a specific model and carries out an analysis to detect code smells — patterns that occur on the code and can lead to security vulnerabilities.

14th November 2023

INESC TEC researcher presents solutions to simplify and optimise analytical operations with data

The multiple situations in which the transactional system does not ensure isolation to databases, thus compromising their efficiency, were the starting point for the research dedicated to the design and implementation of isolation in the query engine, preparing it for hybrid workloads.

19th October 2023

Improving database performance: INESC TEC research at international conference

In our daily lives, we barely notice the structures that support sectors like commerce, banking, or others, as well as high transactional data loads. In general, we only become aware of them during disruptions, which end up influencing the normal functioning of said services.

28th August 2023

Summer on Campus: High school students take their first steps in computing with INESC TEC

High school students from the northern region of Portugal spent a week at the University of Minho, and they had the opportunity to explore their areas of interest.  

14th August 2023

INESC TEC leads digital capacity-building project in AI and HPC

27th July 2023

INESC TEC participates in conference on computer science education

Experts in the fields of education and computing gathered at the Super Bock Arena Auditorium to discuss the challenges associated with integrating computer science education into schools. José Nuno Oliveira, senior researcher at INESC TEC High-Assurance Software Laboratory (HASLab) attended the TNT | The New Trivium conference, which took place on June 3.

04th July 2023

INESC TEC contributes to improving safety in urban mobility

A team of INESC TEC researchers participated in the creation of a solution that aims to improve railway safety through the automatic validation of transport networks. The solution, developed within the scope of the DigiLightRail project - and in partnership with Efacec - focuses on the definition of signalling and interlocking rules, towards reducing accidents in urban mobility caused by failures in signalling systems.   

28th June 2023

INESC TEC develops pioneering research in the application of variational quantum circuits to reinforcement learning

INESC TEC researchers have developed a study that aims to show the feasibility and usefulness of variational quantum circuits in terms of reinforcement learning, using quantum circuits in the central processing unit responsible for automatic decision-making. This is one of the first research papers to prove the impact of variational quantum circuits on the policy-based context, and it was recently published in the journal Quantum Machine Intelligence.  

23rd May 2023

INESC TEC part of European project to promote and facilitate the use of supercomputing in the European ecosystem

The EuroCC2 project started in February; the new European project by INESC TEC aims to identify and address the skills gap in high-performance computing (HPC) in the European ecosystem, and to promote cooperation across Europe, thus ensuring a consistent skills base.

27th February 2023

INESC TEC and UMinho analyse the impact of the Omicron variant on the efficacy of vaccination

Researchers from INESC TEC and the University of Minho analysed the impact of the Omicron variant on the effectiveness of vaccination against SARS-CoV-2 infection. The study published in the prestigious journal Scientific Reports, part of the Nature group, is the result of the work carried out by an international team within the scope of the Coronasurveys project.

01st February 2023

INESC TEC research improves quantum programming techniques

Recent research in quantum programming, developed by Ana Neri and José Nuno Oliveira, researchers at INESC TEC – in partnership with Rui Barbosa, Staff Researcher at the International Iberian Nanotechnology Laboratory (INL) -, proposes the concept of quantamorphisms, a recursive quantum circuit combinator that enriches quantum programming techniques.

12th January 2023

INESC TEC contributes to the creation of the Energy Data Space for Europe

Over the next three years, the project ENERSHARE - European commoN EneRgy dataSpace framework enabling data sHaring-driven Across- and beyond- eneRgy sErvices-, with INESC TEC as partner, will develop a reference architecture that facilitates data sharing in the energy sector.

20th December 2022