Víctor García Valero

About me

Ph.D. in Computer Science from Universitat Politècnica de València, Spain, supervised by Professor Santiago Escobar. My main research activities focus on the formal verification and security of cryptographic protocols (for more information go to Projects). Nevertheless, I am open to new challenges and problems, from different fields, related to the use of formal methods. As personal interests I like to run and ride the world, practice new languages, whether programming related or not, and meet new people along the process.

Education

• Ph.D. in Computer Science, Universitat Politècnica de València (2026)
• Master's Degree in Software Engineering, Formal Methods and Information Systems, Universitat Politècnica de València (2022)
• Bachelor's Degree in Computer Science with a major in Software Engineering, Universitat Politècnica de València (2021)