Santiago Escobar

Santiago Escobar is a Full Professor at the Universitat Politècnica de València (UPV), where he earned his PhD in Computer Science in 2003. He is a leading researcher in program verification, cybersecurity, and protocol analysis, with over 100 publications and extensive involvement in international conferences. He has supervised five PhD theses and over 50 undergraduate and master's projects. Prof. Escobar has given more than 50 invited talks at research centers, conferences and international schools. Prof. Escobar is a long-time contributor to the Maude-NPA cryptographic protocol analyzer, developed with collaborators from the US Navy and the University of Illinois at Urbana-Champaign. He is also part of the Maude programming language team developed by SRI International at Menlo Park, used by organizations such as NASA and Microsoft for safety-critical verification. He is deputy director of the Stadler Rail Chair and director of the chair of cybersecurity funded by INCIBE, both at the UPV. He is the representative of the UPV in the Spanish Network of Excellence for Research in Cybersecurity (RENIC).