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

News by High-Assurance Software

Institutional

INESC TEC researchers strengthened the partnership with CENTRA international network

INESC TEC reaffirmed the institution’s commitment to international research collaboration by participating in the CENTRA 2025 event, a global initiative that brings together research centres, institutes, and laboratories from across the world to drive the development of transnational cyberinfrastructures. This year’s edition focused on Artificial Intelligence (AI), exploring application in linguistics, cognitive psychology and advanced management of cyberinfrastructures. 

28th March 2025

Computer Science and Engineering

Advanced computing as a bridge between Portugal and Japan: INESC TEC and AIST reinforce scientific cooperation

Five years have passed since INESC TEC and the National Institute of Advanced Industrial Science and Technology (AIST), in Japan, signed the first Memorandum of Understanding (MoU). This scientific cooperation agreement, focused on advanced computing, led to major opportunities for mobility, joint publications and the exchange of knowledge and experiences, thus bringing the Portuguese and Japanese R&D ecosystems closer together – particularly in High-Performance Computing (HPC). Recently, the two institutes renewed the MoU and will continue to work together to boost research in advanced computing.

03rd February 2025

Computer Science and Engineering

There are bridges uniting biomedical engineering and supercomputing - INESC TEC researchers flew to Barcelona to cross them

For a week, Alicia Oliveira and Beatriz Cepa left INESC TEC's laboratories in Braga and went to Barcelona - the city that welcomed the ACM Summer School. The researchers explored some of the elemental HPC concepts and realised that - in a context dominated by computer science - their training in biomedical engineering was an asset.

31st October 2024

Computer Science and Engineering

Software bugs are as persistent as those in nature - a study by INESC TEC closed in on them

INESC TEC researchers developed the LazyFS tool, capable of injecting faults and reproducing data loss bugs. The solution helps to understand the origin and cause of said bugs, but also to validate protection mechanisms against failures. 

07th October 2024

Institutional

In the era of pervading data storage, replication can be the key to large-scale systems. Here’s how a INESC TEC research explores these challenges

In a study published in ACM Computing Surveys, Paulo Sérgio Almeida, INESC TEC researcher, synthesises the existing knowledge on approaches to Conflict-free Replicated Data Types, a topic he has been exploring over the past decade. These enable replication in distributed systems with automatic conflict resolution, ensuring high availability – even in the face of communication failures.

04th October 2024

Institutional

INESC TEC with five FCT exploratory projects approved in four R&D areas

Telecommunications and Multimedia, Applied Photonics, High-assurance Software and Advanced Computing Systems – these are the four domains that INESC TEC researchers will explore within the scope of the five projects that were approved through the Call for Exploratory Projects promoted by the Foundation for Science and Technology (FCT).

02nd October 2024

Computer Science and Engineering

Edge databases have many benefits — and INESC TEC researchers have dedicated themselves to studying them

The paper Databases in Edge and Fog Environments: A Survey, signed by Luís Manuel Ferreira, Fábio Coelho and José Orlando Pereira - and published in ACM Computing Surveys -, establishes innovative concepts in the edge databases area, resorting to several publications on hardware used, latency performance, energy consumption and privacy. This new type of database benefits from devices close to the users to improve performance and features.

03rd July 2024

Computer Science and Engineering

Researcher at INESC TEC wins an award thanks to prototype to support the development of Defense policies and strategies

Alexandra Mendes, INESC TEC researcher, is one of the winners of the Atlantic Security Award, promoted by FLAD; Alexandra’s work aims to use a large language model – trained with data retrieved from the dark web – in decision-making processes, in the design of Defense policies and strategies, and in the application of the law in the security of the Atlantic region.

28th May 2024

Computer Science and Engineering

INESC TEC researchers propose innovative cryptography solution for potential quantum computers threats

The solution proposed by Manuel Barbosa and João Barbosa, researchers at INESC TEC, features a hybrid key-encapsulation mechanism (KEM), capable of addressing the demands of the dynamics of hybrid models that combine pre-quantum and post-quantum algorithms.

21st May 2024

Computer Science and Engineering

INESC TEC joins new collaboration project to bring Europe and Japan closer together in supercomputing

Medicine, climate, quantum physics or materials science. These are just few of the areas where supercomputing and modelling can play a major role in scientific, industrial, and social development. To strategically improve cooperation between Europe and Japan in this area of research, the HANAMI - HPC Alliance for Applications and Supercomputing Innovation: the Europe-Japan Collaboration project was born.

17th May 2024

Computer Science and Engineering

INESC TEC research on the application of Boolean functions in quantum computing integrates major publication

INESC TEC researchers developed a study to test the ability to perform any Boolean function on quantum computers designed according to a measurement-based quantum computation model.  

17th May 2024

Computer Science and Engineering

INESC TEC researchers strengthen partnership with CENTRA network

Since its establishment, the CENTRA network has been working to facilitate collaborative endeavours that allow the adoption of transnational cyber infrastructures - relying on several members from different countries: Indonesia, the United States of America, Vietnam, or Japan. Hence, and to strengthen the relationships with said partners, INESC TEC researchers travelled to Tokyo to attend the latest event of this initiative.

19th March 2024

  • 1
  • 14