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.