Professora no ensino superior desde 2001, presentemente é Professora Auxiliar Convidada na Universidade Aberta. Licenciada em Matemática Aplicada e Computação pelo IST-UL, é doutorada pela FCUL em Matemática. Desenvolve investigação em Teoria da Demonstração e em Computação, tendo também desenvolvido trabalho em Física-Matemática. Atualmente é também formadora na Sociedade Portuguesa de Matemática.