Département: Sistemas Informáticos y Computación

Faculté: Informática

Domaine: Lenguajes y Sistemas Informáticos

Docteur à l Universidad Complutense de Madrid avec la thèse Semántica de simulación para relaciones de conformidad 2015. Dirigée par Dr. Carlos Gregorio Rodríguez, Dr. L. F. Llana.