terça-feira, 20/12/2016
Provas de Agregação: Luís Manuel Dias Coelho Soares Barbosa (DI)
15 e 16 de dezembro de 2016, Largo do Paço, Braga
Luís Manuel Dias Coelho Soares Barbosa, docente do
Departamento de Informática (DI) da EEUM e membro do Centro de Investigação em
Software Confiável (HASLab INESC TEC) da EEUM, concluiu em dezembro as provas
de agregação, tendo sido aprovado por unanimidade dos membros do júri.
As provas de agregação, com a duração de dois dias, consistiram na
apresentação do currículo do candidato aos elementos do júri – composto por
António Beça Gonçalves Porto (Universidade do Porto), Luís Manuel Marques da
Costa Caires (Universidade Nova de Lisboa), José Manuel Esgalhado Valença (Universidade
do Minho), José Nuno Fonseca de Oliveira (Universidade do Minho), Rolf
Hennicker (Ludwig-Maximilians-Universität, Munique, Alemanha) – e na análise e
discussão de um relatório que aborda a contextualização, estrutura e objetivos
programáticos de um núcleo curricular em modelação e análise de sistemas reativos
no âmbito da oferta formativa em Informática da Universidade do Minho.
Na segunda parte das
provas, Luís Manuel Dias Coelho Soares Barbosa apresentou o seminário “Coalgebra
for the working software engineer”, que resume o trabalho desenvolvido em
teoria das coálgebras e sua aplicação em problemas base da Engenharia de
Software. Esta teoria recente, apropriadamente conhecida como a “matemática dos
sistemas dinâmicos”, fornece uma aproximação rigorosa e composicional à análise
do comportamento deste tipo de sistemas pervasivos nas sociedades modernas. A
lição focou-se em alguns aspetos da teoria e na sua aplicação a três áreas da
Engenharia de Software: a modelação de sistemas dinâmicos, a sua arquitetura e,
por fim, o desenvolvimento de lógicas para captação e verificação de requisitos
e análise do comportamento emergente.
O grau de agregação é atribuído a docentes detentores
de um currículo profissional de elevado mérito que demonstre uma atividade
relevante ao nível da investigação, formação ou orientação avançadas, e a
autoria de trabalhos científicos de qualidade reconhecida após a obtenção do
grau de doutor.
