Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Artigo

Investigador do HASLab conclui provas de agregação

Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) 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.

07 setembro 2018


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 Reitor da 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).