Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Centro/Instituto: Instituto de Tecnología del Conocimiento (ITC)

Área: Lenguajes y Sistemas Informáticos

Grupo de investigación: Design and Testing of Reliable Systems

Email: mlmgarci@ucm.es

Doctora por la Universidad Complutense de Madrid con la tesis Marcos temporales y probabilísticos para testing formal 2009. Dirigida por Dr. Manuel Núñez García, Dr/a. Robert M. Hierons.