Contact

Let's talk research.

For questions about my work, possible collaborations, tools or formal verification, email is the most direct route.

UPVacademic
affiliation

I welcome enquiries related to deductive model checking, symbolic protocol analysis, Maude and narrowing-based verification.

Based in ValenciaWorking at Universitat Politècnica de València

Visiting address

VRAIN

Av. dels Tarongers, 33
Poblats Marítims
46011 València, Valencia