Licenciada en Matemáticas, Doctora en Ciencias Exactas y Profesora Titular de la Pontificia Universidad Católica de Chile. En la actualidad es docente en la Facultad de Matemáticas de esta universidad, donde ha ejercido varios cargos de importancia a nivel docente y administrativo. Ha sido Directora de la Sociedad Matemática de Chile y presidente del Comité Asesor para Latinoamérica de la Association for Symbolic Logic. Es autora de numerosas publicaciones en revistas especializadas.