Departamento: Lenguajes y Sistemas Informáticos

Centro: Facultad de Informática

Campus: Gipuzkoa

Campo de conocimiento: Ingenieria y Arquitectura

Área: Lenguajes y Sistemas Informáticos

Doctor/a por la Universitat Politècnica de Catalunya (UPC) con la tesis Técnicas de reescritura para especificaciones condicionales 1987.