Saila: Sistemas Informáticos y Computación

Fakultatea: Informática

Eremua: Lengoaia eta Sistema Informatikoak

Doctora por la Universidad Complutense de Madrid con la tesis Una lógica no estándar admisible para programas funcionales 1990. Tesiaren zuzendaria Dra. María Teresa Hortala González.