Departament: Sistemas Informáticos y Computación

Facultat: Estudios Estadísticos

Àrea: Llenguatges i Sistemes Informàtics

Grup d'investigació: Complutense Group on Program Analyis and Transformation

Correu: jcorreas@ucm.es

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