MANUEL
MONTENEGRO MONTES
Profesor ayudante doctor
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.