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 was the founder of the Testing and Performance Evaluation 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 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). The next edition of the Summer School will be organized in Naples (Italy).

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

I am a member of the A-MOST Steering Committee. The last edition of the workshop took place in Tokyo (Japan), collocated with ICST 2017.

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. I am a member of the Review Board of the International Journal of Information Technology and Web Engineering.

During 2017 I am involved in the following events:

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

Former Ph.D. Students Go to the top

Teaching Go to the top

I was teaching the following courses during the Fall semester of the 2016-2017 academic year (information in Spanish):

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).