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 with temporal and probabilistic information.