Santiago Escobar

Ph.D. in Computer Science (Doctor en Informática)
Assistant Professor (Profesor Contratado Doctor)

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 (DSIC 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

20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), Hagenberg, Austria, July 23-25, 2010
19th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), Madrid, Spain, January 17, 2010
21th Int'l Conference on Rewriting Techniques and Applications (RTA 2010) Edinburgh, UK, 11-13 July, 2010
8th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2010), Paphos, Cyprus, March 20-21, 2010
14th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009) at Eindhoven (NL), November 2-3, 2009
18th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2009) at Brasilia, Brasil, 2009

Publications
    Grouped by topics:

Program Optimization
Programmable Execution Strategies (Rewriting & Narrowing)
Automatic Execution Strategies (Rewriting & Narrowing)
Debugging
Termination of Narrowing
Model Checking
Partial Evaluation
Web Verification
Protocol Verification (Security)
Proof-carrying code (Security)

Software