Sobre
Sou professor auxiliar no Departamento de Informática da Universidade do Minho, onde ensino regularmente disciplinas na área da programação e dos métodos formais para engenharia de software, e também membro do Laboratório de Software Confiável do INESC TEC. Nos últimos anos, a minha investigação tem-se focado na área dos métodos formais para engenhria de software, em particular no desenvolvimento de linguagens e ferramentas para modelação formal, incluindo técnicas de validação e verificação, e para transformação bidireccional de modelos. Recentemente comecei a investigar também na área da qualidade de software robótico, em particular software desenvolvido com o Robot Operating System.