Doutoramento em Engenharia Informática e de Computadores, Mestrado em Engenharia Eletrotécnica e Computadores, Licenciatura em Engenharia Informática.
Professor Catedrático no Departamento de Engenharia Informática (DEI) do Instituto Superior Técnico, Universidade de Lisboa (IST-UL), e Investigador Integrado no INESC-ID Lisboa.