Presentation
Monday, December 3rd 2012
Hello, I'm working as Doctor Assistant Professor at Sistemas Informáticos y Computación Departament of the Faculty of Computer Science in the Complutense University of Madrid, Spain.
I am member of the Testing and Performance Evaluation Group.
In the course 2012-2013 I am teaching Software Engineering (Faculty of Computer Science) and Computing (Faculty of Mathematics).
Research
Monday, December 3rd 2012
My main research interests are heuristic methods, formal methods, software testing, and web services.
If you are interested in my work, you can have a look at my list of publications obtained from DBLP.
If you are interested in some of my papers and you want to obtain the pdf version of one of them, you only have to contact with me.
In this section you will find some material about my research:
Proving MDV & MSV NP completeness.
Graphs used on the experiments about TSP, MDV & MSV.
My thesis 2010: Heuristic algorithms and applications to formal methods