Saila: SISTEMAS DE COMUNICACIÓN Y CONTROL

Ikastegia: E.T.S. DE INGENIERÍA INFORMÁTICA

Eremua: Sistemen Ingeniaritza eta Automatika

Ikerketa taldea: INVESTIGACIÓN EN INDUSTRIA CONECTADA Y TECNOLOGÍAS EDUCATIVAS PARA LA INGENIERÍA

E-maila: llanos@scc.uned.es

Doctora por la Universidad de Castilla-La Mancha con la tesis Formal methods for the analysis of security protocols 2009. Tesiaren zuzendaria Dr/a. Fernando Cuartero Gómez, Dr/a. Diego Cazorla López.