Department: Sistemas Informáticos y Computación

Faculty: Informática

Area: Computer Languages and Systems

Research group: Complutense Group on Program Analyis and Transformation


Doctor by the Universidad Complutense de Madrid with the thesis Verification of Concurrent Systems optimality, Scalability and Applicability 2020. Supervised by Dr. Miguel Gómez-Zamalloa Gil, Dr. Elvira Albert.