Docteure à l Universidad del País Vasco - Euskal Herriko Unibertsitatea avec la thèse Implementación de especificaciones algebraicas 1993. Dirigée par Dr/a. María Luisa Navarro Gómez, Dr/a. Fernando Orejas Valdés.