Area: Computer Languages and Systems

Doctor by the Universidad Complutense de Madrid with the thesis Semántica de simulación para relaciones de conformidad 2015. Supervised by Dr. Carlos Gregorio Rodríguez, Dr. Luis Fernando Llana.