Saila: Sistemas Informáticos y Computación

Fakultatea: Informática

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

Eremua: Lengoaia eta Sistema Informatikoak

Ikerketa taldea: Design and Testing of Reliable Systems

E-maila: mlmgarci@ucm.es

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