Santiago Escobar

Ph.D. in Computer Science (Doctor en Informática)
Associate Professor (Titular de Universidad)

h-index: 11 (Scopus) 22 (Google Scholar)

Erdos Number = 3

ORCID: 0000-0002-3550-4781

Scopus AuthorID: 6701593474

ResearcherID: C-9589-2012

Google Scholar: N7QyjPAAAAAJ

Institutional Info at Universidad Politécnica de Valencia

Member of the ELP research group at Valencia (Spain)

Collaborator of the Formal Methods and Declarative Languages research group at UIllinois (USA)

---

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)

Research (Investigación)

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:

Partial Evaluation and Anti-Unification (Last 2017)
Protocol Verification (Security) (Last 2016)
Variant Narrowing, Unification and Narrowing in Maude (Last 2016)
Natural Language (Last 2014)
Logical Model Checking (Last 2013)
Programmable Execution Strategies (Rewriting & Narrowing) (Last 2010)
Debugging (Last 2010)
Termination of Narrowing (Last 2010)
Proof-carrying code (Security) (Last 2010)
Web Verification (Last 2008)
Program Optimization (Last 2007)
Automatic Execution Strategies (Rewriting & Narrowing) (Last 2006)

Software