|
Santiago Escobar
|
Ph.D. in Computer Science (Doctor en Informática)
Associate Professor (Titular de Universidad)
-
h-index: 12 (Scopus) 17 (ResearchGate) 23 (Google Scholar)
-
Erdos Number = 3
-
Research Gate
-
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 sescobar
dsic.upv.es
- Office D237 (1F Building)
Teaching (Docencia)
Ingeniería del Software,
Grado de Ingeniería Informática
Métodos Formales Industriales,
Grado de Ingeniería Informática
Modelos Formales de Computación,
Máster Universitario en Ingeniería y Tecnología de Sistemas Software
Laboratorio de Programación Multiparadigma,
Máster Universitario en Ingeniería y Tecnología de Sistemas Software
Anteriormente
Lenguajes, tecnologías y paradigmas de la programación,
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
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 / 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
Last modified: Tue Mar 6 17:52:32 CET 2018