Catedràtica d'Universitat. Universitat Politècnica de Catalunya., Barcelona

Postgrau als Estats Units, 1984

Nace en Barcelona en 1960. En junio de 1984 obtiene la licenciatura en Filosofía por la Universitat de Barcelona. Un año más tarde inicia un programa de estudios doctorales en la University of California at Berkeley, para ampliación de estudios en Lógica y Fundamentos de la Matemática, y finaliza el doctorado en Matemáticas en mayo de 1991, con una tesis sobre la teoría de la prueba. Entre 1991 y 1995 trabaja como profesora ayudante en la University of California, San Diego, y en el Departamento de Matemáticas de la University of Pennsylvania. Desde 1996 es profesora titular en el Departamento de Lenguajes y Sistemas Informáticos de la Facultad de Informática de la Universitat Politècnica de Catalunya.