Saila: Hizkuntza eta Sistema Informatikoak

Ikastegia: Informatika Fakultatea

Campusa: Gipuzkoa

Ezagutza arloa: Ingeniaritza eta Arkitektura

Eremua: Lengoaia eta Sistema Informatikoak

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