Doutora pola Universidad del País Vasco - Euskal Herriko Unibertsitatea coa tese Implementación de especificaciones algebraicas 1993. Dirixida por Dr/a. María Luisa Navarro Gómez, Dr/a. Fernando Orejas Valdés.