Docencia

Docencia del curso 2011-2012

• Tutorías 2011-2012.
• Matemática Discreta y Lógica Matemática 2011-2012 (Grupo D de la Facultad de Informática).

Investigación

Temas de investigación

Mi principal tema de trabajo son los métodos formales, en particular, las álgebras de procesos estocásticas y los sistemas de testing y evaluación de rendimiento.

Actualmente soy miembro del grupo de Testing y Evaluación del Rendimiento.

Parte de mi trabajo se puede encontrar en mi tesis Semánticas para álgebras de procesos estocásticos no markovianos. Dirigida por Manuel Núñez García.

Publicaciones

Hasta el día que cree una verdadera lista de publicaciones, aquí se puede encontrar una lista de mis publicaciones bastante cercana a la verdadera. La lista del DBLP contiene la mayoría de mis publicaciones. Si te interesa alguno de mis artículos y no puedes conseguirlo, mándame un mensaje.

Enlaces de interés

• Desde hace ya muchos años comparto despacho con Fernando Rubio, en su página quizás encontreis algo de vuestro interés.
• Si tienes problemas con la Programación Funcional está página puede serte de gran utilidad.
• Si tienes problemas con la Teoría de Autómatas y Lenguajes Formales o Fundamentos de Lenguajes Informáticos está página puede serte de gran utilidad.

Contacto

Natalia López Barquilla
Departamento de Sistemas Informáticos y Computación
Facultad de Informática
C/. Prof. José García Santesmases, s/n
Universidad Complutense de Madrid
E28040 Madrid. Spain

Tel:  +34 91 394 7629
Fax: +34 91 394 7529

  e-mail: natalia@sip.ucm.es