Département: Sistemas Informáticos y Computación

Faculté: Informática

Domaine: Lenguajes y Sistemas Informáticos

Groupe de recherche: Diseño y análisis formal de sistemas de software

Email: mmontene@ucm.es

Docteur à l Universidad Complutense de Madrid avec la thèse Análisis de propiedades de seguridad y consumo acotado de memoria en un lenguaje funcional sin recolección de basura 2011. Dirigée par Dr. Ricardo Peña Marí, Dr/a. Clara M. Segura Díaz.