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)


Official Page (Información Oficial)

Lenguajes y Paradigmas de la Programación, 2 curso Grado en Ingeniería Informática.
Métodos Formales de la Ingeniería del Software, 5 curso Ingeniero en 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

Anteriormente
Metodología y Tecnología de la Programación, 2 curso Ingeniero Técnico 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 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
The International Workshop on Unification (UNIF 2012), Manchester, UK.
9th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2012), March 24th-25th, 2012, Tallinn, Estonia.
Publications
    Grouped by topics:
Program Optimization
Programmable Execution Strategies (Rewriting & Narrowing)
Automatic Execution Strategies (Rewriting & Narrowing)
Debugging
Termination of Narrowing
Variant Narrowing and Narrowing in Maude
Model Checking
Partial Evaluation
Web Verification
Protocol Verification (Security)
Proof-carrying code (Security)
Software

Last modified: Wed Feb 15 13:56:32 CST 2012