Formal Methods Researcher
Raúl
López-Rueda
PhD in Computer Science and researcher at VRAIN, Universitat Politècnica de València. I work on symbolic verification techniques based on Maude, rewriting logic and narrowing.
About me
Symbolic methods for analysing complex systems.
I develop narrowing-based techniques for the verification of concurrent and distributed systems, with an emphasis on state-space reduction, symbolic reasoning and automated analysis.
My work includes advanced narrowing methods and verification tools such as DM-Check, designed to make formal verification more scalable and practical.
Education
- 2026PhD in Computer ScienceUniversitat Politècnica de València
- 2021MSc in Software Engineering, Formal Methods and Information SystemsUniversitat Politècnica de València
- 2020BSc in Software EngineeringUniversidad de Málaga
Research profiles