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

Faculté: Informática

Domaine: Lenguajes y Sistemas Informáticos

Groupe de recherche: Complutense Group on Program Analyis and Transformation

Email: miguelis@ucm.es

Docteur à l Universidad Complutense de Madrid avec la thèse Verification of Concurrent Systems optimality, Scalability and Applicability 2020. Dirigée par Dr. Miguel Gómez-Zamalloa Gil, Dra. Elvira Albert.