Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Escobar, Santiago
Universitat Politècnica de València
Valencia, Spain
 
   Featured Reviewer
   Reader Recommended
   Reviewer Selected
   Highlighted
Follow this Reviewer
 
 
 

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.

 
 
Options:
Date Reviewed  
 
1
- 10 of 12 reviews

   
   Quantum machine learning with Python: using Cirq from Google Research and IBM Qiskit
Pattanayak S.,  Apress, New York, NY, 2021. 384 pp. Type: Book (978-1-484265-21-5)

Machine learning has proved to be very successful in computer science, with applications to many areas in human life. Quantum computing is a marvelous new computation model with applications to some very hard problems. This book is at the crossroa...

Oct 28 2021  
  Model selection and error estimation in a nutshell
Oneto L.,  Springer International Publishing, New York, NY, 2020. 132 pp. Type: Book (978-3-030243-58-6)

The “learning” in machine learning involves the acquisition of a model that reflects the behavior or the functionality behind some dataset. Since there are so many techniques (called classifiers) to process data and extract some behavi...

Jan 27 2021  
   Computer security and the Internet
van Oorschot P.,  Springer International Publishing, New York, NY, 2020. 387 pp. Type: Book (978-3-030336-48-6), Reviews: (1 of 2)

Security is a hot, yet tough, topic these days. Computer security, in a broad sense, spans several interdisciplinary areas. It is sometimes difficult to identify good literature, both to grasp the essential ideas and to be able to teach them. This...

Jan 4 2021  
   A domain theory for statistical probabilistic programming
Vákár M., Kammar O., Staton S.  Proceedings of the ACM on Programming Languages 3(POPL): 1-29, 2019. Type: Article

On the one hand, a statistical programming language is similar to a traditional programming language, but with libraries providing statistical functions. Examples are Mathematica, MATLAB, and the omnipresent R. On the other hand, probabilistic pro...

Aug 6 2020  
  A primer on quantum computing
de Lima Marquezino F., Portugal R., Lavor C.,  Springer International Publishing, New York, NY, 2019. 109 pp. Type: Book (978-3-030190-65-1)

This simple yet practical first contact with quantum computing is well written, easy to read, and well structured. The authors state from the very beginning that they cannot cover all relevant topics of quantum computing, so instead they explain i...

Oct 9 2019  
  Software fault detection and correction: modeling and applications
Peng R., Li Y., Liu Y.,  Springer International Publishing, New York, NY, 2018. 124 pp. Type: Book

This book addresses the stages of fault detection and fault correction in software engineering from a dynamic perspective, that is, the life cycle of the software product, including maintenance phases or an agile methodology....

May 30 2019  
  Symbolic checking of fuzzy CTL on fuzzy program graph
Ebrahimi M., Sotudeh G., Movaghar A.  Acta Informatica 56(1): 1-33, 2019. Type: Article

This paper presents a new temporal logic for fuzzy logic systems, fuzzy computation tree logic (FzCTL), based on previous work on Kripke structures for fuzzy logic systems, that is, fuzzy program graph (FzPG) [1]. The motivation for providing a ne...

Mar 20 2019  
   Anomaly detection principles and algorithms
Mehrotra K., Mohan C., Huang H.,  Springer International Publishing, New York, NY, 2017. 217 pp. Type: Book (978-3-319675-24-4)

Anomaly detection is not only used in cybersecurity and defense, but also in stock markets, finance, and business administration, as well as medicine, astronomy, social networks, fraud, and anti-corruption. This book presents the interesting topic...

Jan 23 2019  
   Mechanising and verifying the WebAssembly specification
Watt C.  CPP 2018 (Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA,  Jan 8-9, 2018) 53-65, 2018. Type: Proceedings

Formal verification has had many successful applications to industry standards over the last few years, but an important question is whether formal verification can be included in standard design efforts. This paper presents the use of theorem-pro...

Jul 11 2018  
  Repairing sequential consistency in C/C++11
Lahav O., Vafeiadis V., Kang J., Hur C., Dreyer D.  PLDI 2017 (Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain,  Jun 18-23, 2017) 618-632, 2017. Type: Proceedings

The standards committee of the C++ programming language defined the C11 memory model. This model provides several notions of consistency for memory reads and writes, with sequentially consistent (SC) being the strongest and most expensive. This pa...

Apr 26 2018  
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy