{"id":2,"date":"2019-12-03T16:08:21","date_gmt":"2019-12-03T16:08:21","guid":{"rendered":"http:\/\/antares.sip.ucm.es\/manolo2\/?page_id=2"},"modified":"2025-07-24T15:55:17","modified_gmt":"2025-07-24T14:55:17","slug":"research","status":"publish","type":"page","link":"https:\/\/antares.sip.ucm.es\/manolo\/","title":{"rendered":"Research"},"content":{"rendered":"\n

I use formal methods in different application areas. Currently, I’m mainly working on formal methods for testing complex systems. In particular, I consider systems with distributed interfaces, with asynchronous communications and with probablistic\/time information. 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 recently started to work on Machine\/Deep Learning models, in particular, in V & V activities for these models.<\/p>\n\n\n\n

I am the founder of the Design and Testing of Reliable Systems research group<\/a> at the Universidad Complutense de Madrid<\/a>. The group is currently lead by my colleagues Luis Llana<\/a> and Mercedes G. Merayo<\/a>.<\/p>\n\n\n\n

I am the coordinator of the DESAF\u00edO-CM<\/a> program funded by the Regional Goverment of Madrid. Previously, I was the coordinator of the\u00a0SICOMORo-CM<\/a> and FORTE-CM<\/a>\u00a0programs, <\/p>\n\n\n\n

I was the scientific coordinator of the Marie Curie RTN TAROT<\/a> (Training And Research On Testing). The network coordinator was Ana Cavalli<\/a>. As one of the network activities, I organized the 2nd Tarot Summer School<\/a> in Toledo, Spain, June 2006, the 5th Tarot Summer School<\/a> in Las Navas del Marqu\u00e9s, Spain, July 2009 and the 17th TAROT Summer School<\/a> of the Summer School in \u00c1vila, Spain, July 2022.<\/p>\n\n\n\n

In this interview<\/a> (in Spanish, by Mario Piatinni<\/a>) I comment on my past and current (2011) research lines.<\/p>\n\n\n\n

The DBLP list containing most of my publications<\/strong> can be found here<\/a>. Author copies of my papers can be found here<\/a>.<\/p>\n\n\n\n

\"\"<\/figure>\n","protected":false},"excerpt":{"rendered":"

I use formal methods in different application areas. Currently, I’m mainly working on formal methods for testing complex systems. In particular, I consider systems with distributed interfaces, with asynchronous communications and with probablistic\/time information. I’m also working on the use of formal methods in user modelling, with an emphasis on collective intelligence. In particular, I’m Read More<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/2"}],"collection":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/comments?post=2"}],"version-history":[{"count":22,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/2\/revisions"}],"predecessor-version":[{"id":417,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/2\/revisions\/417"}],"wp:attachment":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/media?parent=2"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}