HASLab has two new master students

Rafael Remondes and Ricardo Pereira, 24 and 25, were the students that yesterday defended their Master's Thesis with the themes "Distributed Aggregation Algorithms in Smart Meters" and "Privacy Protection in Data Systems".

HASLab in the Engineering School Week of 2015

HASLab participated last tuesday in the Engineering School Week in Azurém. Its activity was focused on the multi-rotors and was addressed to students from three secondary schools in the region.

HASLab participates in the Engineering School Week of 2015

The High-Assurance Software Laboratory will be present in the 11th edition of the Engineering School Week taking place between 22 and 27 January at the Campus of Azurém in Guimarães. HASLab participation is part of the activities for secondary schools and has as subject "O que faz falta é engenheirar a malta!".

HASLab completes masters thesis defense phase

HASLab ended last week, the second and last series of defenses of Master thesis. Pedro Guimarães, Diogo Almeida, and Marco Dinis were the last students to defend their theses, which had already been hand over in 2014.

INESC TEC receives the "Excellent" evaluation from FCT

The second phase of the evaluation results of the Portuguese National Funding Agency for Science (FCT), released yesterday afternoon, attributed to INESC TEC an "Excellent" review among 322 evaluated Portuguese research units.

HASLab ends the year 2014 with a master’s theses average of 18

The High-assurance Software Laboratory reaches the end of year 2014 with an average of 18 in 10 Master's theses presented during this month, in the Computer Engineering Masters degree.

Tweet of Carlos Baquero chosen by Nature

A tweet of only 140 characters by Carlos Baquero, HASLab researcher, was chosen in the latest version of Nature, a weekly Journal of International Science.

Nuno Macedo investigates bidirectional transformations as a way to improve the creation of model-driven software

Nuno Macedo, the latest HASLab Doctorate, discovers, in his PhD thesis, the best way to develop bidirectional transformations and, therefore, improve the creation of model-driven software.

HASLab research allows the optimization of the computer resources consumption

The article "Scaling up Publish / Subscribe Overlays using Interest Correlation for Link Sharing" written by Miguel Matos, Rui Oliveira, José Pereira, HASLab researchers, Pascal Felber and Emmanuel Rivière proposes an approach that enhances the connections between computer users and their common interests.

HASLab develops a tool that allows to generate efficient implementations of cryptographic algorithms

The High-assurance Software Laboratory (HASLab) presents a tool that allows the creation of implementations of cryptographic components, thereby reducing the probability of errors in the translation of the specifications.