Doktorin von der Universidad del País Vasco - Euskal Herriko Unibertsitatea mit der Dissertation Implementación de especificaciones algebraicas 1993. unter der Leitung von Dr. María Luisa Navarro Gómez, Dr. Fernando Orejas Valdés.