Digital transition, innovation, business empowerment, financing, disruptive technologies; and a certainty: 2024 will be a year of opportunities for companies that are willing to take risks. Close to 100 participants gathered at Palácio do Freixo to get to know ATTRACT project, coordinated by INESC TEC.
08th February 2024
InstitutionalNews reports about leaks of information stored by major applications - collected through their use by ordinary citizens - are common, leaving personal data (often sensitive) exposed. In most cases, said leaks stem from software operating errors capable of causing astronomical losses to companies, both financially and in terms of reputation. It is not surprising that more means and efforts are being directed to detect software errors still in the earlier stages of their life cycle, highlighting the importance of using good coding practices. In this sense, INESC TEC researcher Rui Rua has been working to create solutions that improve the performance of Android applications, by changing the source code.
23rd January 2024
InstitutionalThe RISC2 project, which for three years aimed to build bridges in the research and training of High-Performance Computing (HPC) - considered the basis for scientific, industrial, and social advances with an impact on the quality of life of the world's population - has officially come to an end. Among the main results achieved by this consortium composed of 16 partners — 12 from Latin America and four from Europe — the HPC Observatory and the White Paper on HPC R&I Collaboration Opportunities stand out.
11th January 2024
InstitutionalLuís Pereira, Rui Pedro Oliveira and Tiago Pereira won third place in the Inter-University Programming Marathon, after solving six of the 11 problems presented to them in five hours. Participating in an international competition is the new challenge of CatamorfismUM, the name of the team composed of INESC TEC researchers.
04th December 2023
InstitutionalThe 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
InstitutionalThe 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
InstitutionalIn 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
InstitutionalHigh 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
Institutional27th July 2023
InstitutionalExperts 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
InstitutionalA 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
InstitutionalINESC 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
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.