Was part of these groups:

Doctor by the Universitat de Barcelona with the thesis Modal logic (of predicates) and (partial and heterogeneous) non-classical logic 1994. Supervised by Dr. María Gracia Manzano Arjona.

She is the holder of a degree in Mathematics and Humanities and a PhD in Mathematics from the University of Barcelona. She was previously a member of the Department of Mathematics at the Universitat Autònoma de Barcelona (UAB) and is currently a member of the Faculty of Computer Science, Multimedia and Telecommunications at the Universitat Oberta de Catalunya (UOC). Her research activities focus on theoretical logic, knowledge engineering and artificial intelligence, and their application in technology-enhanced learning. Her main lines of research are: - The logical foundations for knowledge engineering and artificial intelligence, in particular the study of knowledge representation and reasoning techniques and logics. - The use of knowledge representation techniques to formalize interactive systems and for reasoning about this scope. - The application of knowledge engineering and the analysis of interactive systems in the context of technology-enhanced learning, in particular the design and development of e-assessment systems and e-learning tools for mathematics.