áreas de investigação Engenharia de Software Matemática da Computação Modelos Analíticos e de Simulação