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 Universidad Complutense de Madrid con la tesis Lógica parcial trivalorada. Aproximaciones de primer orden, de orden superior e intuicionista 1994. Dirigida por Dr/a. Mario Rodríguez Artalejo.