I received a BA in Mathematics and a Ph.D. in Computer Science in Universidad Complutense de Madrid. Currently, I’m a Professor in the Dpto Sistemas Informáticos y Computación and the leader, together with my colleague Luis Llana, of the Design and Testing of Reliable Systems research group.
My research interests are mainly related to the study of formal software testing methodologies for complex systems and development of testing frameworks based on mutation testing and metamorphic testing techniques. For the last few years
I also work on the design of artificial intelligence solutions for prediction and analysis of information.