{"id":32,"date":"2019-12-03T17:35:54","date_gmt":"2019-12-03T16:35:54","guid":{"rendered":"http:\/\/antares.sip.ucm.es\/manolo2\/?page_id=32"},"modified":"2025-11-24T23:17:16","modified_gmt":"2025-11-24T22:17:16","slug":"former-ph-d-students","status":"publish","type":"page","link":"https:\/\/antares.sip.ucm.es\/manolo\/former-ph-d-students\/","title":{"rendered":"Ph.D. Students"},"content":{"rendered":"\n<p><\/p>\n\n\n\n<h2>Current Ph.D. Students<\/h2>\n\n\n\n<ul><li><a href=\"https:\/\/www.linkedin.com\/in\/iv%C3%A1n-calvo-revelo-3a970315a\/\">Iv\u00e1n Calvo<\/a>: A specification language for the evaluation, orchestration, and fine-tuning of artificial intelligence models<\/li><li><a href=\"https:\/\/www.linkedin.com\/in\/walter-guillioli\">Walter Guillouli<\/a>: User segmentation and analysis in online gaming platforms using deep learning (together with Manuel M\u00e9ndez)<\/li><li><a href=\"https:\/\/www.linkedin.com\/in\/freddy-de-jes%C3%BAs-batista-garc%C3%ADa-4794a8199\/\">Freddy Batista<\/a>: Developing a New Methodology to Estimate the Added Value of Public Schools in Colombia Using Spatial Data and Machine Learning (together with Borja Moya-G\u00f3mez).<\/li><\/ul>\n\n\n\n<p><\/p>\n\n\n\n<h2>Former Ph.D. Students<\/h2>\n\n\n\n<ul><li><a href=\"http:\/\/antares.sip.ucm.es\/~natalia\/\">Natalia L\u00f3pez<\/a>: Semantics for Non-Markovian models<\/li><li><a href=\"http:\/\/antares.sip.ucm.es\/ismael\/\">Ismael Rodr\u00edguez<\/a>: PAMR: Syntax, semantics, and applications<\/li><li><a href=\"http:\/\/antares.sip.ucm.es\/mercedes\/\">Mercedes G. Merayo<\/a>: Testing of temporal and probabilistic systems (together with&nbsp;<a href=\"https:\/\/www.sheffield.ac.uk\/dcs\/people\/academic\/rhierons\/\">Rob Hierons<\/a>)<\/li><li><a href=\"http:\/\/antares.sip.ucm.es\/cesar\/\">C\u00e9sar Andr\u00e9s<\/a>: Active and passive testing of timed and probabilistic systems (together with&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/mercedes\/\">Mercedes G. Merayo<\/a>)<\/li><li><a href=\"https:\/\/www.csh.ac.at\/researcher\/carlos-molinero\/\">Carlos Molinero<\/a>: Two applications of formal methods to the development and testing of complex systems<\/li><li><a href=\"https:\/\/alfredoibias.com\/\">Alfredo Ibias<\/a>: Applications of Information Theory and Artificial Intelligence to Software testing<\/li><li>Miguel Benito-Parejo: Using evolutive algorithms to optimise collaborative testing (together with&nbsp;<a href=\"http:\/\/antares.sip.ucm.es\/mercedes\/\">Mercedes G. Merayo<\/a>)<\/li><\/ul>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Current Ph.D. Students Iv\u00e1n Calvo: A specification language for the evaluation, orchestration, and fine-tuning of artificial intelligence models Walter Guillouli: User segmentation and analysis in online gaming platforms using deep learning (together with Manuel M\u00e9ndez) Freddy Batista: Developing a New Methodology to Estimate the Added Value of Public Schools in Colombia Using Spatial Data and <a class=\"read-more\" href=\"https:\/\/antares.sip.ucm.es\/manolo\/former-ph-d-students\/\">Read More<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/32"}],"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=32"}],"version-history":[{"count":14,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/32\/revisions"}],"predecessor-version":[{"id":433,"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/pages\/32\/revisions\/433"}],"wp:attachment":[{"href":"https:\/\/antares.sip.ucm.es\/manolo\/wp-json\/wp\/v2\/media?parent=32"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}