Presentación
Lunes, 3 de diciembre de 2012
Hola, trabajo como Profesor Ayudante Doctor en el Departamento de Sistemas Informáticos y Computación de la Facultad de Informática de la Universidad Complutense de Madrid.
Soy miembro del grupo de investigación Testing and Performance Evaluation Group.
En el curso 2012-2013 imparto clase de Ingeniería del Software (Facultad de Informática) e Informática (Facultad de Matemáticas).
Investigación
Lunes, 3 de diciembre de 2012
Mis principales líneas de investigación abarcan los métodos heurísticos, los métodos formales, el testing de sistemas y los servicios web.
Si te interesa conocer con más detalle en lo que trabajo, puedes consultar mi lista de publicaciones obtenida a partir de DBLP.
Si estás interesado en alguno de mis papers y quieres conseguir la versión en pdf del artículo ponte en contacto conmigo.
A continuación encontrarás material sobre mi investigación:
Demostración NP completitud problemas MDV y MSV.
Grafos empleados en los experimentos con el TSP, MDV y MSV.
IWANN 2009 - Versión extendida
ICTAC 2009 - Versión extendida
Mi tesis 2010: Algoritmos heurísticos y aplicaciones a métodos formales