Departament: Sistemas Informáticos y Computación

Facultat: Informática

Àrea: Llenguatges i Sistemes Informàtics

Correu: agav@ucm.es

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