Skip to content

Scientist · Computer Science

Santiago Escobar

Artificial Intelligence Research Institute, Cerdanyola del Vallès, Spain

iD0000-0002-3550-4781

Citations, last 5 years: 105
Works, last 5 years: 43
h-index: 20
Citations, all time: 1 846
In Computer Science: #101,984

Research topics

Logic, programming, and type systems144Computer Science
Formal Methods in Verification102Computer Science
Advanced Algebra and Logic61Computer Science
Advanced Authentication Protocols Security46Computer Science
semigroups and automata theory26Computer Science

Recent works

Discussion

Ask Santiago about their research. When the scientist claims this card, they will see your question.

Start a discussion