- Menu
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
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
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
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
The SIS^1 project (Smart Insurance System), a collaborative initiative between INESC TEC and the company NAU21, was one of the finalists in this year’s edition of the Portugal Digital Awards – “Best Insurance Project” category. SIS^1 proposes a new collaborative and transparent management of the traditional business processes of the insurance sector.
19th December 2022
Over the next four years, the BeFlexible - Boosting Engagement to Increase Flexibility project will increase the flexibility of the energy system, improve cooperation between Distribution System Operators (DSOs) and Transmission System Operators (TSOs), and facilitate communication between all energy stakeholders. The Institute for Systems and Computer Engineering, Technology and Science (INESC TEC) is the only Portuguese partner of the project, which will be financed by the European Commission (€10M) through the Horizon Europe programme.
06th December 2022
The study by Paulo Sérgio Almeida, INESC TEC researcher and professor at the University of Minho, focuses on Bloom Filters, a very popular probabilistic data structure in the design of databases, distributed systems, and communication networks. The study, which demonstrates the versatility of partitioned Bloom Filters, was accepted for publication in IEEE Transactions on Computers, one of the top journals in Informatics and Computing.
29th November 2022
A team of INESC TEC researchers working on the Alloy language and specification tool presented the QAlloy extension at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), a top conference in the area of software engineering that took place between November 14 and 18, in Singapore.
22nd November 2022
The RISC2 project, which aims to promote and improve the relationship between research and innovation communities in Europe and Latin America, won the HPCwire Editor’s Choice Awards in the category of Best HPC Collaboration.
21st November 2022
Close to 20 high school students visited INESC TEC’s High-assurance Software Laboratory (HASLab). The visit took place within the scope of the “Computação sem Fronteiras” initiative, one of several activities part of the “Verão no Campus” – promoted by the University of Minho; the activities took place between July 18 and 22, in the Department of Informatics (DI) of the University of Minho, Braga.
28th July 2022
The Chair of the Computer Science Department at the Massachusetts Lowell University, Haim Levkowitz, visited INESC TEC and the University of Minho, on May 20, 23 and 25, respectively, under the Staff Mobility for Teaching of the Erasmus+ programme.
26th May 2022
Alcino Cunha and Nuno Macedo, INESC TEC researchers, contributed to the development of Alloy 6, the latest version of one of the most used specification and analysis platforms for the formal analysis of designs in the early stages of software development.
11th May 2022