Raúl López-Rueda

I am a researcher in formal methods at the Universitat Politècnica de València (Valencia, Spain), where I obtained my PhD in Computer Science in 2026.

My research focuses on symbolic verification techniques based on Maude and rewriting logic. I develop narrowing-based methods to improve the verification of concurrent and distributed systems, with an emphasis on state-space reduction, symbolic reasoning, and automated analysis.

I contribute to the development of advanced narrowing techniques and verification tools such as DM-Check, aiming to make formal verification more scalable and practical for complex systems.