Professor Associado no Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto. O seu ensino foca-se na área de Ciência e Tecnologia da Programação. É investigador sénior no INESC-ID, onde coordena a área de Raciocínio Automático e Software Confiável. A sua investigação científica abrange desde métodos de engenharia de software empíricos que podem orientar profissionais e direcionar investigações futuras, até métodos formais que podem verificar a ausência de certos tipos de erros em software. Trabalho recente inclui o desenvolvimento de métodos e ferramentas para detecção e correção automática de erros em artefactos de Infrastructure as Code.