![Foto de MIGUEL](/img/nophoto.png)
MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
Fachbereich: Sistemas Informáticos y Computación
Fakultät: Informática
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: Complutense Group on Program Analyis and Transformation
Email: miguelis@ucm.es
Doktor von der Universidad Complutense de Madrid mit der Dissertation Verification of Concurrent Systems optimality, Scalability and Applicability 2020. unter der Leitung von Dr. Miguel Gómez-Zamalloa Gil, Dr. Elvira Albert.