Doctora por la Universidad del País Vasco - Euskal Herriko Unibertsitatea con la tesis Implementación de especificaciones algebraicas 1993. Dirigida por Dr/a. María Luisa Navarro Gómez, Dr/a. Fernando Orejas Valdés.