Santiago Escobar is an associate professor at the Universitat Politècnica de València (UPV) and also holds a PhD in computer science from there. He has been a visiting scholar at the University of Illinois at Urbana-Champaign (UIUC) for more than ten years.
His research interests include programming languages, formal methods, security, verification, model checking, rewriting, narrowing, and evaluation strategies. He has worked on many multi-paradigm declarative languages, including Prolog, Haskell, Curry, and Maude. He is especially interested in the integration of functional and logic programming, as well as symbolic computation. His works on narrowing have become crucial for narrowing-based applications such as equational unification, model checking, protocol analysis, partial evaluation, debugging, and several other program analysis techniques.
In the security area, and in collaboration with Catherine Meadows from the US Naval Research Laboratory and Jose Meseguer from UIUC, he helped develop the Maude-NPA cryptographic protocol.
In the modeling and verification areas, he is a member of the Maude development team—Maude is a high-performance logical framework based on term rewriting that is used as a declarative programming language, an executable formal specification language, and a formal verification system.
Escobar’s publications cover formal methods, programming languages, verification, and protocol analysis. He has given invited talks at different conferences and schools, has served on several program committees and PhD committees, and has been program chair of several workshops on specialized areas. He also serves as a reviewer for several journals.
He has been a reviewer for Computing Reviews since 2017.