Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Área: Lenguajes y Sistemas Informáticos

Grupo de investigación: Complutense Group on Program Analyis and Transformation

Email: miguelis@ucm.es

Doctor por la Universidad Complutense de Madrid con la tesis Verification of Concurrent Systems optimality, Scalability and Applicability 2020. Dirigida por Dr. Miguel Gómez-Zamalloa Gil, Dra. Elvira Albert.