Researcher from INESC TEC concludes habilitation exams

Carlos Baquero, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho completed the habilitation exams on 26 and 27 July at the University of Minho, being unanimously approved by the members of the jury.

The first part of the habilitation exams in the field of Informatics and, more specifically, in the area of Distributed Systems, consisted of a curriculum analysis and the presentation of a new course unit of Large-Scale Distributed Systems that focuses on the theory and the practice of high-availability systems in environments with high latency and global dispersion.

In the second part of the exams, the candidate presented the summary lesson entitled “Causality is graphically simple”, where he presented the causality mechanisms in Distributed Systems for over 40 years based on a graphic notation that aims to make it easier to understand, verify and evolve it.

The jury was composed of Rui Vieira de Castro (University of Minho), Luís Eduardo Teixeira Rodrigues (University of Lisbon), Fernando Manuel Augusto da Silva (University of Porto), João Manuel Paiva Cardoso (University of Porto), José Legateaux Martins (Universidade Nova de Lisboa), José Carlos Ferreira Maia Neves (University of Minho), José Manuel Esgalhado Valença (University of Minho) and José Nuno Fonseca Oliveira (University of Minho).

The INESC TEC researcher mentioned in this news piece is associated with UMinho.