PhD in Computer Science at the University of Castilla-La Mancha and MSc in Computer Science at the University of Granada. She is member of the Alarcos Research Group and Professor at the Computer Science School at the University of Castilla-La Mancha (Spain).