Department: Sistemas Informáticos y Computación

Faculty: Estudios Estadísticos

Area: Computer Languages and Systems

Research group: Complutense Group on Program Analyis and Transformation

Email: jcorreas@ucm.es

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.