I received a BA in Mathematics and a Ph.D. in Computer Science in Universidad Complutense de Madrid. Currently, I’m an Associate 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 with temporal and probabilistic information.