Saila: Hizkuntza eta Sistema Informatikoak

Ikastegia: Informatika Fakultatea

Campusa: Gipuzkoa

Ezagutza arloa: Ingeniaritza eta Arkitektura

Eremua: Lengoaia eta Sistema Informatikoak

Doctor/a por la Universidad Complutense de Madrid con la tesis Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista 1994. Tesiaren zuzendaria Dr/a. Mario Rodríguez Artalejo.