Adrián Riesco Rodríguez

PhD in Computer Science
Current position: Associate Professor at Department of Software systems and computation,
Facultad de Informática, Universidad Complutense de Madrid
Phone: +34 91 394 7648
e-mail: ariesco (at) fdi.ucm.es

Google Scholar page
ORCID ID: 0000-0002-9716-4612
Web of Science Researcher ID: I-5959-2016

Research

Research Interests: Declarative debugging, Test case generation, Distributed applications, Rewriting Logic, Unification, Narrowing.
Member of the FADoSS group at the Universidad Complutense de Madrid (UCM).
Master's thesis: Distributed and Mobile Applications in Maude supervised by Alberto Verdejo.
PhD thesis: Declarative Debugging and Heterogeneous Specification in Maude supervised by Alberto Verdejo and Narciso Martí-Oliet. Defended at the Universidad Complutense de Madrid on June 15th, 2011.

Publications

Scientific Activities

Talks at international conferences and workshops: WRLA 2006 (Vienna, Austria - April 2006), FMOODS 2007 (Paphos, Cyprus - June 2007), WRLA 2008 (Budapest, Hungary - March 2008), LDTA 2009 (York, England - March 2009), AMAST 2010 (Québec, Canada - June 2010), WADT 2010 (Bremen, Germany - July 2010), RTA 2010 (Edinburgh, Scotland - July 2010), LOPSTR 2011 (Odense, Denmark - July 2011), WRLA 2012 (Tallinn, Estonia, March 2012), WADT 2012 (Salamanca, Spain, June 2012), ICTAC 2012 (Bangalore, India, September 2012), TAP 2013 (Budapest, Hungary, June 2013), WRLA 2014 (Grenoble, France, April 2014), FLOPS 2014 (Kanazawa, Japan, June 2014), WADT 2014 (Sinaia, Romania, September 2014), PROLE 2014 (Cádiz, Spain, September 2014), iFM 2014 (Bertinoro, Italy, September 2014), PROLE 2015 (Santander, Spain, September 2015), ICTAC 2015 (Cali, Colombia, October 2015), FASE 2016 (Eindhoven, The Netherlands, April 2016), iFM 2016 (Reykjavik, Iceland, June 2016), FASE 2017 (Uppsala, Sweden, April 2017), PACBB 2017 (Porto, Portugal, June 2017), ICTAC 2017 (Hanoi, Vietnam, October 2017), LAC 2018 (Melbourne, Australia, February 2018), WRLA 2018 (Thessaloniki, Greece, April 2018), FLOPS 2018 (Nagoya, Japan, May 2018), SPIN 2018 (Málaga, Spain, June 2018), WPTE 2021 (online, Juily 2021).
Assistance to the 2nd International School on Rewriting (ISR 2007) in Nancy, France.
Assistance to the Tools for Analysis and Verification of Software Safety and Security Summer School (Marktoberdorf 2007).
Research stay at the DFKI in Bremen with Professor Till Mossakowski (June-September 2009).
Assistance to the JAIST Advanced School on Formal Specification and Systems Verification 2010 (JAIST-FSSV 2010).
Assistance to the 1st PROMETIDOS-CM Summer School.
Research stay at the JAIST in Ishikawa with Professor Kokichi Futatsugi (November 2011).
Research stay at the JAIST in Ishikawa with Professor Kokichi Futatsugi (June-September 2012).
Research stay at the JAIST in Ishikawa with Professor Kazuhiro Ogata (June-September 2013).
Research stay at the JAIST in Ishikawa with Professor Kazuhiro Ogata (July-August 2015).
Fellowship of the Japan Society for the Promotion of Science (JSPS) under the "FY2016 JSPS Postdoctoral Fellowship (Short-Term) for North American and European Researchers" program with Professor Kazuhiro Ogata (July-August 2016).
Research stay at the JAIST in Ishikawa with Professor Kazuhiro Ogata (July-August 2018).
Research stay at the JAIST in Ishikawa with Professor Kazuhiro Ogata (July-August 2019).
Member of the organizing comittee of WADT 2012.
Speaker at the 2nd PROMETIDOS-CM Summer School.
Speaker at the ScalaMAD meetup (see here the video and the slides of the talk).
Invited talk at SEKE 2021
Collaboration as a reviewer at: SOFSEM 2009, WRLA 2010, PROLE 2010, FLOPS 2010, CADE 2011, LPAR 2012, LOPSTR 2012, PPDP 2012, WADT 2012, ICLP 2013, PROLE 2013, SAS 2014, WRLA 2014, SEFM 2014, iFM 2014, LSFA 2014, LRC 2015, PPDP 2015, LOPSTR 2015, LOPSTR 2016, ITiCSE 2017, ITiCSE 2018, ITiCSE 2019, ITiCSE 2020, ITiCSE 2021, FSCD 2021, and for the TCS, JSC, JLAMP, TOSEM, SPE, and IEEE Transactions on Learning Technologies journals.
Member of the Program Comittee of PROLE 2014, PROLE 2015, ICFEM 2016, iFM 2017, ICFEM 2017, ICFEM 2018, ICASERT 2019, PROLE 2019, ICFEM 2019, WRLA 2020, PROLE 2020/PROLE 2021, VECoS 2020, ICFEM 2020, TASE 2021, VECoS 2021, WRLA 2022, TASE 2022, FAVPQC 2022, TASE 2023, ICFEM 2023, PROLE 2023, PPDP 2023, WRLA 2024, PROLE 2024, and ICFEM 2024,
Chair of the 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2020.
Co-chair of the 8th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2021.
Chair of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022.
Member of the MIDAS (TIC 2003--01000), DESAFIOS (TIN2006-15660-C02-01), PROMESAS (S0505/TIC0407), Red Maude (TIN2006--26882--E), DESAFIOS10 (TIN2009-14599-C03-01), PROMETIDOS (S2009/TIC--1465), StrongSoft (TIN2012-39391-C04), N-GREENS (S2013/ICE-2731), TRACES (TIN2015-67522-C3-3-R), BLOQUES-CM (S2018/TCS-4339), and ProCode-UCM (PID2019-108528RB-C22) projects. Main researcher of the Santander-UCM project PR26/16-21B-2.

Systems:

Maude DDebugger. A Declarative Debugger for Maude specifications.
Maude Test-Case Generator. A Test-case Generator for Maude specifications.
Plural semantics. A prototype for executing programs following a plural semantics.
S-Narrowing. A prototype for s-unification and s-narrowing.
Kademlia prototype. A distributed specification of the Kademlia protocol in Maude.
An extension of the Maude Formal Environment to introduce CafeOBJ specifications.
CafeInMaude. A Maude interpreter for CafeOBJ specifications.
EDD. The Erlang Declarative Debugger.
SSCheck. A tool for testing temporal properties in Spark programs.
Chisel. A tool for slicing programs whose semantics has been previously defined in Maude.
MUnit. A unit test framework for Maude.
RSE-Maude. A Ring-Specification Environment implemented on Full Maude.

Teaching (in Spanish):

The most recent information about my teaching activities is available at the Facultad de Informática webpage.
I have been the supervisor of many Degree and Master's Theses, available at the UCM repository.

Contact

Address: Adrián Riesco Rodríguez
Departamento de Sistemas Informáticos y Computación
Facultad de Informática, C/ Profesor José García Santesmases, s/n
Universidad Complutense de Madrid
E-28040 - Madrid (Spain)
Phone/Fax: +34 91 3947648 / +34 91 3947529
Email: ariesco (at) ucm.es
Homepage: http://maude.sip.ucm.es/~adrian/