Picture of Raúl López Rueda

Raúl López Rueda

Researcher at the Universitat Politécnica de València

Valencia, Spain

About me

I am a researcher focused on the field of formal methods. My research explores the optimization of rewriting theories through the use of narrowing-based techniques in Maude. This line of research aims to enhance symbolic analysis techniques for rewriting theories, which are useful for analyzing various systems, such as concurrent systems or security protocols.

Some of my contributions include the development of a canonical narrowing approach that incorporates irreducibility constraints to significantly improve performance and reduce the search space when using variant equations in rewriting systems. Additionally, we have developed an extension that allows the use of conditional rewriting systems with SMT constraints, enabling the specification of more complex and precise systems.

My doctoral advisor, Santiago Escobar, is part of the development team for this system, which allows us to delve much deeper into the various improvements we are implementing.

Education

  • PhD in Computer Science, Universitat Politécnica de València (In progress)
  • Master's Degree in Software Engineering, Formal Methods and Information Systems, Universitat Politécnica de València (2021)
  • Software Engineering, Universidad de Málaga (2020)