Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Lenguajes y Sistemas Informáticos

Email: agav@ucm.es

Doctor por la Universidad Complutense de Madrid con la tesis Una lógica trivalorada para funciones recursivas parciales 1990. Dirigida por Dr. Mario Rodríguez Artalejo.