Professor associado no Departamento de Engenharia Informática do Instituto Superior Técnico. O seu ensino foca-se na área de Metodologia e Tecnologias da Programação, com especial destaque para Engenharia de Software. É coordenador da Licenciatura em Engenharia Informática e de Computadores (campus Alameda). É 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.