Enrique Martín Martín
Photograph of Enrique Martín Martín
  • PhD in Computer Science, UCM (Universidad Complutense de Madrid), 2012.
  • Teaching assistant in the Department of Computer Systems and Computing of the UCM.
  • Researcher at GPD (Declarative Programming Group), UCM.
  • M.Sc. in Computer Science Research, UCM, 2009.
  • BSc in Computer Science, UCM, 2007.
  • Type systems.
  • Declarative programming.
  • Static analysis.
  • Debugging.
  • Concurrency.
Dep. Sistemas Informáticos y Computación
Fac. Informática - Univ. Complutense de Madrid
C/ Profesor Jose García Santesmases, s/n
28040 Madrid - Spain
Telephone: +34 91 3947648

Valid XHTML 1.0 Strict ¡CSS Válido!