Aplicações da lógica à ciência da computação, incluindo lógica temporal, raciocínio abdutivo e combinação de lógicas. Sócia fundadora da Sociedade Portuguesa de Lógica e membro da comissão instaladora.