Santiago Escobar

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

Member of the ELP research group at Valencia (Spain)
Collaborator of the Formal Methods and Declarative Languages research group at UIUC (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
Abstract Interpretation / Abstract Rewriting / Abstract Diagnosis / Declarative Debugging
Formal Methods / Integration of functional and logic programming
Program Transformation and Optimization
Rewriting and Narrowing Strategies
Security
Model checking

Scientific Activities

2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013), Queenstown, New Zealand, October 28 or 29, 2013.

The 27th International Workshop on Unification, June 27, 2013, Eindhoven, The Netherlands.

Publications
    Grouped by topics:

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

Software