PEDRO JESÚS
MARTÍN DE LA CALLE
Profesor titular de universidad
Departamento: Sistemas Informáticos y Computación
Facultad: Informática
Área: Lenguajes y Sistemas Informáticos
Email: pjmartin@ucm.es
Doctor por la Universidad Complutense de Madrid con la tesis Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000. Dirigida por Dr. Antonio Javier Gavilanes Franco.