My research consists in using formal methods in different application areas. Currently, I’m mainly working on formal methods for testing complex systems but occasionally do some work on probabilistic and timed extensions of process algebras. I’m also working on the use of formal methods in user modelling, with an emphasis on collective intelligence. In particular, I’m interested in the inclusion/addition/adaption of formal methods and economic concepts and systems.
I am the founder of the Design and Testing of Reliable Systems research group at the Universidad Complutense de Madrid. The group is currently lead by my colleagues Luis Llana and Mercedes G. Merayo.
I was the scientific coordinator of the Marie Curie RTN TAROT (Training And Research On Testing). The network coordinator was Ana Cavalli. As one of the network activities, I organized the 2nd Tarot Summer School in Toledo, Spain, June 2006, the 5th Tarot Summer School in Las Navas del Marqués, Spain, July 2009 and the 17th TAROT Summer School of the Summer School in Ávila, Spain, July 2022.