Department: Sistemas Informáticos y Computación

Faculty: Estudios Estadísticos

Universidad: Complutense University of Madrid

Area: Computer Languages and Systems

Research group: COSTA Complutense Group on Program Analyis and Transformation

Email: jcorreas@ucm.es

Personal web: https://costa.fdi.ucm.es/~jcorreas/

Doctor by the Universidad Politécnica de Madrid with the thesis Análisis y verificación de programas modulares 2008. Supervised by Dr. Germán Puebla Sánchez.