Departamento: Sistemas Informáticos y Computación

Facultad: Estudios Estadísticos

Área: Lenguajes y Sistemas Informáticos

Grupo de investigación: Complutense Group on Program Analyis and Transformation

Email: jcorreas@ucm.es

Doctor por la Universidad Politécnica de Madrid con la tesis Análisis y verificación de programas modulares 2008. Dirigida por Dr/a. Germán Puebla Sánchez.