Fachbereich: Sistemas Informáticos y Computación

Fakultät: Estudios Estadísticos

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Complutense Group on Program Analyis and Transformation

Email: jcorreas@ucm.es

Doktor von der Universidad Politécnica de Madrid mit der Dissertation Análisis y verificación de programas modulares 2008. unter der Leitung von Dr. Germán Puebla Sánchez.