Department: Sistemas Informáticos y Computación

Faculty: Informática

Research group: Complutense Group on Program Analyis and Transformation

Email: amerayo@ucm.es

Doctor by the Universidad Complutense de Madrid with the thesis Análisis de recursos de programas enteros y abstractos Resource analysis of integer and abstract programs 2022. Supervised by Dr. Elvira Albert.