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 PhD student and researcher at the Universitat Politècnica de València, located in Valencia, Spain. My doctoral thesis focuses primarily on the development of tools and extensions related to "narrowing," a symbolic analysis technique for systems. To achieve this, I primarily use the Maude programming language and system. 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)