Víctor García Valero

Researcher at Universitat Politècnica de València

About me

PhD student in Computer Science at Universitat Politècnica de València, Spain, under the supervision of Professor Santiago Escobar. My research is focused 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

• PhD in Computer Science, Universitat Politècnica de València (In progress)
• 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)