Researcher from HASLab concludes habilitation exams
Carlos Baquero, researcher of the 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.
07th September 2018
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 the Rector of the 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).