Santiago Escobar 

Ph.D. in Computer Science (Doctor en Informática)
Full Professor (Catedrático de Universidad)

h-index: 16 (Scopus) 21 (ResearchGate) 31 (Google Scholar)
Erdos Number = 3
DBLP
Research Gate
ACM Profile
ORCID: 0000-0002-3550-4781
Scopus AuthorID: 6701593474
WoS ResearcherID: AAL-3399-2020
Google Scholar
Semantic Scholar

Institutional Info at Universidad Politécnica de Valencia
Member of the Valencian Research Institute for Artificial Intelligence (VRAIN) (Spain)
Collaborator of the Formal Methods and Declarative Languages research group at UIllinois (USA)
Subdirector de la Cátedra STADLER de la Universitat Politècnica de València.
Representative of the Universitat Politècnica de València in Red de Excelencia Nacional de Investigación en Ciberseguridad.

Address
Santiago Escobar
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera, 14
Apdo. 22.012
E-46022 Valencia (Spain)
Phone +34 96 387 7000 (Ext. 73556)
Fax     +34 96 387 7359
e-mail sescobardsic.upv.es
Office D237 (1F Building)


Teaching (Docencia)



Métodos Formales Industriales, Grado de Ingeniería Informática
Desarrollo y Despliegue Seguro, Máster Universitario en Ciberseguridad y Ciberinteligencia
Modelos Formales de Computación, Máster Universitario en Ingeniería y Tecnología de Sistemas Software

Anteriormente
Ingeniería del Software, Grado de Ingeniería Informática
Laboratorio de Programación Multiparadigma, Máster Universitario en Ingeniería y Tecnología de Sistemas Software
Lenguajes, tecnologías y paradigmas de la programación, Grado de Ingeniería Informática
Métodos Formales de la Ingeniería del Software, 5 curso de Ingeniería Informática.
Diseño de Lenguajes de Programación, Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información
Fundamentos de la Ingeniería del Software, Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información
Métodos Agiles y Tecnología Multiparadigma, Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información
Tecnología Software para la Seguridad de la Información, Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información
Metodología y Tecnología de la Programación, 2 curso de Ingeniería Técnica en Informática.
Ingeniería del Software Automática, Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información
Lógica de Reescritura y Aplicaciones para Ingeniería de la Programación, Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información



Research (Investigación)


Research Teams:
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.
Maude-NPA is an analysis tool for cryptographic protocols (experiments collected here).
NuITP is an inductive theorem prover for Maude equational specifications.
Research Interests:
Term rewriting / Functional Programming / Logic Programming / Integration of functional and logic programming
Abstract Interpretation / Abstract Rewriting / Abstract Diagnosis / Declarative Debugging
Formal Methods
Program Transformation and Optimization
Rewriting and Narrowing Strategies
Security
Model checking
Scientific Activities
Publications
    Grouped by topics:
Protocol Verification (Security)
Partial Evaluation, Embedding, and Anti-Unification
Variant Narrowing, Unification and Narrowing in Maude
Natural Language
Logical Model Checking
Programmable Execution Strategies (Rewriting & Narrowing)
Debugging
Termination of Narrowing
Proof-carrying code (Security)
Web Verification
Program Optimization
Automatic Execution Strategies (Rewriting & Narrowing)
Software


Last modified: November 8 2023