Investigador do INESC TEC conclui provas de agregação

Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente da Escola de Engenharia da Universidade do Minho, concluiu, nos dias 26 e 27 de julho, as provas de agregação na Universidade do Minho, tendo sido aprovado por unanimidade pelos membros do júri.

Na primeira parte das provas de agregação no ramo de Informática e, mais concretamente, na área de Sistemas Distribuídos, houve uma análise do currículo e a apresentação de uma nova unidade curricular de Sistemas Distribuídos em Larga Escala, que foca a teoria e a prática de sistemas de alta disponibilidade em ambientes com elevada latência e dispersão global.

Já na segunda parte das provas, o candidato apresentou a lição de síntese intitulada “Causality is graphically simple”, onde apresentou mecanismos de causalidade em Sistemas Distribuídos, ao longo de 40 anos, com base numa notação gráfica que visa permitir a sua mais fácil compreensão, verificação e evolução.

O júri foi composto por Rui Vieira de Castro (Universidade do Minho), Luís Eduardo Teixeira Rodrigues (Universidade de Lisboa), Fernando Manuel Augusto da Silva (Universidade do Porto), João Manuel Paiva Cardoso (Universidade do Porto), José Legateaux Martins (Universidade Nova de Lisboa), José Carlos Ferreira Maia Neves (Universidade do Minho), José Manuel Esgalhado Valença (Universidade do Minho) e José Nuno Fonseca Oliveira (Universidade do Minho).

O investigador do INESC TEC mencionado na notícia tem vínculo à UMinho.