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)


Métodos Formales Industriales, 3 curso de 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

Anteriormente
Lenguajes y Paradigmas de la Programación, 2 curso de Grado en Ingeniería Informática.
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 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
XIV Jornadas sobre Programación y Lenguajes (PROLE'2014), September 16-19, Cádiz, España.
The 28th International Workshop on Unification, July 13, 2014 in Vienna, Austria.
10th Int'l Workshop on Rewriting Logic and its Applications (WRLA 2014), Grenoble, France.
Joint 25th International Conference on Rewriting Techniques and Applications (RTA) and 12th Typed Lambda Calculi and Applications (TLCA), Vienna, Austria, July 14-17, 2014.
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE), Vienna, Austria, July 13, 2014.
Publications
    Grouped by topics:
Protocol Verification (Security) (Last 2014)
Variant Narrowing, Unification and Narrowing in Maude (Last 2014)
Partial Evaluation and Anti-Unification (Last 2014)
Logical Model Checking (Last 2013)
Natural Language (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

Last modified: Tue Jul 8 15:59:49 CDT 2014