ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Fachbereich: Sistemas Informáticos y Computación
Fakultät: Informática
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: Complutense Group on Program Analyis and Transformation
Email: emartinm@ucm.es
Doktor von der Universidad Complutense de Madrid mit der Dissertation Sistemas de tipos en lenguajes lógico-funcionales 2012. unter der Leitung von Dr. Francisco Javier López Fraguas, Dr. Juan Rodríguez Hortalá.