Research Go to the top

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 am the coordinator of the FORTE-CM Program, funded by the Regional Goverment of Madrid under the grant P2018/TCS-4314. I was the coordinator of the SICOMORo-CM program

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 and the 5th Tarot Summer School in Las Navas del Marqués, Spain, July 2009.

I got the best paper award in the FORTE 2001 Conference with this paper where the language PAMR is introduced. I also got the best academic paper award in the IEES 2005 Symposium with this paper where we apply a novel testing methodology to an automotive system.

I gave this invited talk in the ICTSS 2011 Conference. This talk outlines some of my main contributions to the field of formal testing of timed systems.

In this interview (in Spanish, by Mario Piatinni) I comment on my past and current (2011) research lines.

The DBLP list containing most of my publications can be found here. Author copies of my papers can be found here.

Committees, Conferences, Workshops and Summer Schools Go to the top

I am a member of the IEEE SMC Technical Committee on Computational Collective Intelligence.

I am a member of the Board of Directors of the Tarot Summer School on Software Testing (the other two members are Ana Cavalli and Rob Hierons).

I am a member of the ICCCI Steering Committee. The next edition of the conference will take place in Hendaye (France).

I am a member of the A-MOST Steering Committee. The last edition of the workshop took place in Xi'an (China), collocated with ICST 2019.

I am a member of the DISCOTEC Steering Committee. The last edition of the conference took place in Lyngby (Denmark).

I was a member of the ICTSS Steering Committee (formerly known as TestCom/FATES) for the period 2009-2012.

I am an Associate Editor of the Vietnam Journal of Computer Science. I am a member of the Editorial Boards of the Transactions on Computational Collective Intelligence and of the Journal of Universal Computer Science.

During 2019 I am involved in the following events:

Previously, I was involved in these events (by year: 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004 and before).

Former Ph.D. Students Go to the top

Other activities Go to the top

I have coauthored, with Jorge Ufano, this short note in the Spanish journal El País where we briefly discuss the use of computer programs to support trading.

In July 2013 I gave a talk where I presented my personal view about the skills complementing University education.

In November 2016 I gave a talk in the CMU Loyola where I gave an introduction to the mathematical aspects of NLHE. I gave similar talks in the CMU Teresa de Jesús (February 2017) and in the CMU Diego de Covarrubias (March 2017).