Departament: Sistemas Informáticos y Computación

Facultat: Informática

Àrea: Llenguatges i Sistemes Informàtics

Doctor per la Universidad Complutense de Madrid amb la tesi Semántica de simulación para relaciones de conformidad 2015. Dirigida per Dr. Carlos Gregorio Rodríguez, Dr. L. F. Llana.