Departamento: Sistemas Informáticos y Computación

Facultad: Estudios Estadísticos

Área: Linguaxes e Sistemas Informáticos

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

Correo el.: jcorreas@ucm.es

Doutor pola Universidad Politécnica de Madrid coa tese Análisis y verificación de programas modulares 2008. Dirixida por Dr/a. Germán Puebla Sánchez.