I am delighted to have the opportunity to visit Prof. Santiago Escobar at Universitat Politècnica de València (UPV) in Valencia to conduct research on formal specification and verification of post-quantum cryptographic protocols, variant-based unification, and narrowing. :sparkles: